Ticket #2442: HelpfulErrors-Doc.patch

Sun Jul 13 02:55:39 BST 2008  Max Bolingbroke <batterseapower@hotmail.com>
  * Documentation for helpful errors

New patches:

[Documentation for helpful errors
Max Bolingbroke <batterseapower@hotmail.com>**20080713015539] hunk ./docs/users_guide/flags.xml 98
+           <row>
+             <entry><option>-fhelpful-errors</option></entry>
+             <entry>attempt to suggest fixes for misspelt or erroneously unqualified names</entry>
+             <entry>dynamic</entry>
+             <entry><option>-fno-helpful-errors</option></entry>
+           </row>

Context:

[Add PostfixOperators flag for (e op) postfix operators; fixes trac #1824
Ian Lynagh <igloo@earth.li>**20080712203725
 -fglasgow-exts also turns it on.
] 
[Remove the hack to avoid darcs-all operating on bootstrapping directories
Ian Lynagh <igloo@earth.li>**20080712170638
 We no longer create those directories
] 
[Teach installPackage about --distpref and --enable-shell-wrappers
Ian Lynagh <igloo@earth.li>**20080712134346] 
[Handle passing hsc2hs to Cabal better
Ian Lynagh <igloo@earth.li>**20080711214358
 If it has been built then we pass it, even if we are still using the
 bootstrapping compiler.
] 
[Move installPackage out into its own cabal package under utils/
Ian Lynagh <igloo@earth.li>**20080711211615] 
[Split up Cabal configure flag variables for more flexibility
Ian Lynagh <igloo@earth.li>**20080711151448] 
[Move -fno-cse flags from Makefile into pragmas
Ian Lynagh <igloo@earth.li>**20080711123151
 These are needed for GLOBAL_VAR's to work properly
] 
[Remove the need for undecidable instances in LazyUniqFM
Ian Lynagh <igloo@earth.li>**20080711131421] 
[add "ghc-pkg dump" (fixes #2201)
Simon Marlow <marlowsd@gmail.com>**20080711121739] 
[small improvement to an error message
Simon Marlow <marlowsd@gmail.com>**20080711120153] 
[#2371: try to explain the difference between :module and :load
Simon Marlow <marlowsd@gmail.com>**20080711120046] 
[FIX #2381, and improve the fix for #1565
Simon Marlow <marlowsd@gmail.com>**20080711101839] 
[Change pragma order to stop GHC 6.4 getting confused
Ian Lynagh <igloo@earth.li>**20080710190614] 
[-H80m isn't allowed in an options pragma. Just remove it for now.
Ian Lynagh <igloo@earth.li>**20080710163048] 
[Remove a commented-out flag
Ian Lynagh <igloo@earth.li>**20080710141129] 
[Remove an HPUX-only flag which has no comment explaining its purpose
Ian Lynagh <igloo@earth.li>**20080710141032
 It's probably to work around a long-dead bug
] 
[Move more flags from the Makefile into pragmas
Ian Lynagh <igloo@earth.li>**20080710140757] 
[Move the definition of NONEXISTENT into the central cabal-flags.mk
Ian Lynagh <igloo@earth.li>**20080710135213] 
[Define CABAL in mk/cabal-flags.mk, rather than everywhere we use it
Ian Lynagh <igloo@earth.li>**20080710134928] 
[Typo fixed
Ian Lynagh <igloo@earth.li>**20080710134748] 
[Remove a redundant comment
Ian Lynagh <igloo@earth.li>**20080710134656] 
[Remove remnants of javaGen
Ian Lynagh <igloo@earth.li>**20080710132654] 
[Remove some remnants of ilxgen
Ian Lynagh <igloo@earth.li>**20080710132417] 
[Remove a comment for GHC <= 4.08
Ian Lynagh <igloo@earth.li>**20080710132107] 
[Remove .hi-boot-[56] stuff from the Makefile
Ian Lynagh <igloo@earth.li>**20080710131528] 
[Remove a flag that a comment claims is for GHC < 5
Ian Lynagh <igloo@earth.li>**20080710130925] 
[We can now unconditionally use -fno-warn-orphans
Ian Lynagh <igloo@earth.li>**20080710125948
 ...which is good, as the conditional test was broken anyway!
] 
[Move another flag from the Makefile into a pragma
Ian Lynagh <igloo@earth.li>**20080710125422] 
[Move some flags from the Makefile into module pragmas
Ian Lynagh <igloo@earth.li>**20080710124827] 
[Move "main/BinIface_HC_OPTS += -O" into a pragma in iface/BinIface.hs
Ian Lynagh <igloo@earth.li>**20080710124141
 I assume that we still want this, despite it having been disconnected
 when the module was moved.
] 
[Remove an ancient commented out "parser/Parser_HC_OPTS += -fasm"
Ian Lynagh <igloo@earth.li>**20080710123655] 
[add threadStatus# primop, for querying the status of a ThreadId#
Simon Marlow <marlowsd@gmail.com>**20080710151406] 
[oops, fix more register clobberage 
Simon Marlow <marlowsd@gmail.com>**20080710115221
 fixes crash with -threaded -debug for me
] 
[rts_evalStableIO: start the new thread in blocked mode
Simon Marlow <marlowsd@gmail.com>**20080709135447] 
[add new primop: asyncExceptionsBlocked# :: IO Bool
Simon Marlow <marlowsd@gmail.com>**20080709135337] 
[ObjectIO is no longer an extralib
Ian Lynagh <igloo@earth.li>**20080709135722] 
[Remove all references to -mno-cygwin
Ian Lynagh <igloo@earth.li>**20080709125554
 We shouldn't need it, as we don't call cygwin's gcc, and it was causing
 problems with the nightly builders passing it to GHC.
] 
[#1205: ':load foo.hs' in GHCi always compiles to bytecode
Simon Marlow <marlowsd@gmail.com>**20080709110830
 
 So now
 
   :load foo.hs       loads bytecode for foo.hs, even if foo.o exists
   :load foo          is just shorthand for :load foo.hs
   :load M            loads a module M, as object code if possible
                      (no change here)
 
   :set -fobject-code
   :load foo.hs       loads foo.hs as object code; an existing foo.o
                      can be used.
   
 This turned out to be very straightforward: when building the
 ModSummary for a file (summariseFile) we just ignore the object file
 unless -fobject-code is on.
] 
[add -fwarn-dodgy-foreign-imports (see #1357)
Simon Marlow <marlowsd@gmail.com>**20080709102143
 
 From the entry in the User's guide:
 
 -fwarn-dodgy-foreign-imports causes a warning to be emitted for
 foreign imports of the following form:
 
 foreign import "f" f :: FunPtr t
 
 on the grounds that it probably should be
 
 foreign import "&f" f :: FunPtr t
 
 The first form declares that `f` is a (pure) C function that takes no
 arguments and returns a pointer to a C function with type `t`, whereas
 the second form declares that `f` itself is a C function with type
 `t`.  The first declaration is usually a mistake, and one that is hard
 to debug because it results in a crash, hence this warning.
] 
[Treat the Unicode "Letter, Other" class as lowercase letters (#1103)
Simon Marlow <marlowsd@gmail.com>**20080709091252
 This is an arbitrary choice, but it's strictly more useful than the
 current situation, where these characters cannot be used in
 identifiers at all.
 
 In Haskell' we may revisit this decision (it's on my list of things to
 discuss), but for now this is an improvement for those using caseless
 languages.
] 
[FIX part of #2301, and #1619
Simon Marlow <marlowsd@gmail.com>**20080709084916
 
 2301: Control-C now causes the new exception (AsyncException
 UserInterrupt) to be raised in the main thread.  The signal handler
 is set up by GHC.TopHandler.runMainIO, and can be overriden in the
 usual way by installing a new signal handler.  The advantage is that
 now all programs will get a chance to clean up on ^C.
 
 When UserInterrupt is caught by the topmost handler, we now exit the
 program via kill(getpid(),SIGINT), which tells the parent process that
 we exited as a result of ^C, so the parent can take appropriate action
 (it might want to exit too, for example).
 
 One subtlety is that we have to use a weak reference to the ThreadId
 for the main thread, so that the signal handler doesn't prevent the
 main thread from being subject to deadlock detection.
 
 1619: we now ignore SIGPIPE by default.  Although POSIX says that a
 SIGPIPE should terminate the process by default, I wonder if this
 decision was made because many C applications failed to check the exit
 code from write().  In Haskell a failed write due to a closed pipe
 will generate an exception anyway, so the main difference is that we
 now get a useful error message instead of silent program termination.
 See #1619 for more discussion.
] 
[Fix some random register clobbering in takeMVar/putMVar
Simon Marlow <marlowsd@gmail.com>**20080709083128
 This showed up as a crash in conc032 for me.
] 
[ANSI-ise a function declaration
Simon Marlow <marlowsd@gmail.com>**20080708110430] 
[remove old #ifdef SMP bits
Simon Marlow <marlowsd@gmail.com>**20080708110410] 
[Fix build; Opt_LinkHaskell98 is now Opt_AutoLinkPackages
Ian Lynagh <igloo@earth.li>**20080708224005] 
[Extend the flag for not automatically linking haskell98
Ian Lynagh <igloo@earth.li>**20080708165654
 It now also doesn't automatically link base and rts either.
 We need this when we've done a build, so base and rts are in the
 package.conf, but we've then cleaned the libraries so they don't
 physically exist any more.
] 
[Remove all .hi-boot-6 files
Ian Lynagh <igloo@earth.li>**20080708150059
 From 6.4 onwards we use .(l)hs-boot instead.
 Spotted by Max Bolingbroke.
] 
[Add some missing deps in libraries/Makefile
Ian Lynagh <igloo@earth.li>**20080708142752] 
[Get rid of compat/
Ian Lynagh <igloo@earth.li>**20080708002717
 Compat.Unicode is not utils/Unicode in the compiler.
 We build the hpc package with the stage1 compiler.
 Nothing else in the compat package was still used.
] 
[Add a comment in validate saying where the hpc HTML is put
Ian Lynagh <igloo@earth.li>**20080707103816] 
[FIX #1736, and probably #2169, #2240
Simon Marlow <marlowsd@gmail.com>**20080707095836
 appendStringBuffer was completely bogus - the arguments to copyArray
 were the wrong way around, which meant that corruption was very likely
 to occur by overwriting the end of the buffer in the first argument.
 
 This definitely fixes #1736.  The other two bugs, #2169 and #2240 are
 harder to reproduce, but we can see how they could occur: in the case
 of #2169, the options parser is seeing the contents of an old buffer,
 and in the case of #2240, appendStringBuffer is corrupting an
 interface file in memory, since strng buffers and interface files are
 both allocated in the pinned region of memory.
] 
[Fix Trac #2414: occurrs check was missed
simonpj@microsoft.com**20080707103201
 
 This is an embarassing one: a missing occurs check meant that a type-incorrect
 program could leak through.  Yikes!  
 
 (An indirect consequence of extra complexity introduced by boxy types. Sigh.)
 
 Merge to 6.8.4 if we release it.
 
 
] 
[White space only
simonpj@microsoft.com**20080707103145] 
[White space only
simonpj@microsoft.com**20080707103110] 
[Fix Trac #2386: exceesive trimming of data types with Template Haskell
simonpj@microsoft.com**20080707102941
 
 See Note [Trimming and Template Haskell] in TidyPgm.
 
 Merge to 6.8.4 if we ever release it.
 
 
] 
[Add hsc2hs.wrapper
Ian Lynagh <igloo@earth.li>**20080705214104] 
[Fix hsc2hs finding its template file on Windows
Ian Lynagh <igloo@earth.li>**20080705185829] 
[On cygwin, convert happy's path to a native path
Ian Lynagh <igloo@earth.li>**20080705163113] 
[On cygwin, convert Haddock's path to a native path
Ian Lynagh <igloo@earth.li>**20080705162154] 
[On cygwin, convert alex's path to a native path
Ian Lynagh <igloo@earth.li>**20080705155559] 
[libffi now doesn't have an artificial make boot/all split
Ian Lynagh <igloo@earth.li>**20080705155025] 
[Need to make all in gmp, not boot
Ian Lynagh <igloo@earth.li>**20080705153245] 
[gmp didn't really fit into the make boot/all cycle, so don't try to force it
Ian Lynagh <igloo@earth.li>**20080705140354
 Now we just run make in it at the start of the stage1 build
] 
[Build hsc2hs with Cabal
Ian Lynagh <igloo@earth.li>**20080705134208
 This is very rough around teh edges at the moment.
] 
[Add a flag to disable linking with the haskell98 package
Ian Lynagh <igloo@earth.li>**20080705134115] 
[Use the last compiler if more than one is specified
Ian Lynagh <igloo@earth.li>**20080705121426] 
[Improve error messages from pwd
Ian Lynagh <igloo@earth.li>**20080704233343] 
[In utils/hsc2hs, add LICENSE and hsc2hs.cabal from the standalone repo
Ian Lynagh <igloo@earth.li>**20080704222206] 
[Remove fgl from the libraries Makefile
Ian Lynagh <igloo@earth.li>**20080704221026
 It's no longer an extralib
] 
[Tell the bootstrapping Cabal where ghc-pkg is
Ian Lynagh <igloo@earth.li>**20080704152713] 
[FIX #2398: file locking wasn't thread-safe
Simon Marlow <marlowsd@gmail.com>**20080704144626] 
[Remove out of date comments and point to the commentary
Simon Marlow <marlowsd@gmail.com>**20080620135258
 The wiki commentary is now the official description of recompilation
 checking.
 
 http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/RecompilationAvoidance
] 
[Remove Cabal modules from compat
Ian Lynagh <igloo@earth.li>**20080703224633
 We now get them from the bootstrapping package.conf instead
] 
[Fix trac #2307: conflicting functional dependencies
Ian Lynagh <igloo@earth.li>**20080703192540
 We were accepting some instances that should have been rejected as
 their fundep constraints were violated. e.g. we accepted
     class C a b c | b -> c
     instance C Bool Int Float
     instance C Char Int Double
] 
[If we know where alex, haddock and happy are then tell Cabal; fixes trac #2373
Ian Lynagh <igloo@earth.li>**20080703191031] 
[Don't clean bootstrapping bits when cleaning libraries
Ian Lynagh <igloo@earth.li>**20080703154647] 
[More libraries/Makefile fixes
Ian Lynagh <igloo@earth.li>**20080703141016] 
[Shove the GHC path through cygpath -m
Ian Lynagh <igloo@earth.li>**20080703132614] 
[Tweak the configure script Windows-specific bits
Ian Lynagh <igloo@earth.li>**20080703132437] 
[Use cygpath -m, rather than fudging it ourselves with sed
Ian Lynagh <igloo@earth.li>**20080703131725] 
[Fix build on Windows
Ian Lynagh <igloo@earth.li>**20080703124553] 
[Include ghc.spec in tarballs; patch from, and fixes, trac #2390
Ian Lynagh <igloo@earth.li>**20080703161457] 
[Add a program for describing unexpected tests in testlog
Ian Lynagh <igloo@earth.li>**20080703134003
 This goes through the testlog and spits out any sections that contain
 "unexpected".
] 
[Teach cabal-bin how to build Setup programs
Ian Lynagh <igloo@earth.li>**20080703001300
 
 We now build a copy of Cabal and put it in a bootstrapping package.conf.
 
 We also make boot in libraries much earlier in the build process, so we
 can use cabal-bin for more stuff in the future.
] 
[Wibble cabal-bin's error message
Ian Lynagh <igloo@earth.li>**20080702155937
 We don't need to put the program name in it, as that happens automatically
] 
[Add type signatures
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20080703023635] 
[Command-line options for selecting DPH backend
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20080702022202
 
 It's -fdph-seq and -fdph-par at the moment, I'll think of a nicer setup later.
] 
[Add missing dph package to Makefile
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20080702022142] 
[Slight refactoring
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20080701025227] 
[Rename *NDP* -> *DPH*
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20080701024559] 
[Parametrise vectoriser with DPH package
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20080701024515] 
[Don't use DPH backend directly in vectoriser
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20080701021436] 
[Make dph-seq and dph-par wired-in packages
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20080701020214] 
[FIX #2313 do not include BFD symbols in RTS when the BFD library is not available for linking
Karel Gardas <karel.gardas@centrum.cz>**20080528093139] 
[Add --slow (and --fast) options to validate
Ian Lynagh <igloo@earth.li>**20080701175927
 slow mode is 14% slower than normal. It uses -DDEBUG for the stage 2
 compiler, and -XGenerics for the stage 2 compiler and the libraries.
 I believe that most of the slowdown is actually caused by -XGenerics
 rather than -DDEBUG.
] 
[Fix Trac #2307: need to nub bad fundep reports
simonpj@microsoft.com**20080701165830] 
[Easy fix for Trac #2409
simonpj@microsoft.com**20080701163722
 
 Yurgh. See Note [Desugaring seq (3)]
 
 
] 
[Make a "validate --hpc"; shows how much of the compiler the testsuite tests
Ian Lynagh <igloo@earth.li>**20080701124515
 Currently it causes a load of ghci-debugger tests to fail and takes
 63% longer.
] 
[Allow the exact HPC tix filename to be given in the HPCTIXFILE env var
Ian Lynagh <igloo@earth.li>**20080701124320] 
[array is now warning-free
Ian Lynagh <igloo@earth.li>**20080630204126] 
[Several fixes to 'deriving' including Trac #2378
simonpj@microsoft.com**20080701120908
 
 This patch collects several related things together.
 
 * Refactor TcDeriv so that the InstInfo and the method bindings are renamed
   together.  This was messy before, and is cleaner now.  Fixes a bug caused 
   by interaction between the "auxiliary bindings" (which were given 
   Original names before), and stand-alone deriving (which meant that those
   Original names came from a different module). Now the names are purely
   local an ordinary.
 
   To do this, InstInfo is parameterised like much else HsSyn stuff.
 
 * Improve the location info in a dfun, which in turn improves location 
   info for error messages, e.g. overlapping instances
 
 * Make sure that newtype-deriving isn't used for Typeable1 and friends.
   (Typeable was rightly taken care of, but not Typeable1,2, etc.)
 
 * Check for data types in deriving Data, so that you can't do, say,
        deriving instance Data (IO a)
 
 * Decorate the derived binding with location info from the *instance* 
   rather than from the *tycon*.  Again, this really only matters with
   standalone deriving, but it makes a huge difference there.
 
 I think that's it.  Quite a few error messages change slightly.
 
 If we release 6.8.4, this should go in if possible.
 
] 
[Follow Cabal changes
Ian Lynagh <igloo@earth.li>**20080629211633] 
[Rename cabal to cabal-bin
Ian Lynagh <igloo@earth.li>**20080629110003
 Avoids conflicts with the Cabal library on case-insensitive filesystems
] 
[mkdirhier.sh now accepts -q, which makes it be quiet
Ian Lynagh <igloo@earth.li>**20080627233528] 
[Update .darcs-boring
Ian Lynagh <igloo@earth.li>**20080627181410] 
[Update darcs-boring
Ian Lynagh <igloo@earth.li>**20080627154142] 
[Update .darcs-boring
Ian Lynagh <igloo@earth.li>**20080627145633] 
[Follow Cabal changes
Ian Lynagh <igloo@earth.li>**20080626202749] 
[Absolutify a path
Ian Lynagh <igloo@earth.li>**20080626181134
 When building ghc-prim/Setup we weren't putting the hi files in the
 right place.
] 
[Remove fgl from extralibs
Ian Lynagh <igloo@earth.li>**20080626112739] 
[Use a program similar to cabal-install to build the libraries
Ian Lynagh <igloo@earth.li>**20080626112511
 This means that we don't have to make a Setup program for each library
 individually, and also simplifies the build system a bit.
] 
[Fix Trac #2394: test for non-algebraic types in standalone deriving
simonpj@microsoft.com**20080625160204] 
[() is now in ghc-prim:GHC.Unit
Ian Lynagh <igloo@earth.li>**20080624144849] 
[Generate a warning-free GHC.PrimopWrappers. ghc-prim is now -Wall clean.
Ian Lynagh <igloo@earth.li>**20080624122529] 
[Fix some inconsistencies in the code and docs of primitives
Ian Lynagh <igloo@earth.li>**20080623223454
 We were inconsistent about whether to use the name "MutArr#" or
 "MutableArray#". Likewise ByteArr#/ByteArray# and
 MutByteArr#/MutableByteArray#.
] 
[Fix the build with GHC 6.4
Ian Lynagh <igloo@earth.li>**20080623144426] 
[Don't rebuild things with the stage2 compiler
Ian Lynagh <igloo@earth.li>**20080622134613
 It leads to annoying rebuilding when working in a built tree.
 We'll handle this differently for 6.10.
] 
[editline is now warning-free
Ian Lynagh <igloo@earth.li>**20080620212110] 
[Remove special handling for character types of characters >= 128, <= 255
Ian Lynagh <igloo@earth.li>**20080621171100
 Many of the character types were wrong. Now the asc* names really do mean
 ASCII, rather than latin-1.
] 
[Remove code that isn't used now that we assume that GHC >= 6.4
Ian Lynagh <igloo@earth.li>**20080620193003] 
[Now that we require GHC >= 6.4.2, System.IO.Error is always available
Ian Lynagh <igloo@earth.li>**20080620191059] 
[hpc is -Wall clean
Ian Lynagh <igloo@earth.li>**20080620142058] 
[filepath is now warning-free
Ian Lynagh <igloo@earth.li>**20080620135652] 
[pretty is now -Wall clean
Ian Lynagh <igloo@earth.li>**20080620135335] 
[process is now -Wall clean
Ian Lynagh <igloo@earth.li>**20080620011832] 
[directory is now -Wall clean
Ian Lynagh <igloo@earth.li>**20080620011335] 
[integer-gmp is warning-free
Ian Lynagh <igloo@earth.li>**20080619235925] 
[packedstring is now -Wall clean
Ian Lynagh <igloo@earth.li>**20080619235612] 
[old-time is now warning-free
Ian Lynagh <igloo@earth.li>**20080619233127] 
[old-locale is now warning-free
Ian Lynagh <igloo@earth.li>**20080619232152] 
[random is now -Wall clean
Ian Lynagh <igloo@earth.li>**20080619140211] 
[document some RTS options I added a while ago: -qm, -qw
Simon Marlow <marlowsd@gmail.com>**20080619121227] 
[Document the change to +RTS -S/-s/-t
Simon Marlow <marlowsd@gmail.com>**20080619121201] 
[document paralel GC option: +RTS -g
Simon Marlow <marlowsd@gmail.com>**20080619121111] 
[+RTS -S -RTS now sends output to stderr (also -s)
Simon Marlow <marlowsd@gmail.com>**20080619113329
 Previously +RTS -Sstderr -RTS was required to send output to stderr,
 but this is the most common usage and I got tired of typing "stderr".
 The old default behaviour of sending output to <prog>.stat is now gone
 (I don't think we use it anywhere).  
 
 Temporarily we allowed +RTS -S- -RTS to mean stderr; there were
 objections to this, so it is now also gone.
] 
[bytestring is -Wall clean
Ian Lynagh <igloo@earth.li>**20080619010702] 
[Cabal is -Wall clean
Ian Lynagh <igloo@earth.li>**20080619010436] 
[The haskell98 library is -Wall clean
Ian Lynagh <igloo@earth.li>**20080619010124] 
[template-haskell is now -Wall clean
Ian Lynagh <igloo@earth.li>**20080619005811] 
[containers is now -Wall clean
Ian Lynagh <igloo@earth.li>**20080618233651] 
[fix a tiny bug spotted by gcc 4.3
Simon Marlow <marlowsd@gmail.com>**20080619100904] 
[Fix up inlines for gcc 4.3
Simon Marlow <marlowsd@gmail.com>**20080619100849
 gcc 4.3 emits warnings for static inline functions that its heuristics
 decided not to inline.  The workaround is to either mark appropriate
 functions as "hot" (a new attribute in gcc 4.3), or sometimes to use
 "extern inline" instead.
 
 With this fix I can validate with gcc 4.3 on Fedora 9.
] 
[fix warnings with gcc 4.3
Simon Marlow <marlowsd@gmail.com>**20080618144307] 
[it's time to retire ghcprof & friends
Simon Marlow <marlowsd@gmail.com>**20080618140228] 
[Make the wired-in packages code handle ndp mapping to ndp-seq or ndp-par
Ian Lynagh <igloo@earth.li>**20080618162233
 It's getting a bit crufty - could probably do with a rewrite.
] 
[Put the infrastructure in place for getting the libraries -Wall clean
Ian Lynagh <igloo@earth.li>**20080617020145
 libraries/Makefile.local now lists those for which we need to pass -w
 (currently this is every library).
] 
[utils/Digraph doesn't need -fglasgow-exts passed specially
Ian Lynagh <igloo@earth.li>**20080616225949] 
[Fix Trac #2321: bug in SAT
simonpj@microsoft.com**20080616201700
   This is a fairly substantial rewrite of the Static Argument Transformatoin,
   done by Max Bolingbroke and reviewed and modified by Simon PJ.
   
   * Fix a subtle scoping problem; see Note [Binder type capture]
   * Redo the analysis to use environments
   * Run gentle simlification just before the transformation
 
] 
[define NeedVarargsPrototypes to avoid segfault on x86_64
Simon Marlow <marlowsd@gmail.com>**20080618132116] 
[Fix an example where we weren't doing case-of-case when we should
Simon Marlow <marlowsd@gmail.com>**20080617123510
 That's 1 line of new code and 38 lines of new comments
] 
[fix gcc warnings for printf formats on 32-bit
Simon Marlow <marlowsd@gmail.com>**20080618094018] 
[FIX BUILD on Windows
Simon Marlow <marlowsd@gmail.com>**20080618094700] 
[Sort the mi_deps into a canonical ordering before fingerprinting.
Simon Marlow <marlowsd@gmail.com>**20080617152117
 This may help do a little less recompilation with make (GHC's --make
 is unaffected).
] 
[Fix another "urk! lookup local fingerprint" in nofib/real/bspt/GeomNum.lhs
Simon Marlow <marlowsd@gmail.com>**20080617151530] 
[small interpreter fix
Simon Marlow <marlowsd@gmail.com>**20080617134651] 
[fix some printf formats for 64 bits
Simon Marlow <marlowsd@gmail.com>**20080617101102] 
[64-bit fixes
Simon Marlow <marlowsd@gmail.com>**20080617101045] 
[don't try to parallelise marking GC (yet)
Simon Marlow <marlowsd@gmail.com>**20080616073111] 
[another stableptr003 fix
Simon Marlow <marlowsd@gmail.com>**20080609191722] 
[Experimental "mark-region" strategy for the old generation
Simon Marlow <marlowsd@gmail.com>**20080609174943
 Sometimes better than the default copying, enabled by +RTS -w
] 
[threadStackUnderflow: fix up the bd->free pointers in the split blocks
Simon Marlow <marlowsd@gmail.com>**20080609171617] 
[fix allocated blocks calculation, and add more sanity checks
Simon Marlow <marlowsd@gmail.com>**20080608073754] 
[Put the contents of Evac.c-inc back in Evac.c, and just compile the file twice
Simon Marlow <marlowsd@gmail.com>**20080603073119
 Similarly for Scav.c/Scav.c-inc.
] 
[+RTS -N also sets +RTS -g
Simon Marlow <marlowsd@gmail.com>**20080603072701] 
[DECLARE_GCT for when we have no register variable
Simon Marlow <marlowsd@gmail.com>**20080603072608] 
[comment updates
Simon Marlow <marlowsd@gmail.com>**20080603072527] 
[fix some types for 64-bit platforms
Simon Marlow <marlowsd@gmail.com>**20080603032625] 
[+RTS -S- is the same as +RTS -Sstderr
Simon Marlow <marlowsd@gmail.com>**20080603032557] 
[move the spinlock counts inside +RTS -S
Simon Marlow <marlowsd@gmail.com>**20080603032534] 
[FIX #2164: check for ThreadRelocated in isAlive()
Simon Marlow <marlowsd@gmail.com>**20080528063904] 
[FIX the compacting GC again
Simon Marlow <simonmarhaskell@gmail.com>**20080424205829] 
[FIX #2185: sparks should not be treated as roots by the GC
Simon Marlow <simonmarhaskell@gmail.com>**20080424205813] 
[turn off the usleep() in the GC thread idle loop (tmp, for portability)
Simon Marlow <simonmarhaskell@gmail.com>**20080417220221] 
[declare the GC thread register variable more portably
Simon Marlow <simonmarhaskell@gmail.com>**20080417220157] 
[remove EVACUATED: store the forwarding pointer in the info pointer
Simon Marlow <simonmarhaskell@gmail.com>**20080417212707] 
[tso->link is now tso->_link  (fix after merge with HEAD)
Simon Marlow <simonmarhaskell@gmail.com>**20080417180016] 
[Don't look at all the threads before each GC.
Simon Marlow <simonmarhaskell@gmail.com>**20080416234446
 We were looking at all the threads for 2 reasons:
  1. to catch transactions that might be looping as a
     result of seeing an inconsistent view of memory.
  2. to catch threads with blocked exceptions that are
     themselves blocked.
 For (1) we now check for this case whenever a thread yields, and for
 (2) we catch these threads in the GC itself and send the exceptions
 after GC (see performPendingThrowTos).
] 
[Don't traverse the entire list of threads on every GC (phase 1)
Simon Marlow <simonmarhaskell@gmail.com>**20080416234420
 Instead of keeping a single list of all threads, keep one per step
 and only look at the threads belonging to steps that we are
 collecting.
] 
[optimisation for isAlive()
Simon Marlow <simonmarhaskell@gmail.com>**20080416234349] 
[refactoring
Simon Marlow <simonmarhaskell@gmail.com>**20080416234324] 
[add [] to foreign calls
Simon Marlow <simonmarhaskell@gmail.com>**20080416234234] 
[remove GRAN/PAR code
Simon Marlow <simonmarhaskell@gmail.com>**20080416234135] 
[bugfix for traverseBlackHoleQueue
Simon Marlow <simonmarhaskell@gmail.com>**20080416234042] 
[Add a write barrier to the TSO link field (#1589)
Simon Marlow <simonmarhaskell@gmail.com>**20080416233951] 
[fix trace
Simon Marlow <simonmarhaskell@gmail.com>**20080416233922] 
[tmp: alloc one block at a time
Simon Marlow <simonmarhaskell@gmail.com>**20080416233830] 
[add debugging code to check for fragmentation
Simon Marlow <simonmarhaskell@gmail.com>**20080416233058] 
[do a better job of re-using partial blocks in subsequent GCs
Simon Marlow <simonmarhaskell@gmail.com>**20080416232949] 
[Use the BF_EVACUATED flag to indicate to-space consistently
Simon Marlow <simonmarhaskell@gmail.com>**20080416232906
 BF_EVACUATED is now set on all blocks except those that we are
 copying.  This means we don't need a separate test for gen>N in
 evacuate(), because in generations older than N, BF_EVACUATED will be
 set anyway.  The disadvantage is that we have to reset the
 BF_EVACUATED flag on the blocks of any generation we're collecting
 before starting GC.  Results in a small speed improvement.
] 
[rearrange: we were calling markSomeCapabilities too often
Simon Marlow <simonmarhaskell@gmail.com>**20080416232825] 
[debug output: show mem in use
Simon Marlow <simonmarhaskell@gmail.com>**20080416232739] 
[make +RTS -G1 work again
Simon Marlow <simonmarhaskell@gmail.com>**20080416232510] 
[pad step_workspace to 64 bytes, to speed up access to gct->steps[]
Simon Marlow <simonmarhaskell@gmail.com>**20080416232433] 
[update copyrights in rts/sm
Simon Marlow <simonmarhaskell@gmail.com>**20080416232355] 
[Reorganisation to fix problems related to the gct register variable
Simon Marlow <simonmarhaskell@gmail.com>**20080416232232
   - GCAux.c contains code not compiled with the gct register enabled,
     it is callable from outside the GC
   - marking functions are moved to their relevant subsystems, outside
     the GC
   - mark_root needs to save the gct register, as it is called from
     outside the GC
] 
[faster block allocator, by dividing the free list into buckets
Simon Marlow <simonmarhaskell@gmail.com>**20080416224541] 
[allocate more blocks in one go, to reduce contention for the block allocator
Simon Marlow <simonmarhaskell@gmail.com>**20080416223824] 
[measure GC(0/1) times and work imbalance
Simon Marlow <simonmarhaskell@gmail.com>**20080416222539] 
[remove outdated comment
Simon Marlow <simonmarhaskell@gmail.com>**20080416222319] 
[calculate and report slop (wasted space at the end of blocks)
Simon Marlow <simonmarhaskell@gmail.com>**20080416221516] 
[free empty blocks at the end of GC
Simon Marlow <simonmarhaskell@gmail.com>**20080416221356] 
[move the scan block pointer into the gct structure
Simon Marlow <simonmarhaskell@gmail.com>**20080416221331] 
[improvements to +RTS -s output
Simon Marlow <simonmarhaskell@gmail.com>**20080416221224
 - count and report number of parallel collections
 - calculate bytes scanned in addition to bytes copied per thread
 - calculate "work balance factor"
 - tidy up the formatting a bit
] 
[wait for threads to start up properly
Simon Marlow <simonmarhaskell@gmail.com>**20080416221002] 
[debug output tweaks
Simon Marlow <simonmarhaskell@gmail.com>**20080416220807] 
[Keep track of an accurate count of live words in each step
Simon Marlow <simonmarhaskell@gmail.com>**20080416220620
 This means we can calculate slop easily, and also improve
 predictability of GC.
] 
[Allow work units smaller than a block to improve load balancing
Simon Marlow <simonmarhaskell@gmail.com>**20080416220347] 
[in scavenge_block1(), we can use the lock-free recordMutableGen()
Simon Marlow <simonmarhaskell@gmail.com>**20080416220104] 
[update the debug counters following changes to scav_find_work()
Simon Marlow <simonmarhaskell@gmail.com>**20080416215945] 
[change the find-work strategy: use oldest-first consistently
Simon Marlow <simonmarhaskell@gmail.com>**20080416215815] 
[per-thread debug output when using multiple threads, not just major gc
Simon Marlow <simonmarhaskell@gmail.com>**20080416215741] 
[small debug output improvements
Simon Marlow <simonmarhaskell@gmail.com>**20080416215649] 
[allow parallel minor collections too
Simon Marlow <simonmarhaskell@gmail.com>**20080416215503] 
[Specialise evac/scav for single-threaded, not minor, GC
Simon Marlow <simonmarhaskell@gmail.com>**20080416215405
 So we can parallelise minor collections too.  Sometimes it's worth it.
] 
[move usleep(1) to gc_thread_work() from any_work()
Simon Marlow <simonmarhaskell@gmail.com>**20080416215325] 
[use RTS_VAR()
Simon Marlow <simonmarhaskell@gmail.com>**20080416215245] 
[treat the global work list as a queue rather than a stack
Simon Marlow <simonmarhaskell@gmail.com>**20080416215109] 
[GC: move static object processinng into thread-local storage
Simon Marlow <simonmarhaskell@gmail.com>**20080416214825] 
[tmp: usleep(1) during anyWork() if no work
Simon Marlow <simonmarhaskell@gmail.com>**20080416214023] 
[anyWork(): count the number of times we don't find any work
Simon Marlow <simonmarhaskell@gmail.com>**20080416213945] 
[stats fixes
Simon Marlow <simonmarhaskell@gmail.com>**20080416213532] 
[Add +RTS -vg flag for requesting some GC trace messages, outside DEBUG
Simon Marlow <simonmarhaskell@gmail.com>**20080416213504
 DEBUG imposes a significant performance hit in the GC, yet we often
 want some of the debugging output, so -vg gives us the cheap trace
 messages without the sanity checking of DEBUG, just like -vs for the
 scheduler.
] 
[GC: rearrange storage to reduce memory accesses in the inner loop
Simon Marlow <simonmarhaskell@gmail.com>**20080416213436] 
[Add profiling of spinlocks
Simon Marlow <simonmarhaskell@gmail.com>**20080416213358] 
[rename StgSync to SpinLock
Simon Marlow <simonmarhaskell@gmail.com>**20080416211152] 
[Release some of the memory allocated to a stack when it shrinks (#2090)
simonmar@microsoft.com**20080228153129
 When a stack is occupying less than 1/4 of the memory it owns, and is
 larger than a megablock, we release half of it.  Shrinking is O(1), it
 doesn't need to copy the stack.
] 
[scavengeTSO might encounter a ThreadRelocated; cope
simonmar@microsoft.com**20080228152403] 
[Updating a thunk in raiseAsync might encounter an IND; cope
simonmar@microsoft.com**20080228152332
 There was already a check to avoid updating an IND, but it was
 originally there to avoid a bug which doesn't exist now.  Furthermore
 the test and update are not atomic, so another thread could be
 updating this thunk while we are.  We have to just go ahead and update
 anyway - it might waste a little work, but this is a very rare case.
] 
[add GC(0) and GC(1) time
Simon Marlow <simonmar@microsoft.com>**20080222142008] 
[round_to_mblocks: should use StgWord not nat
Simon Marlow <simonmar@microsoft.com>**20080220130139] 
[debugging code
Simon Marlow <simonmar@microsoft.com>**20080219102651] 
[refactoring
simonmar@microsoft.com**20080218135458] 
[fix off-by-one
simonmar@microsoft.com**20080215134017] 
[measure mut_elapsed_time
simonmar@microsoft.com**20080215133850] 
[fix build with 6.8
simonmar@microsoft.com**20080215133836] 
[add ROUNDUP_BYTES_TO_WDS
simonmar@microsoft.com**20080215133040] 
[Allow +RTS -H0 as a way to override a previous -H<size>
simonmar@microsoft.com**20080131153645] 
[comment out a bogus assertion
simonmar@microsoft.com**20080130150934] 
[memInventory: optionally dump the memory inventory
simonmar@microsoft.com**20080130150921
 in addition to checking for leaks
] 
[calcNeeded: fix the calculation, we weren't counting G0 step 1
simonmar@microsoft.com**20080130150730] 
[calcNeeded: add in the large blocks too
simonmar@microsoft.com**20080130135418] 
[update a comment
Simon Marlow <simonmar@microsoft.com>**20080130101504] 
[tell Emacs these files are C
simonmar@microsoft.com**20080130100047] 
[fix an assertion
Simon Marlow <simonmar@microsoft.com>**20080118160910] 
[cut-and-pasto
Simon Marlow <simonmar@microsoft.com>**20080116103751] 
[small rearrangement
simonmar@microsoft.com**20080115095736] 
[recordMutableGen_GC: we must call the spinlocked version of allocBlock()
Simon Marlow <simonmar@microsoft.com>**20080111135453] 
[remove unused declaration
simonmar@microsoft.com**20080111105821] 
[more fixes for THUNK_SELECTORs
Simon Marlow <simonmar@microsoft.com>**20080110122820] 
[Fix bug in eval_thunk_selector()
simonmar@microsoft.com**20080110105628] 
[move markSparkQueue into GC.c, as it needs the register variable defined
Simon Marlow <simonmar@microsoft.com>**20080109162828] 
[Windows fix
Simon Marlow <simonmar@microsoft.com>**20080109162732] 
[Fix bug: eval_thunk_selector was calling the unlocked evacuate()
Simon Marlow <simonmar@microsoft.com>**20080109144937] 
[add GC elapsed time
simonmar@microsoft.com**20080107134838] 
[update to match Mb -> MB change in -s output
simonmar@microsoft.com**20071220145855] 
[use "MB" rather than "Mb" for abbreviating megabytes
simonmar@microsoft.com**20071218145135] 
[findSlop: useful function for tracking down excessive slop in gdb
simonmar@microsoft.com**20071214135909] 
[calculate wastage due to unused memory at the end of each block
simonmar@microsoft.com**20071214135842] 
[bugfix: check for NULL before testing isPartiallyFull(stp->blocks)
simonmar@microsoft.com**20071214103223] 
[have each GC thread call GetRoots()
simonmar@microsoft.com**20071213165013
 
] 
[use synchronised version of freeChain() in scavenge_mutable_list()
simonmar@microsoft.com**20071213164525] 
[remove declarations for variables that no longer exist
simonmar@microsoft.com**20071213150946] 
[remove old comment
simonmar@microsoft.com**20071212163329] 
[GC: small improvement to parallelism
simonmar@microsoft.com**20071129154927
 don't cache a work block locally if the global queue is empty
] 
[EVACUATED: target is definitely HEAP_ALLOCED(), no need to check
simonmar@microsoft.com**20071129120021] 
[in scavenge_block(), keep going if we're scanning the todo block
simonmar@microsoft.com**20071127160747] 
[count the number of todo blocks, and add a trace
simonmar@microsoft.com**20071127160717] 
[oops, restore accidentally disabled hash-consing for Char
simonmar@microsoft.com**20071123162522] 
[kill the PAR/GRAN debug flags
simonmar@microsoft.com**20071122122327] 
[stats: print elapsed time for GC in each generation
simonmar@microsoft.com**20071122105024] 
[assertion fix
simonmar@microsoft.com**20071121164736] 
[cache bd->todo_bd->free and the limit in the workspace
Simon Marlow <simonmar@microsoft.com>**20071121155851
 avoids cache contention: bd->todo_bd->free may clash with any cache
 line, so we localise it.
] 
[warning fix
simonmar@microsoft.com**20071121164747] 
[fix boundary bugs in a couple of for-loops
simonmar@microsoft.com**20071120133835] 
[improvements to PAPI support
simonmar@microsoft.com**20071120133635
 - major (multithreaded) GC is measured separately from minor GC
 - events to measure can now be specified on the command line, e.g
      prog +RTS -a+PAPI_TOT_CYC
 
] 
[use SRC_CC_OPTS rather than SRC_HC_OPTS for C options
simonmar@microsoft.com**20071119111630] 
[allow PAPI to be installed somewhere non-standard
Simon Marlow <simonmar@microsoft.com>**20071101150325] 
[fix warnings
Simon Marlow <simonmar@microsoft.com>**20071101150258] 
[fix a warning
Simon Marlow <simonmar@microsoft.com>**20071101150228] 
[fix a warning
Simon Marlow <simonmar@microsoft.com>**20071101150200] 
[rename n_threads to n_gc_threads
Simon Marlow <simonmar@microsoft.com>**20071031163147] 
[Refactor PAPI support, and add profiling of multithreaded GC
Simon Marlow <simonmar@microsoft.com>**20071031163015] 
[fix merge errors
Simon Marlow <simonmar@microsoft.com>**20071031153839] 
[refactoring of eager_promotion in scavenge_block()
Simon Marlow <simonmar@microsoft.com>**20071031153417] 
[compile special minor GC versions of evacuate() and scavenge_block()
Simon Marlow <simonmar@microsoft.com>**20071031153339
 
 This is for two reasons: minor GCs don't need to do per-object locking
 for parallel GC, which is fairly expensive, and secondly minor GCs
 don't need to follow SRTs.
] 
[fixes for eval_thunk_selector() in parallel GC
Simon Marlow <simonmar@microsoft.com>**20071031153252] 
[Remove the optimisation of avoiding scavenging for certain objects
Simon Marlow <simonmar@microsoft.com>**20071031144542
 
 Some objects don't need to be scavenged, in particular if they have no
 pointers.  This seems like an obvious optimisation, but in fact it
 only accounts for about 1% of objects (in GHC, for example), and the
 extra complication means it probably isn't worth doing.
] 
[GC refactoring: change evac_gen to evac_step
Simon Marlow <simonmar@microsoft.com>**20071031144230
 
 By establishing an ordering on step pointers, we can simplify the test
   (stp->gen_no < evac_gen)
 to 
   (stp < evac_step)
 which is common in evacuate().
] 
[GC refactoring: make evacuate() take an StgClosure**
Simon Marlow <simonmar@microsoft.com>**20071031143634
 
 Change the type of evacuate() from 
   StgClosure *evacuate(StgClosure *);
 to
   void evacuate(StgClosure **);
 
 So evacuate() itself writes the source pointer, rather than the
 caller.  This is slightly cleaner, and avoids a few memory writes:
 sometimes evacuate() doesn't move the object, and in these cases the
 source pointer doesn't need to be written.  It doesn't have a
 measurable impact on performance, though.
] 
[tiny optimisation in evacuate()
Simon Marlow <simonmar@microsoft.com>**20071031130935] 
[Initial parallel GC support
Simon Marlow <simonmar@microsoft.com>**20071031130718
 
 eg. use +RTS -g2 -RTS for 2 threads.  Only major GCs are parallelised,
 minor GCs are still sequential. Don't use more threads than you
 have CPUs.
 
 It works most of the time, although you won't see much speedup yet.
 Tuning and more work on stability still required.
] 
[Refactoring of the GC in preparation for parallel GC
Simon Marlow <simonmar@microsoft.com>**20071031125136
   
 This patch localises the state of the GC into a gc_thread structure,
 and reorganises the inner loop of the GC to scavenge one block at a
 time from global work lists in each "step".  The gc_thread structure
 has a "workspace" for each step, in which it collects evacuated
 objects until it has a full block to push out to the step's global
 list.  Details of the algorithm will be on the wiki in due course.
 
 At the moment, THREADED_RTS does not compile, but the single-threaded
 GC works (and is 10-20% slower than before).
] 
[also count total dispatch stalls in +RTS -as
Simon Marlow <simonmar@microsoft.com>**20071030144509] 
[move GetRoots() to GC.c
Simon Marlow <simonmar@microsoft.com>**20071030130052] 
[Tweak a comment to talk about UnboxedTuples rather than -fglasgow-exts
Ian Lynagh <igloo@earth.li>**20080616225248] 
[Suggest -XRelaxedPolyRec rather than -fglasgow-exts in an error message
Ian Lynagh <igloo@earth.li>**20080616213438] 
[Fix the splitter with perl 5.10; patch from Audrey Tang
Ian Lynagh <igloo@earth.li>**20080611122837] 
[Remove some build system code that can't happen
Ian Lynagh <igloo@earth.li>**20080616181425
 ghc_ge_601 is no longer defined
] 
[Fix Trac #2358: 1-tuples in Template Haskell
simonpj@microsoft.com**20080614123939
 
 fons points out that TH was treating 1-tuples inconsistently.  Generally
 we make a 1-tuple into a no-op, so that (e) and e are the same.  But
 I'd forgotten to do this for types.
 
 It is possible to have a type with an un-saturated 1-tuple type
 constructor. That now elicits an error message when converting from
 TH syntax to Hs syntax
 
] 
[Fix nasty Simplifier scoping bug
simonpj@microsoft.com**20080614023937
 
 This bug was somehow tickled by the new code for desugaring
 polymorphic bindings, but the bug has been there a long time.  The
 bindings floated out in simplLazyBind, generated by abstractFloats,
 were getting processed by postInlineUnconditionally. But that was
 wrong because part of their scope has already been processed.
 
 That led to a bit of refactoring in the simplifier.  See comments
 with Simplify.addPolyBind.
 
 In principle this might happen in 6.8.3, but in practice it doesn't seem
 to, so probably not worth merging.
 
] 
[CoreLint should check for out-of-scope worker
simonpj@microsoft.com**20080614023809] 
[More commandline flag improvements
Ian Lynagh <igloo@earth.li>**20080616142917
 * Allow -ffoo flags to be deprecated
 * Mark some -ffoo flags as deprecated
 * Avoid using deprecated flags in error messages, in the build system, etc
 * Add a flag to en/disable the deprecated flag warning
] 
[Remove an ifdef
Ian Lynagh <igloo@earth.li>**20080616111114] 
[Add ghc_ge_609
Ian Lynagh <igloo@earth.li>**20080615134636] 
[Remove an ifdef
Ian Lynagh <igloo@earth.li>**20080615133743] 
[Don't compile Cabal with -cpp -fffi
Ian Lynagh <igloo@earth.li>**20080615010826
 Instead rely on the sources having suitable pragmas
] 
[Remove a typo
Ian Lynagh <igloo@earth.li>**20080615005956] 
[Allow -X flags to be deprecated, and deprecate RecordPuns; fixes #2320
Ian Lynagh <igloo@earth.li>**20080615000041] 
[Fix a warning in DsForeign
Ian Lynagh <igloo@earth.li>**20080614215346] 
[Fix warnings in Linker
Ian Lynagh <igloo@earth.li>**20080614212627] 
[Use the right set of linkables in unload_wkr
Ian Lynagh <igloo@earth.li>**20080614211539] 
[Use bracket_ rather than bracket in withExtendedLinkEnv
Ian Lynagh <igloo@earth.li>**20080614211414] 
[Remove more ifdeffery
Ian Lynagh <igloo@earth.li>**20080614205131] 
[Remove more ifdeffery
Ian Lynagh <igloo@earth.li>**20080614204234] 
[Remove more ifdeffery
Ian Lynagh <igloo@earth.li>**20080614203215] 
[Remove some ifdeffery
Ian Lynagh <igloo@earth.li>**20080614202640] 
[Fix some warnings in ParsePkgConf
Ian Lynagh <igloo@earth.li>**20080614201558] 
[Fix warnings in DsForeign
Ian Lynagh <igloo@earth.li>**20080614200820] 
[Fix warnings in PprCore
Ian Lynagh <igloo@earth.li>**20080614195611] 
[Fix warnings in Main
Ian Lynagh <igloo@earth.li>**20080614194120] 
[Set -Wall in compiler/Makefile.ghcbin
Ian Lynagh <igloo@earth.li>**20080614193536] 
[Use maybePrefixMatch in StaticFlags rather than redefining it ourselves
Ian Lynagh <igloo@earth.li>**20080614190505] 
[Use -fforce-recomp rather than -no-recomp
Ian Lynagh <igloo@earth.li>**20080614181740] 
[Tweak the deprecated flags warning
Ian Lynagh <igloo@earth.li>**20080614174850] 
[Use -O0 rather than -Onot in compiler/Makefile
Ian Lynagh <igloo@earth.li>**20080614171256] 
[Don't use -recomp whem compiling GHC, as it's the default (and now deprecated)
Ian Lynagh <igloo@earth.li>**20080614165649] 
[Use -fforce-recomp rather than -no-recomp when building genapply
Ian Lynagh <igloo@earth.li>**20080614161927] 
[Get -recomp and -no-recomp the right way round
Ian Lynagh <igloo@earth.li>**20080614161851] 
[Fix conversions between Double/Float and simple-integer
Ian Lynagh <igloo@earth.li>**20080614152337] 
[Use unified diff
Ian Lynagh <igloo@earth.li>**20080603172947] 
[Use -O0 rather than the deprecated -Onot
Ian Lynagh <igloo@earth.li>**20080614152131] 
[Handle errors in an OPTIONS pragma when preprocessing
Ian Lynagh <igloo@earth.li>**20080614145840] 
[Allow flags to be marked as deprecated
Ian Lynagh <igloo@earth.li>**20080614144829] 
[eta-reduce a Monad type synonym, so we can use it non-applied
Ian Lynagh <igloo@earth.li>**20080614142056] 
[Use a proper datatype, rather than pairs, for flags
Ian Lynagh <igloo@earth.li>**20080614133848] 
[Fix warnings in DriverMkDepend
Ian Lynagh <igloo@earth.li>**20080614133224] 
[Fix whitespace in DriverMkDepend
Ian Lynagh <igloo@earth.li>**20080614132914] 
[Fix the last warnings in DynFlags
Ian Lynagh <igloo@earth.li>**20080614125033
 We might want to put the values initSysTools finds in their own type,
 rather than having them flattened into DynFlags
] 
[Pass dynflags down to loadPackageConfig rather than using defaultDynFlags
Ian Lynagh <igloo@earth.li>**20080614123427] 
[Make initSysTools use the dflags it is passed, rather than defaultDynFlags
Ian Lynagh <igloo@earth.li>**20080614122834] 
[Remove some unused bindings from HaddockLex
Ian Lynagh <igloo@earth.li>**20080614122057] 
[Pass dynflags down through to pragState
Ian Lynagh <igloo@earth.li>**20080614121156
 so we no longer need to use defaultDynFlags there
] 
[Whitespace only in DynFlags
Ian Lynagh <igloo@earth.li>**20080614120316] 
[Define and use is_decdigit for lexing escapes; fixes trac #2304
Ian Lynagh <igloo@earth.li>**20080613203553] 
[Make SysTools warning-free
Ian Lynagh <igloo@earth.li>**20080612141738] 
[Remove some CPPery with the help of a new value isWindowsHost in Util
Ian Lynagh <igloo@earth.li>**20080612002711
 isWindowsHost is True iff mingw32_HOST_OS is defined.
] 
[Remove unused FFI import GetTempPathA (getTempPath)
Ian Lynagh <igloo@earth.li>**20080612001936] 
[Whitespace only, in SysTools
Ian Lynagh <igloo@earth.li>**20080611233129] 
[Get rid of the last remnants of PROJECT_DIR
Ian Lynagh <igloo@earth.li>**20080611230433
 This disappeared when we stopped being "fptools" and became just "ghc"
] 
[Tell the testsuite how many threads we want it to use when validating
Ian Lynagh <igloo@earth.li>**20080611155456] 
[Fix warnings in LexCore
Ian Lynagh <igloo@earth.li>**20080610125317] 
[Fix warnings in Ctype
Ian Lynagh <igloo@earth.li>**20080610124223] 
[Fix warnings in TcPat
Ian Lynagh <igloo@earth.li>**20080610123343] 
[Fix warnings in TcEnv
Ian Lynagh <igloo@earth.li>**20080610121819] 
[Fix warnings in TcRnTypes
Ian Lynagh <igloo@earth.li>**20080606234704] 
[Fix warnings in TcTyClsDecls
Ian Lynagh <igloo@earth.li>**20080606213239] 
[Fix warnings in TcHsType
Ian Lynagh <igloo@earth.li>**20080606204854] 
[Fix warnings in TcSimplify
Ian Lynagh <igloo@earth.li>**20080606202435] 
[Fix warnings in TcRules
Ian Lynagh <igloo@earth.li>**20080606200800] 
[Fix warnings in TcInstDcls
Ian Lynagh <igloo@earth.li>**20080606200534] 
[Fix warnings in TcMType
Ian Lynagh <igloo@earth.li>**20080606194931] 
[Fix warnings in TcForeign
Ian Lynagh <igloo@earth.li>**20080606192610] 
[Fix warnings in TcClassDcl
Ian Lynagh <igloo@earth.li>**20080606191413] 
[Fix a bug in eqPatType
Ian Lynagh <igloo@earth.li>**20080606184631
 One of the conditions we were checking was
     t2 `eqPatLType` t2
 rather than
     t1 `eqPatLType` t2
] 
[Show whether DEBUG is on in ghc --info
Ian Lynagh <igloo@earth.li>**20080606184415] 
[Use -fno-toplevel-reorder with gcc >= 4.2 on sparc-solaris; fixes trac #2312
Ian Lynagh <igloo@earth.li>**20080606133817] 
[Teach configure about amd64/NetBSD; fixes trac #2348
Ian Lynagh <igloo@earth.li>**20080606130955] 
[Enable the mangler for netbsd/amd64; fixes trac #2347
Ian Lynagh <igloo@earth.li>**20080606130706] 
[Improve documentation for standalone deriving
simonpj@microsoft.com**20080606122459] 
[Fix Trac #2334: validity checking for type families
simonpj@microsoft.com**20080606121730
 
 When we deal with a family-instance declaration (TcTyClsDecls.tcFamInstDecl)
 we must check the TyCon for validity; for example, that a newtype has exactly
 one field.  That is done all-at-once for normal declarations, and had been
 forgotten altogether for families.
 
 I also refactored the interface to tcFamInstDecl1 slightly.
 
 
 A slightly separate matter: if there's an error in family instances
 (e.g. overlap) we get a confusing error message cascade if we attempt to
 deal with 'deriving' clauses too; this patch bales out earlier in that case.
 
 
 Another slightly separate matter: standalone deriving for family 
 instances can legitimately have more specific types, just like normal
 data decls. For example
    
    data instance F [a] = ...
    deriving instance (Eq a, Eq b) => Eq (F [(a,b)])
 
 So tcLookupFamInstExact can a bit more forgiving than it was.
  
 
] 
[Vital follow-up to fix of Trac #2045
simonpj@microsoft.com**20080605165434
 
 Sorry -- my 'validate' didn't work right and I missed a trick.
 This patch must accompany
 
  * Fix Trac #2045: use big-tuple machiney for implication constraints
 
 
] 
[Fix Trac #2045: use big-tuple machiney for implication constraints
simonpj@microsoft.com**20080605145617] 
[Comments only
simonpj@microsoft.com**20080605134743] 
[Desugar multiple polymorphic bindings more intelligently
simonpj@microsoft.com**20080605124423
 
 Occasionally people write very large recursive groups of definitions. 
 In general we desugar these to a single definition that binds tuple,
 plus lots of tuple selectors.  But that code has quadratic size, which
 can be bad.
 
 This patch adds a new case to the desugaring of bindings, for the
 situation where there are lots of polymorphic variables, but no
 dictionaries.  (Dictionaries force us into the general case.)
 
 See Note [Abstracting over tyvars only].  
 
 The extra behaviour can be disabled with the (static) flag
 
        -fno-ds-multi-tyvar
 
 in case we want to experiment with switching it on or off.  There is
 essentially-zero effect on the nofib suite though.
 
 I was provoked into doing this by Trac #1136.  In fact I'm not sure
 it's the real cause of the problem there, but it's a good idea anyway.
 
] 
[Add non-recursive let-bindings for types
simonpj@microsoft.com**20080605123612
 
 This patch adds to Core the ability to say
        let a = Int in <body>
 where 'a' is a type variable.  That is: a type-let.
 See Note [Type let] in CoreSyn.
 
 * The binding is always non-recursive
 * The simplifier immediately eliminates it by substitution 
 
 So in effect a type-let is just a delayed substitution.  This is convenient
 in a couple of places in the desugarer, one existing (see the call to
 CoreTyn.mkTyBind in DsUtils), and one that's in the next upcoming patch.
 
 The first use in the desugarer was previously encoded as
        (/\a. <body>) Int
 rather that eagerly substituting, but that was horrid because Core Lint
 had do "know" that a=Int inside <body> else it would bleat.  Expressing
 it directly as a 'let' seems much nicer.
 
 
] 
[Fix Trac #2339: reify (mkName "X")
simonpj@microsoft.com**20080604150207] 
[Fix Trac #2310: result type signatures are not supported any more
simonpj@microsoft.com**20080604145115
 
 We have not supported "result type signatures" for some time, but 
 using one in the wrong way caused a crash.  This patch tidies it up.
 
] 
[Sort modules and packages in debug print (reduce test wobbles)
simonpj@microsoft.com**20080604144049
 
 This affects only the debug print TcRnDriver.pprTcGblEnv, and eliminates
 test-suite wobbling (affected me for tc168, tc231) 
 
] 
[Fix #2334: tyvar binders can have Names inside (equality predicates)
Simon Marlow <marlowsd@gmail.com>**20080604113002] 
[fix pointer tagging bug in removeIndirections (fixes stableptr003)
Simon Marlow <marlowsd@gmail.com>**20080604105458] 
[Fix unreg build
Simon Marlow <marlowsd@gmail.com>**20080604093653] 
[tiny tweak to the stack squeezing heuristic (fixes cg060)
Simon Marlow <marlowsd@gmail.com>**20080604091244] 
[MacOS installer: don't quote XCODE_EXTRA_CONFIGURE_ARGS
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080604021321] 
[MacOS installer: terminate build on intermediate failure
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080604020155] 
[Fix Trac #2331 (error message suggestion)
simonpj@microsoft.com**20080603134645] 
[Improve documentation of RULES
simonpj@microsoft.com**20080530155137] 
[Improve documentation for INLINE pragma
simonpj@microsoft.com**20080530133307] 
[add debugDumpTcRn and use it for some debugging output
Simon Marlow <marlowsd@gmail.com>**20080603112030] 
[Turn "NOTE: Simplifier still going..." message into a WARN()
Simon Marlow <marlowsd@gmail.com>**20080603105431] 
[remove the "expanding to size" messages
Simon Marlow <marlowsd@gmail.com>**20080603094546] 
[New flag: -dno-debug-output
Simon Marlow <marlowsd@gmail.com>**20080603082924
 From the docs:
    <para>Suppress any unsolicited debugging output.  When GHC
      has been built with the <literal>DEBUG</literal> option it
      occasionally emits debug output of interest to developers.
      The extra output can confuse the testing framework and
      cause bogus test failures, so this flag is provided to
      turn it off.</para>
] 
[-no-link-chk has been a no-op since at least 6.0; remove it
Simon Marlow <marlowsd@gmail.com>**20080603082041] 
[-no-link-chk is a relic
Simon Marlow <marlowsd@gmail.com>**20080603081904] 
[Shorten debug messages
simonpj@microsoft.com**20080603121208] 
[Fix minor layout issue (whitespace only)
simonpj@microsoft.com**20080602130611] 
[MacOS installer: clean up Xcode project spec
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080602070705] 
[Fix validate: -Werror bug in patch "Replacing copyins and copyouts..."
Simon Marlow <marlowsd@gmail.com>**20080602144945] 
[FIX #2231: add missing stack check when applying a PAP
Simon Marlow <marlowsd@gmail.com>**20080602143726
 This program makes a PAP with 203 arguments :-)
] 
[-fforce-recomp should be unnecessary for Main.hs in stage[23] now
Simon Marlow <marlowsd@gmail.com>**20080602133801] 
[Missing import in C-- parser
dias@eecs.harvard.edu**20080602103156] 
[TAG 2008-06-01
Ian Lynagh <igloo@earth.li>**20080601155241] 
Patch bundle hash:
790c76f6bdba2a4915703119397f0d52b14aafb2