From ea283aa74e6fd2bec2b88eae19908bba903adea1 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Tue, 3 Oct 2006 14:26:58 +0000 Subject: [PATCH] Documentation updates --- docs/users_guide/6.6-notes.xml | 5 +-- docs/users_guide/debugging.xml | 65 ------------------------------------- docs/users_guide/flags.xml | 57 +------------------------------- docs/users_guide/glasgow_exts.xml | 6 ++-- docs/users_guide/using.xml | 28 +--------------- 5 files changed, 7 insertions(+), 154 deletions(-) diff --git a/docs/users_guide/6.6-notes.xml b/docs/users_guide/6.6-notes.xml index 31ad813..1e2dd68 100644 --- a/docs/users_guide/6.6-notes.xml +++ b/docs/users_guide/6.6-notes.xml @@ -536,8 +536,9 @@ GHC.Exts now provides a function - lazy which forces GHC to think that its - argument is lazy in its first argument. + lazy, where lazy f + behaves like f, except GHC is forced + to believe that it is lazy in its first argument. For more details, see . diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml index a325389..d9f21f1 100644 --- a/docs/users_guide/debugging.xml +++ b/docs/users_guide/debugging.xml @@ -136,16 +136,6 @@ - : - - - - UsageSP inference pre-inf and output - - - - - : @@ -196,16 +186,6 @@ - : - - - - output of “saturate” pass - - - - - : @@ -216,16 +196,6 @@ - : - - - - unflattened Abstract C - - - - - : @@ -236,26 +206,6 @@ - : - - - - same as what goes to the C compiler - - - - - - : - - - - native-code generator intermediate form - - - - - : @@ -431,21 +381,6 @@ - - - : - - - - Turn on checks around UsageSP inference - (). This verifies various simple - properties of the results of the inference, and also warns - if any identifier with a used-once annotation before the - inference has a used-many annotation afterwards; this could - indicate a non-worksafe transformation is being - applied. - - diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index f87cdb7..9d7aa20 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -734,13 +734,6 @@ - - enable miscellaneous warnings - dynamic - - - - warn when fields of a record are uninitialised dynamic @@ -1071,12 +1064,6 @@ - - Auto-add _scc_s to all dictionaries - static - - - Auto-add _scc_s to all CAFs static @@ -1512,13 +1499,7 @@ - - (SPARC only) enable version 8 support - static - - - - - + (x86 only) give some registers back to the C compiler dynamic - @@ -1580,12 +1561,6 @@ - - - Dump abstract C - dynamic - - - - Dump assembly dynamic @@ -1652,12 +1627,6 @@ - - - Dump “real” C - dynamic - - - - Dump renamer output dynamic @@ -1670,12 +1639,6 @@ - - - Dump saturated output - dynamic - - - - Dump final simplifier output dynamic @@ -1718,12 +1681,6 @@ - - - Dump UsageSP analysis output - dynamic - - - - Dump worker-wrapper output dynamic @@ -1742,12 +1699,6 @@ - - - Native code generator intermediate form - dynamic - - - - Dump simplifier stats dynamic @@ -1790,12 +1741,6 @@ - - - UsageSP sanity checker - dynamic - - - - Show output from each core-to-core pass dynamic diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index b46bf30..c370ce3 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -106,9 +106,7 @@ documentation describes all the libraries that come with GHC. This option enables the language extension defined in the - Haskell 98 Foreign Function Interface Addendum plus deprecated - syntax of previous versions of the FFI for backwards - compatibility. + Haskell 98 Foreign Function Interface Addendum. New reserved words: foreign. @@ -116,7 +114,7 @@ documentation describes all the libraries that come with GHC. - ,: + ,: These two flags control how generalisation is done. diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index 7bf85ef..14665af 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -793,8 +793,7 @@ ghc -c Foo.hs Provides the standard warnings plus , , - , - , and + , and . @@ -929,19 +928,6 @@ f foo = foo { x = 6 } - : - - - - Turns on warnings for various harmless but untidy - things. This currently includes: importing a type with - (..) when the export is abstract, and - listing duplicate class assertions in a qualified type. - - - - - : missing fields, warning @@ -1624,18 +1610,6 @@ f "2" = 2 - : - - (SPARC machines)-mv8 option (SPARC - only) Means to pass the like-named - option to GCC; it says to use the Version 8 SPARC - instructions, notably integer multiply and divide. The - similar GCC options for SPARC also - work, actually. - - - - : (iX86 machines)-monly-N-regs -- 1.7.10.4