Ticket #1966: fix1966

New patches:

[FIX #1966 (Incorrect Outputable instance for InstDecl)
df@dfranke.us**20071210014800] {
hunk ./compiler/hsSyn/HsDecls.lhs 753
-
hunk ./compiler/hsSyn/HsDecls.lhs 754
-      = vcat [hsep [ptext SLIT("instance"), ppr inst_ty, ptext SLIT("where")],
-             nest 4 (ppr ats),
-             nest 4 (ppr uprags),
-             nest 4 (pprLHsBinds binds) ]
+      = vcat ([hsep [ptext SLIT("instance"), ppr inst_ty, ptext SLIT("where")]] ++
+             [nest 4 (ppr at) | at <- ats] ++
+             [nest 4 (ppr uprag) | uprag <- uprags] ++
+             [nest 4 (pprLHsBinds binds)])
}

[Warning cleanup for compiler/hsSyn/HsDecls.lhs
df@dfranke.us**20071210014919] {
hunk ./compiler/hsSyn/HsDecls.lhs 12
-{-# OPTIONS -w #-}
--- The above warning supression flag is a temporary kludge.
--- While working on this module you are encouraged to remove it and fix
--- any warnings in the module. See
---     http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#Warnings
--- for details
-
hunk ./compiler/hsSyn/HsDecls.lhs 468
-isClassDecl other         = False
+isClassDecl _             = False
hunk ./compiler/hsSyn/HsDecls.lhs 504
+tyClDeclTyVars :: TyClDecl t -> [LHsTyVarBndr t]
hunk ./compiler/hsSyn/HsDecls.lhs 601
+pp_condecls :: (OutputableBndr t) => [LConDecl t] -> SDoc
hunk ./compiler/hsSyn/HsDecls.lhs 607
-pp_tydecl True pp_head pp_decl_rhs derivings
+pp_tydecl :: (Outputable a) => Bool -> SDoc -> SDoc -> Maybe [a] -> SDoc
+pp_tydecl True pp_head _ _
hunk ./compiler/hsSyn/HsDecls.lhs 723
+pprConDecl (ConDecl _ _ _ _ (InfixCon _ _) (ResTyGADT _) _) =
+    panic "I don't know the concrete syntax for an infix GADT constructor."
+
+ppr_fields :: (OutputableBndr t) => [ConDeclField t] -> SDoc
hunk ./compiler/hsSyn/HsDecls.lhs 888
-      pprCEntity header lib (CLabel lbl) = 
+      pprCEntity _ _ (CLabel lbl) = 
hunk ./compiler/hsSyn/HsDecls.lhs 894
-      pprCEntity header lib (CFunction (DynamicTarget)) = 
+      pprCEntity _ _ (CFunction (DynamicTarget)) = 
hunk ./compiler/hsSyn/HsDecls.lhs 939
-  ppr (HsRule name act ns lhs fv_lhs rhs fv_rhs)
+  ppr (HsRule name act ns lhs _ rhs _)
hunk ./compiler/hsSyn/HsDecls.lhs 972
+docDeclDoc :: DocDecl t -> HsDoc t
}

Context:

[Tweak installation so it works with Solaris's sh
Ian Lynagh <igloo@earth.li>**20071209140724] 
[Refactor gen_contents_index
Ian Lynagh <igloo@earth.li>**20071207183538
 Also fixes it with Solaris's sh, spotted by Christian Maeder
] 
[BIN_DIST_INST_SUBDIR Needs to be defined in config.mk so ./Makefile can see it
Ian Lynagh <igloo@earth.li>**20071207121317] 
[Improve eta reduction, to reduce Simplifier iterations
simonpj@microsoft.com**20071203150039
 
 I finally got around to investigating why the Simplifier was sometimes
 iterating so often.  There's a nice example in Text.ParserCombinators.ReadPrec,
 which produced:
 
 NOTE: Simplifier still going after 3 iterations; bailing out.  Size = 339
 NOTE: Simplifier still going after 3 iterations; bailing out.  Size = 339
 NOTE: Simplifier still going after 3 iterations; bailing out.  Size = 339
 
 No progress is being made.  It turned out that an interaction between
 eta-expansion, casts, and eta reduction was responsible. The change is
 small and simple, in SimplUtils.mkLam: do not require the body to be
 a Lam when floating the cast outwards.  
 
 I also discovered a missing side condition in the same equation, so fixing
 that is good too.  Now there is no loop when compiling ReadPrec.
 
 Should do a full nofib run though.
 
] 
[MERGED: fix race conditions in sandboxIO (#1583, #1922, #1946)
Ian Lynagh <igloo@earth.li>**20071206150509
 Simon Marlow <simonmar@microsoft.com>**20071204114444
  using the new block-inheriting forkIO (#1048)
] 
[Make eta reduction check more carefully for bottoms (fix Trac #1947)
simonpj@microsoft.com**20071204145803
 
 Eta reduction was wrongly transforming
        f = \x. f x
 to
        f = f
 
 Solution: don't trust f's arity information; instead look at its
 unfolding.  See Note [Eta reduction conditions]
 
 Almost all the new lines are comments!
 
 
] 
[protect console handler against concurrent access (#1922)
Simon Marlow <simonmar@microsoft.com>**20071204153918] 
[forkIO starts the new thread blocked if the parent is blocked (#1048)
Simon Marlow <simonmar@microsoft.com>**20071204110947] 
[Workaround for #1959: assume untracked names have changed
Simon Marlow <simonmar@microsoft.com>**20071206092349
 This fixes the 1959 test, but will do more recompilation than is
 strictly necessary (but only when -O is on).  Still, more
 recompilation is better than segfaults, link errors or other random
 breakage.
] 
[FIX part of #1959: declaration versions were not being incremented correctly
Simon Marlow <simonmar@microsoft.com>**20071206084556
 We were building a mapping from ModuleName to [Occ] from the usage
 list, using the usg_mod field as the key.  Unfortunately, due to a
 very poor naming decision, usg_mod is actually the module version, not
 the ModuleName.  usg_name is the ModuleName.  Since Version is also an
 instance of Uniquable, there was no type error: all that happened was
 lookups in the map never succeeded.  I shall rename the fields of
 Usage in a separate patch.
 
 This doesn't completely fix #1959, but it gets part of the way there.
 
 I have to take partial blame as the person who wrote this fragment of
 code in late 2006 (patch "Interface file optimisation and removal of
 nameParent").
] 
[FIX #1110: hackery also needed when running gcc for CPP
Simon Marlow <simonmar@microsoft.com>**20071205150230] 
[move FP_FIND_ROOT after the "GHC is required" check
Simon Marlow <simonmar@microsoft.com>**20071205101814] 
[Change --shared to -shared in Win32 DLL docs
simonpj@microsoft.com**20071204154023] 
[#include ../includes/MachRegs.h rather than just MachRegs.h
Ian Lynagh <igloo@earth.li>**20071205170335
 This fixes building on NixOS. I'm not sure why it worked everywhere else,
 but not on NixOS, before.
] 
[Fix the libraries Makefile
Ian Lynagh <igloo@earth.li>**20071205125015
     x && y
 is not the same as
     if x; then y; fi
 as the latter doesn't fail when x fails
] 
[Copy hscolour.css into dist/... so it gets installed with the library docs
Ian Lynagh <igloo@earth.li>**20071205013703] 
[Add the hscolour.css from hscolour 1.8
Ian Lynagh <igloo@earth.li>**20071205011733] 
[MERGED: Reorganise TcSimplify (again); FIX Trac #1919
Ian Lynagh <igloo@earth.li>**20071203140443
 simonpj@microsoft.com**20071128173146
 
  This was a bit tricky.  We had a "given" dict like (d7:Eq a); then it got
  supplied to reduceImplication, which did some zonking, and emerged with
  a "needed given" (d7:Eq Int). That got everything confused.
 
  I found a way to simplify matters significantly.  Now reduceContext
     - first deals with methods/literals/dictionaries
     - then deals with implications
  Separating things in this way not only made the bug go away, but
  eliminated the need for the recently-added "needed-givens" results returned
  by checkLoop.  Hurrah.
 
  It's still a swamp.  But it's a bit better.
] 
[FIX #1843: Generate different instructions on PPC
Ian Lynagh <igloo@earth.li>**20071203123237
 The old ones caused lots of
     unknown scattered relocation type 4
 errors. Patch from Chris Kuklewicz.
] 
[Fix bindist creation: readline/config.mk is gone
Ian Lynagh <igloo@earth.li>**20071203123031] 
[Don't default to stripping binaries when installing
Ian Lynagh <igloo@earth.li>**20071202195817] 
[Add package version bumps to the release notes
Ian Lynagh <igloo@earth.li>**20071201180437] 
[Move file locking into the RTS, fixing #629, #1109
Simon Marlow <simonmar@microsoft.com>**20071120140859
 File locking (of the Haskell 98 variety) was previously done using a
 static table with linear search, which had two problems: the array had
 a fixed size and was sometimes too small (#1109), and performance of
 lockFile/unlockFile was suboptimal due to the linear search.
 Also the algorithm failed to count readers as required by Haskell 98
 (#629).
 
 Now it's done using a hash table (provided by the RTS).  Furthermore I
 avoided the extra fstat() for every open file by passing the dev_t and
 ino_t into lockFile.  This and the improvements to the locking
 algorithm result in a healthy 20% or so performance increase for
 opening/closing files (see openFile008 test).
] 
[FIX #1744: ignore the byte-order mark at the beginning of a file
Simon Marlow <simonmar@microsoft.com>**20071130101100] 
[FIX #1914: GHCi forgot all the modules that were loaded before an error
Simon Marlow <simonmar@microsoft.com>**20071130130734] 
[Update cabal version number used in bootstrapping
Duncan Coutts <duncan@haskell.org>**20071129144259] 
[Change name of DOC_OPTIONS pragma to OPTIONS_HADDOCK
David Waern <david.waern@gmail.com>**20071130092506] 
[Update ANNOUNCE for 6.8.2
Ian Lynagh <igloo@earth.li>**20071128224343] 
[Add 6.8.2 release notes
Ian Lynagh <igloo@earth.li>**20071128222302] 
[FIX Trac #1935: generate superclass constraints for derived classes
simonpj@microsoft.com**20071128150541
 
 This bug only reports a problem with phantom types, but actually
 there was quite a long-standing and significant omission in the
 constraint generation for derived classes.  See
 Note [Superclasses of derived instance] in TcDeriv.
 
 The test deriving-1935 tests both cases.
 
 
] 
[add comment
Simon Marlow <simonmar@microsoft.com>**20071128111417] 
[FIX #1916: don't try to convert float constants to int in CMM optimizer
Bertram Felgenhauer <int-e@gmx.de>**20071122095513] 
[give a more useful message when the static flags have not been initialised (#1938)
Simon Marlow <simonmar@microsoft.com>**20071127135435] 
[Avoid making Either String an instance of Monad in the Haddock parser
David Waern <david.waern@gmail.com>**20071114204050] 
[FIX BUILD (with GHC 6.2.x): update .hi-boot file
Simon Marlow <simonmar@microsoft.com>**20071116101227] 
[Fix build
David Waern <david.waern@gmail.com>**20071114125842
 I had forgot to update HaddockLex.hi-boot-6, so the build with 6.2.2 
 failed. This fixes that.
] 
[Merge from Haddock: Add <<url>> for images
David Waern <david.waern@gmail.com>**20071112220537
 A merge of this patch:
 
   Mon Aug  7 16:22:14 CEST 2006  Simon Marlow <simonmar@microsoft.com>
     * Add <<url>> for images
     Submitted by: Lennart Augustsson
 
 Please merge to the 6.8.2 branch.
] 
[Merge from Haddock: Modify lexing of /../
David Waern <david.waern@gmail.com>**20071112023856
 
   Tue Aug 28 11:19:54 CEST 2007  Simon Marlow <simonmar@microsoft.com>
     * Modify lexing of /../ 
     This makes /../ more like '..', so that a single / on a line doesn't
     trigger a parse error.  This should reduce the causes of accidental
     parse errors in Haddock comments; apparently stray / characters are
     a common source of failures.
 
 Please merge this to the 6.8.2 branch.
] 
[Merge from Haddock: allow blank lines inside code blocks
David Waern <david.waern@gmail.com>**20071112013439
 
   Tue Jan  9 14:14:34 CET 2007  Simon Marlow <simonmar@microsoft.com>
     * allow blank lines inside a @...@ code block
 
 Please merge this to the 6.8.2 branch
] 
[Merge of a patch from the old Haddock branch:
David Waern <david.waern@gmail.com>**20071112013143
 
   Fri Jan  5 12:13:41 CET 2007  Simon Marlow <simonmar@microsoft.com>
     * Fix up a case of extra vertical space after a code block
 
 Please merge this to the 6.8.2 branch
] 
[MERGED: fix stage 1 compilation
Ian Lynagh <igloo@earth.li>**20071128171145
 Simon Marlow <simonmar@microsoft.com>**20071106142057
] 
[MERGED: GHC API: add checkAndLoadModule
Ian Lynagh <igloo@earth.li>**20071128151112
 Simon Marlow <simonmar@microsoft.com>**20071106140121
  Does what the name suggests: it performs the function of both
  checkModule and load on that module, avoiding the need to process each
  module twice when checking a batch of modules.  This will make Haddock
  and ghctags much faster.
  
  Along with this is the beginnings of a refactoring of the HscMain
  interface.  HscMain now exports functions for separately running the
  parser, typechecher, and generating ModIface and ModDetails. 
  Eventually the plan is to complete this interface and use it to
  replace the existing one.
] 
[Fix Trac #1913: check data const for derived types are in scope
simonpj@microsoft.com**20071121151428
 
 When deriving an instance, the data constructors should all be in scope.
 This patch checks the condition.
 
 
] 
[MERGED: canonicalise the path to HsColour
Ian Lynagh <igloo@earth.li>**20071127205104
 Simon Marlow <simonmar@microsoft.com>**20071126141614
] 
[FIX #1925: the interpreter was not maintaining tag bits correctly
Simon Marlow <simonmar@microsoft.com>**20071127122614
 See comment for details
] 
[Rebuild utils with the stage1 compiler when making a bindist; fixes trac #1860
Ian Lynagh <igloo@earth.li>**20071127203959
 This is a bit unpleasant, as "make binary-dist" really shouldn't actually
 build anything, but it works.
] 
[Remove the --print-docdir flag
Ian Lynagh <igloo@earth.li>**20071127195605
 It wasn't doing the right thing for bindists. Let's rethink...
] 
[Consistently put www. on the front of haskell.org in URLs
Ian Lynagh <igloo@earth.li>**20071126215256] 
[Fix some more URLs
Ian Lynagh <igloo@earth.li>**20071126214147] 
[Tweak some URLs
Ian Lynagh <igloo@earth.li>**20071126194148] 
[Fix some links
Ian Lynagh <igloo@earth.li>**20071126184406] 
[MERGE: Tidy and trim the type environment in mkBootModDetails
Simon Marlow <simonmar@microsoft.com>**20071123153556
   
 Should fix Trac #1833
 
 We were failing to trim the type envt in mkBootModDetails, so several
 functions all called (*), for example, were getting into the interface.
 Result chaos.  It only actually bites when we do the retyping-loop thing,
 which is why it's gone so long without a fix.
] 
[Copy gmp stamps into bindists, so we don't try and rebuild gmp
Ian Lynagh <igloo@earth.li>**20071125211919] 
[On Windows, Delete the CriticalSection's we Initialize
Ian Lynagh <igloo@earth.li>**20071125125845] 
[On Windows, add a start menu link to the flag reference
Ian Lynagh <igloo@earth.li>**20071125124429] 
[Remove html/ from the paths we put in the start menu on Windows
Ian Lynagh <igloo@earth.li>**20071125124150] 
[Make ":" in GHCi repeat the last command
Ian Lynagh <igloo@earth.li>**20071124231857
 It used to be a synonym for ":r" in 6.6.1, but this wasn't documented or
 known about by the developers. In 6.8.1 it was accidentally broken.
 This patch brings it back, but as "repeat the last command", similar to
 pressing enter in gdb. This is almost as good for people who want it to
 reload, and means that it can also be used to repeat commands like :step.
] 
[Don't make a library documentation prologue
Ian Lynagh <igloo@earth.li>**20071124211943
 It's far too large now, and no-one complained when 6.8.1 didn't have one.
] 
[Don't put package version numbers in links in index.html
Ian Lynagh <igloo@earth.li>**20071124211629] 
[Define install-strip in Makefile
Ian Lynagh <igloo@earth.li>**20071124205037] 
[Define install-strip in distrib/Makefile
Ian Lynagh <igloo@earth.li>**20071124204803] 
[Install gmp from bindists; fixes trac #1848
Ian Lynagh <igloo@earth.li>**20071124185240] 
[(native gen) fix code generated for GDTOI on x86_32
Bertram Felgenhauer <int-e@gmx.de>**20071121063942
 See trac #1910.
] 
[Put library docs in a $pkg, rather than $pkgid, directory; fixes trac #1864
Ian Lynagh <igloo@earth.li>**20071124171220] 
[Copy the INSTALL hack from mk/config.mk.in into distrib/Makefile-bin-vars.in
Ian Lynagh <igloo@earth.li>**20071124163028
 configure will set INSTALL to ./install-sh if it can't find it in the path,
 so we need to replace the . with the path to our root.
] 
[Make install-sh executable /before/ we try to find it
Ian Lynagh <igloo@earth.li>**20071124162450] 
[Set mandir consistently to $(prefix)/share/man, as per trac #1879
Ian Lynagh <igloo@earth.li>**20071123235933] 
[If we have hscolour then make source code links in teh haddock docs
Ian Lynagh <igloo@earth.li>**20071123211559] 
[Document --info in the +RTS -? help
Ian Lynagh <igloo@earth.li>**20071123204352] 
[FIX #1910: fix code generated for GDTOI on x86_32
Bertram Felgenhauer <int-e@gmx.de>*-20071121102627] 
[Add -dcore-lint when validating libraries
simonpj@microsoft.com**20071105164733] 
[Fix Trac #1909: type of map in docs
simonpj@microsoft.com**20071120160152] 
[Two small typos in the flags summary (merge to 6.8 branch)
simonpj@microsoft.com**20071119134639] 
[FIX #1910: fix code generated for GDTOI on x86_32
Bertram Felgenhauer <int-e@gmx.de>**20071121102627] 
[FIX #1847 (improve :browse! docs, fix unqual)
claus.reinke@talk21.com**20071108013147
 
 - add example to docs, explain how to interpret 
   output of `:browse! Data.Maybe`
 - print unqualified names according to current 
   context, not the context of the target module
 
] 
[FIX Trac #1825: standalone deriving Typeable
simonpj@microsoft.com**20071120125732
 
 Standalone deriving of typeable now requires you to say
        instance Typeable1 Maybe
 which is exactly the shape of instance decl that is generated
 by a 'deriving( Typeable )' clause on the data type decl.
 
 This is a bit horrid, but it's the only consistent way, at least
 for now.  If you say something else, the error messages are helpful.
 
 MERGE to 6.8 branch
 
] 
[FIX Trac #1806: test for correct arity for datacon in infix pattern patch
simonpj@microsoft.com**20071119114301
 
 Happily the fix is easy; pls merge
 
] 
[MERGED: FIX #1715: egregious bug in ifaceDeclSubBndrs
Ian Lynagh <igloo@earth.li>**20071122123551
 simonpj@microsoft.com**20071120111723
  
  ifaceDeclSubBndrs didn't have an IfaceSyn case; but with type
  families an IfaceSyn can introduce subordinate binders.  Result:
  chaos.
  
  The fix is easy though.  Merge to 6.8 branch.
] 
[Improve the situation for Trac #959: civilised warning instead of a trace msg
simonpj@microsoft.com**20071119122938
 
 This doesn't fix the root cause of the bug, but it makes the report
 more civilised, and points to further info.
 
] 
[MERGED: Try to manage the size of the text rendered for ':show bindings'
Pepe Iborra <mnislaih@gmail.com>**20071119111243
 Pepe Iborra <mnislaih@gmail.com>**20071114231601] {
] 
[MERGED: wibble
Pepe Iborra <mnislaih@gmail.com>**20071119111109
   Pepe Iborra <mnislaih@gmail.com>**20071114233356] {
] 
[MERGED: Make the Term ppr depth aware
Ian Lynagh <igloo@earth.li>**20071119111053
 Pepe Iborra <mnislaih@gmail.com>**20071114183417] {
] 
[MERGED: GHCi debugger: added a new flag, -fno-print-binding-contents
Pepe Iborra <mnislaih@gmail.com>**20071119105634] 
[MERGED: Print binding contents in :show bindings
Ian Lynagh <igloo@earth.li>**20071118173321
 Pepe Iborra <mnislaih@gmail.com>**20071006123952] {
] 
[MERGE: Zonk quantified tyvars with skolems + Rejig the error messages a bit; fixes a minor bug
simonpj@microsoft.com**20071121143346
 
 This merges to the 6.8 branch two HEAD patches (names above).  The
 former "Zonk..." was for some reason partly in the branch already, 
 which is what led to the complications.
 
 Here are the original patches:
 
 Fri Oct 19 12:56:53 BST 2007  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
   * Zonk quantified tyvars with skolems
   
   We used to zonk quantified type variables to regular TyVars.  However, this
   leads to problems.  Consider this program from the regression test suite:
   
     eval :: Int -> String -> String -> String
     eval 0 root actual = evalRHS 0 root actual
   
     evalRHS :: Int -> a
     evalRHS 0 root actual = eval 0 root actual
   
   It leads to the deferral of an equality
   
     (String -> String -> String) ~ a
   
   which is propagated up to the toplevel (see TcSimplify.tcSimplifyInferCheck).
   In the meantime `a' is zonked and quantified to form `evalRHS's signature.
   This has the *side effect* of also zonking the `a' in the deferred equality
   (which at this point is being handed around wrapped in an implication
   constraint).
   
   Finally, the equality (with the zonked `a') will be handed back to the
   simplifier by TcRnDriver.tcRnSrcDecls calling TcSimplify.tcSimplifyTop.
   If we zonk `a' with a regular type variable, we will have this regular type
   variable now floating around in the simplifier, which in many places assumes to
   only see proper TcTyVars.
   
   We can avoid this problem by zonking with a skolem.  The skolem is rigid
   (which we requirefor a quantified variable), but is still a TcTyVar that the
   simplifier knows how to deal with.
 
 Thu Nov  1 17:50:22 GMT 2007  simonpj@microsoft.com
   * Rejig the error messages a bit; fixes a minor bug
   
   The type checker was only reporting the first message if an equality
   failed to match.  This patch does a bit of refactoring and fixes the
   bug, which was in the bogus use of eqInstMisMatch 
   in tcSimplify.report_no_instances.b
   
   This is really a bug in 6.8 too, so this would be good to merge across
   to the 6.8 branch.
   
 
] 
[MERGE to 6.8: Refactor error recovery slightly
simonpj@microsoft.com**20071121143227
 
 Slightly rejigged from HEAD:
 
   Mostly this patch is refacoring, but it also avoids post-tc zonking if
   the typechecker found errors.  This is good because otherwise with
   DEBUG you can get the "Inventing strangely-kinded TyCon" warning.
 
] 
[Improve pretty-printing for HsSyn
simonpj@microsoft.com**20071010093058] 
[warning removal
Simon Marlow <simonmar@microsoft.com>**20071009105138] 
[TcTyFuns: remove some duplicate code
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20071004142315] 
[Fix deferring on tyvars in TcUnify.subFunTys
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20071018044352] 
[TcUnify.subFunTys must take type families into account
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20071017114326
 * A bug reported by Andrew Appleyard revealed that subFunTys did take
   neither type families nor equalities into account.  In a fairly obscure
   case there was also a coercion ignored.
] 
[TcTyFuns.eqInstToRewrite
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20071003145715] 
[remove an incorrect assertion
Simon Marlow <simonmar@microsoft.com>**20071016151829] 
[remove --define-name from the --help usage message (#1596)
Simon Marlow <simonmar@microsoft.com>**20071114153417
 
] 
[Attempt at fixing #1873, #1360
Simon Marlow <simonmar@microsoft.com>**20071116152148
 
 I think I figured out a reasonable way to manage the GHCi context,
 comments welcome.
 
 Rule 1: external package modules in the context are persistent.  That
 is, when you say 'import Data.Maybe' it survives over :load, :add,
 :reload and :cd.
 
 Rule 2: :load and :add remove all home-package modules from the
 context and add the rightmost target, as a *-module if possible.  This
 is as before, and makes sense for :load because we're starting a new
 program; the old home-package modules don't make sense any more.  For
 :add, it usually does what you want, because the new target will
 become the context.
 
 Rule 3: any modules from the context that fail to load during a
 :reload are remembered, and re-added to the context at the next
 successful :reload.
 
 Claus' suggestion about adding the "remembered" modules to the prompt
 prefixed with a ! is implemented but commented out.  I couldn't
 decide whether it was useful or confusing.
 
 One difference that people might notice is that after a :reload where
 there were errors, GHCi would previously dump you in the most recent
 module that it loaded.  Now it dumps you in whatever subset of the
 current context still makes sense, and in the common case that will
 probably be {Prelude}.
] 
[on Windows, install to a directory with spaces (test for #1828)
Simon Marlow <simonmar@microsoft.com>**20071115155327] 
[FIX #1828: installing to a patch with spaces in 
Simon Marlow <simonmar@microsoft.com>**20071115155747
 We have to pass the path to gcc when calling windres, which itself
 might have spaces in.  Furthermore, we have to pass the path to gcc's
 tools to gcc.  This means getting the quoting right, and after much
 experimentation and reading of the windres sources I found something
 that works: passing --use-temp-files to windres makes it use its own
 implementation of quoting instead of popen(), and this does what we
 want.  Sigh.
] 
[FIX #1679: crash on returning from a foreign call
Simon Marlow <simonmar@microsoft.com>**20071115131635
 We forgot to save a pointer to the BCO over the foreign call.  Doing
 enough allocation and GC during the call could provoke a crash.
] 
[Make pprNameLoc more robust in absence of loc information
Pepe Iborra <mnislaih@gmail.com>**20071114233343] 
[Wibble to fix Trac #1901 (shorten messsage slightly)
simonpj@microsoft.com**20071116150341] 
[FIX Trac #1901: check no existential context in H98 mode
simonpj@microsoft.com**20071116145609] 
[Improve documentation of data type declarations (Trac #1901)
simonpj@microsoft.com**20071116081841] 
[Improve links from flag reference to the relevant section; and improve doc of RankN flags
simonpj@microsoft.com**20071116145816] 
[Documentation only - fix typo in flags reference
Tim Chevalier <chevalier@alum.wellesley.edu>**20071115055748] 
[Make SpecConstr work again
simonpj@microsoft.com**20071115084242
 
 In a typo I'd written env instead of env', and as a result RULES are
 practically guaranteed not to work in a recursive group.  This pretty
 much kills SpecConstr in its tracks!
 
 Well done Kenny Lu for spotting this.  The fix is easy.
 
 Merge into 6.8 please.
 
 
 
] 
[Accept x86_64-*-freebsd* as well as amd64-*-freebsd* in configure.ac
Ian Lynagh <igloo@earth.li>**20071117154502
 Patch from Brian P. O'Hanlon
] 
[FIX #1791 on stable branch
Simon Marlow <simonmar@microsoft.com>**20071114163945
 The 6.8 branch needed this fix in another place
] 
[FIX #1837: emit deprecated message for unversioned dependencies
Simon Marlow <simonmar@microsoft.com>**20071114153010] 
[FIX Trac 1888; duplicate INLINE pragmas
simonpj@microsoft.com**20071114104701
 
 There are actually three things here
 - INLINE pragmas weren't being pretty-printed properly
 - They were being classified into too-narrow boxes by eqHsSig
 - They were being printed in to much detail by hsSigDoc
 
 All easy.  Test is rnfail048.
 
] 
[Fix Trac 1865: GHCi debugger crashes with :print
Pepe Iborra <mnislaih@gmail.com>**20071113170113] 
[FIX Trac 1662: actually check for existentials in proc patterns
simonpj@microsoft.com**20071114112930
 
 I'd fixed the bug for code that should be OK, but had forgotten to 
 make the test for code that should be rejected! 
 
 Test is arrowfail004
 
] 
[FIX #1653 (partially): add -X flags to completion for :set
Simon Marlow <simonmar@microsoft.com>**20071113153257] 
[Fix #782, #1483, #1649: Unicode GHCi input
Simon Marlow <simonmar@microsoft.com>**20071114151411
 GHCi input is now treated universally as UTF-8, except for the Windows
 console where we do the correct conversion from the current code
 page (see System.Win32.stringToUnicode).
 
 That leaves non-UTF-8 locales on Unix as unsupported, but (a) we only
 accept source files in UTF-8 anyway, and (b) UTF-8 is quite ubiquitous
 as the default locale.
 
] 
[comments only: point to relevant bug reports
Simon Marlow <simonmar@microsoft.com>**20070924103323] 
[Remove ex-extralibs from libraries/Makefile
Ian Lynagh <igloo@earth.li>**20071111213618] 
[Remove the X11 and HGL libraries from extralibs
Ian Lynagh <igloo@earth.li>**20071111213447
 Don Stewart, X11 maintainer, requested we remove X11, and HGL depends on it
 on Linux (and we don't try to build HGL on Windows).
] 
[catch up with removal of config.mk in the readline package
Simon Marlow <simonmar@microsoft.com>**20071107095952] 
[TAG 2007-11-11
Ian Lynagh <igloo@earth.li>**20071111164452] 
[Define CPP in distrib/Makefile-bin-vars.in; fixes #1855
Ian Lynagh <igloo@earth.li>**20071110180302
 Patch from Christian Maeder
] 
[Tweak gen_contents_index to work with Solaris's sh
Ian Lynagh <igloo@earth.li>**20071110180014] 
[Update install-sh
Ian Lynagh <igloo@earth.li>**20071110173950
 This comes from the Debian automake 1:1.10+nogfdl-1 package.
] 
[Use INSTALL_SCRIPT, not INSTALL_PROGRAM, when installing scripts; fixes #1858
Ian Lynagh <igloo@earth.li>**20071110152309] 
[Rename Parser.ly in the extralibs tarball; fixes #1859
Ian Lynagh <igloo@earth.li>**20071110151529
 If Cabal doesn't see the .ly file then it won't try to run happy, and
 thus won't fail if happy isn't installed.
] 
[Add a path to the DocBook XSL Stylesheets search path
Ian Lynagh <igloo@earth.li>**20071110150649
 Slackware puts the stylesheets in /usr/share/xml/docbook/xsl-stylesheets*
 Patch from Andrea Rossato.
] 
[Fix typo: -XNoRank2Types -> -XRank2Types
Ian Lynagh <igloo@earth.li>**20071109135656] 
[Support more doc targets (html, pdf, etc) in the libraries Makefile
Ian Lynagh <igloo@earth.li>**20071110171328] 
[Build Cabal user guide during "make", not only "make install-docs"
Ian Lynagh <igloo@earth.li>**20071110171247] 
[#1617: Add :browse! and various other additions to GHCi
Simon Marlow <simonmar@microsoft.com>**20071107102648
    
   - :browse!
     a variant of :browse that lists children separately,
     not in context, and gives import qualifiers in comments
 
 SimonM: I also added sorting by source location for interpreted
 modules in :browse, and alphabetic sorting by name otherwise.  For
 :browse *M, the locally-defined names come before the external ones.
 
   - :{ ..lines.. :} (multiline commands)
     allow existing commands to be spread over multiple lines
     to improve readability, both interactively and in .ghci
     (includes a refactoring that unifies the previous three
     command loops into one, runCommands, fed from cmdqueue,
     file, or readline)
 
   - :set
       now shows GHCi-specific flag settings (printing/
       debugger), as well as non-language dynamic flag 
       settings
     :show languages
       show active language flags
     :show packages
       show active package flags as well as implicitly 
       loaded packages
 
] 
[Fix warnings when build w/o readline
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20071010101840] 
[Wibble to earlier case-merge fix
simonpj@microsoft.com**20071105220627
 
 This fix avoids a bogus WARN in SimplEnv.substId
 
] 
[Fix an old but subtle bug in the Simplifier
simonpj@microsoft.com**20071105161314
 
 I got a Core Lint failure when compiling System.Win32.Info in the
 Win32 package.  It was very delicate: adding or removing a function
 definition elsewhere in the module (unrelated to the error) made the
 error go away.
 
 Happily, I found it.  In SimplUtils.prepareDefault I was comparing an
 InId with an OutId.  We were getting a spurious hit, and hence doing
 a bogus CaseMerge.
 
 This bug has been lurking ever since I re-factored the way that case
 expressions were simplified, about 6 months ago!
 
] 
[Pad static literals to word size in the code generator
Simon Marlow <simonmar@microsoft.com>**20071108132842] 
[FIX #1617: reloading didn't change the :browse output as it should
Simon Marlow <simonmar@microsoft.com>**20071107161454
 The problem was that because the interface hadn't changed, we were
 re-using the old ModIface.  Unfortunately the ModIface contains the
 GlobalRdrEnv for the module, and that *had* changed.  The fix is to
 put the new GlobalRdrEnv in the ModIface even if the interface has not
 otherwise changed.
 
 ModIface is not really the right place for the GlobalRdrEnv, but
 neither is ModDetails, so we should think about a better way to do
 this.
] 
[FIX BUILD
Simon Marlow <simonmar@microsoft.com>**20071107161612
 Sorry, should have pushed with previous batch of changes.
] 
[FIX #1556: GHC's :reload keeps the context, if possible
Simon Marlow <simonmar@microsoft.com>**20071107124118] 
[FIX #1561: don't use tabs in pretty-printed output at all.
Simon Marlow <simonmar@microsoft.com>**20071107113201
 Tabs aren't guaranteed to be 8 spaces on every output device, so we
 shouldn't be using them.  Instead I added a little optimisation to
 use chunks of 8 spaces for long indentations.
 
] 
[FIX #1765, #1766
Simon Marlow <simonmar@microsoft.com>**20071107111757
 - :def! now overwrites a previous command with the same name
 - :def on its own lists the defined macros
 - ":undef f g" undefines both f and g
] 
[FIX #1838: use System.Directory.getHomeDirectory instead of getEnv "HOME"
Simon Marlow <simonmar@microsoft.com>**20071107100653] 
[Fix Trac #1813: generalise over *all* type variables at top level, even phantom ones
simonpj@microsoft.com**20071106153151
 
 See Note [Silly type synonym] in TcType for further details.  This bug
 (or at least infelicity) has been in GHC for quite a long time.
 
] 
[Improve error messages
simonpj@microsoft.com**20071106105258] 
[Fix Trac #1814 (staging interaction in Template Haskell and GHCi), and add comments
simonpj@microsoft.com**20071106135548
 
 An Id bound by GHCi from a previous Stmt is Global but Internal, and
 I'd forgotten that, leading to unnecessary restrictions when using TH
 and GHCi together.
 
 This patch fixes the problem and adds lots of explanatory comments (which
 is where most of the extra lines come from).
 
 
] 
[Comments about TH staging
simonpj@microsoft.com**20071105145340] 
[Improve manual entry for binding lexically scoped type variables in pattern signatures
simonpj@microsoft.com**20071106105151] 
[Remove trailing spaces from programlisting lines
simonpj@microsoft.com**20071106104921] 
[Remove unhelpful sentence (see Trac #1832)
simonpj@microsoft.com**20071106104315
 
 Merge to 6.8 branch
 
] 
[TAG GHC 6.8.1 release
Ian Lynagh <igloo@earth.li>**20071102152209] 
[Fix Trac #1654: make substitutions propagate into CoreRule
simonpj@microsoft.com**20071108174835
 
 Nasty bug in substSpec: the ru_fn field was not getting updated
 when the parent function's unique changed.  Urk.
 
 This patch goes on the branch; I'll do another for the HEAD.
 
] 
[Set RELEASE back to NO
Ian Lynagh <igloo@earth.li>**20071102152234] 
[Release note tweaks
Ian Lynagh <igloo@earth.li>**20071101125706] 
[Update Cabal version number in release notes
Ian Lynagh <igloo@earth.li>**20071101123934] 
[Update Cabal version number to 1.2.2.0
Duncan Coutts <duncan@haskell.org>**20071101122525] 
[MERGED: Zonk quantified tyvars with skolems
Ian Lynagh <igloo@earth.li>**20071031132340
 Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20071019115653
  
  We used to zonk quantified type variables to regular TyVars.  However, this
  leads to problems.  Consider this program from the regression test suite:
  
    eval :: Int -> String -> String -> String
    eval 0 root actual = evalRHS 0 root actual
  
    evalRHS :: Int -> a
    evalRHS 0 root actual = eval 0 root actual
  
  It leads to the deferral of an equality
  
    (String -> String -> String) ~ a
  
  which is propagated up to the toplevel (see TcSimplify.tcSimplifyInferCheck).
  In the meantime `a' is zonked and quantified to form `evalRHS's signature.
  This has the *side effect* of also zonking the `a' in the deferred equality
  (which at this point is being handed around wrapped in an implication
  constraint).
  
  Finally, the equality (with the zonked `a') will be handed back to the
  simplifier by TcRnDriver.tcRnSrcDecls calling TcSimplify.tcSimplifyTop.
  If we zonk `a' with a regular type variable, we will have this regular type
  variable now floating around in the simplifier, which in many places assumes to
  only see proper TcTyVars.
  
  We can avoid this problem by zonking with a skolem.  The skolem is rigid
  (which we requirefor a quantified variable), but is still a TcTyVar that the
  simplifier knows how to deal with.
] 
[Bump version number to 6.8.1 and set RELEASE=YES
Ian Lynagh <igloo@earth.li>**20071031125827] 
[FIX BUILD: a glitch in the new rules and inlining stuff
simonpj@microsoft.com**20071030113857
 
 Don't re-add the worker info to a binder until completeBind. It's not
 needed in its own RHS, and it may be replaced, via the substitution
 following postInlineUnconditionally.
 
 (Fixes build of the stage2 compiler which fell over when Coercion.lhs
 was being compiled.)
 
] 
[MERGE: clean Haddock droppings
Simon Marlow <simonmar@microsoft.com>**20071031094139] 
[clean ghci-inplace
Simon Marlow <simonmar@microsoft.com>**20071031093932] 
[distclean: ghcprof-inplace
Simon Marlow <simonmar@microsoft.com>**20070914125542] 
[MERGED: fix installation of haddock.css and friends
Ian Lynagh <igloo@earth.li>**20071031011300
 Simon Marlow <simonmar@microsoft.com>**20071029120732
] 
[Fix LiberateCase
simonpj@microsoft.com**20071029170620
 
        Merge to STABLE please
 
 Liberate case was being far too gung-ho about what to specialise. This
 bug only showed up when a recursive function 'f' has a nested recursive
 function 'g', where 'g' calls 'f' (as well as recursively calling 'g').
 This exact situation happens in GHC/IO.writeLines.
 
 This patch puts things right; see Note [When to specialise].  Result:
 much less code bloat.
 
 
 
 
] 
[Improve documentation of orphan instances (thanks to Adrian Hey)
simonpj@microsoft.com**20071029162505
 
 Please push to stable branch
 
 Simon
 
] 
[added foldUFM_Directly, used where appropriate, killed all warnings
Norman Ramsey <nr@eecs.harvard.edu>**20070915190617] 
[Substantial improvement to the interaction of RULES and inlining
simonpj@microsoft.com**20071029111056
 
        (Merge to 6.8 branch after testing.)
 
 There were a number of delicate interactions between RULEs and inlining
 in GHC 6.6.  I've wanted to fix this for a long time, and some perf
 problems in the 6.8 release candidate finally forced me over the edge!
 
 The issues are documented extensively in OccurAnal, Note [Loop breaking
 and RULES], and I won't duplicate them here.  (Many of the extra lines in
 OccurAnal are comments!)
 
 This patch resolves Trac bugs #1709, #1794, #1763, I believe.
 
 
] 
[small reworking of the loop-breaker-choosing algorithm
Simon Marlow <simonmar@microsoft.com>**20071009145305
 Previously inline candidates were given higher preference as
 non-loop-breakers than constructor applications, but the reason for
 this was that making a wrapper into a loop-breaker is to be avoided at
 all costs.  This patch refines the algorithm slightly so that wrappers
 are explicitly avoided by giving them a much higher score, and other
 inline candidates are given lower scores than constructor
 applications.
 
 This makes almost zero difference to a complete nofib run, so it
 amounts to just a tidyup.
] 
[Fix freeHaskellFunctionPtr for Darwin/i386
Aaron Tomb <atomb@galois.com>**20071029202636] 
[Add a missing import when __GLASGOW_HASKELL__ < 603
Ian Lynagh <igloo@earth.li>**20071031005534] 
[Replace "tail -n +2" with "sed 1d", as Solaris doesn't understand the former
Ian Lynagh <igloo@earth.li>**20071031001218] 
[Fix build with GHC < 6.4
Ian Lynagh <igloo@earth.li>**20071029183155] 
[Set interfacedir (using $topdir, not $httptopdir)
Ian Lynagh <igloo@earth.li>**20071029174825] 
[Teach ghc-pkg about $httptopdir
Ian Lynagh <igloo@earth.li>**20071029161130] 
[Fill in holes in the release notes
Ian Lynagh <igloo@earth.li>**20071028225253] 
[installPackage needs to treat $httptopdir the same as $topdir
Ian Lynagh <igloo@earth.li>**20071028134534] 
[Define and use $httptopdir for the haddock docs locations
Ian Lynagh <igloo@earth.li>**20071028123552] 
[We need to copy .buildinfo files into the bindists
Ian Lynagh <igloo@earth.li>**20071028131752] 
[Fix imports
Ian Lynagh <igloo@earth.li>**20071027231844] 
[Fix the build with GHC < 6.4 (foldl1' didn't exist)
Ian Lynagh <igloo@earth.li>**20071027210526] 
[MERGED: Comments only
Ian Lynagh <igloo@earth.li>**20071027170004
 Sat Oct 27 08:46:42 PDT 2007  simonpj@microsoft.com
] 
[Make 'improvement' work properly in TcSimplify
simonpj@microsoft.com**20071027155459
 
        (Please merge this, and the preceding 
        handful from me to the 6.8 branch.)
 
 This patch fixes a serious problem in the type checker, whereby
 TcSimplify was going into a loop because it thought improvement
 had taken place, but actually the unificataion was actually deferred.
 
 We thereby fix Trac #1781, #1783, #1795, and #1797!
 
 In fixing this I found what a mess TcSimplify.reduceContext is! 
 We need to fix this.
 
 The main idea is to replace the "improvement flag" in Avails with
 a simpler and more direct test: have any of the mutable type variables
 in the (zonked) 'given' or 'irred' constraints been filled in?
 This test uses the new function TcMType.isFilledMetaTyVar; the test
 itself is towards the end of reduceContext.
 
 I fixed a variety of other infelicities too, and left some ToDos.
 
 
] 
[An implication constraint can abstract over EqInsts
simonpj@microsoft.com**20071027155433] 
[In an AbsBinds, the 'dicts' can include EqInsts
simonpj@microsoft.com**20071027154903
 
 An AbsBinds abstrats over evidence, and the evidence can be both
 Dicts (class constraints, implicit parameters) and EqInsts (equality
 constraints).  So we need to
   - use varType rather than idType
   - use instToVar rather than instToId
   - use zonkDictBndr rather than zonkIdBndr in zonking
 
 It actually all worked before, but gave warnings.
 
 
] 
[More notes
simonpj@microsoft.com**20071027154702] 
[Add anyM to IOEnv
simonpj@microsoft.com**20071027154551] 
[Add a note to NOTES
simonpj@microsoft.com**20071027100220] 
[Adding hpc documentation about sum and map, push to STABLE.
andy@unsafeperformio.com**20071025050341] 
[Fixing typo in runtime documentation for hpc, push to stable
andy@unsafeperformio.com**20071025045456] 
[default to installing runhaskell and hsc2hs again, but provide knobs to turn them off
Simon Marlow <simonmar@microsoft.com>**20071025084222] 
[Fix a whole heap of speling errrs in the docs
Josef Svenningsson <josef.svenningsson@gmail.com>**20071007213858] 
[We need to install-docs when making the Windows bindist
Ian Lynagh <igloo@earth.li>**20071027144333] 
[We need to set _way=* in rts/ both when making and installing bindists
Ian Lynagh <igloo@earth.li>**20071027142914
 This is a hack, but it means we get libHSrts*.a etc rather than just
 libHSrts.a.
] 
[arrows is no longer an extralib
Ian Lynagh <igloo@earth.li>**20071027123656] 
[Only build/install the man page if XSLTPROC is defined
Ian Lynagh <igloo@earth.li>**20071027122155] 
[install the Cabal docs, and make them show up in a binary distribution
Simon Marlow <simonmar@microsoft.com>**20071026122456] 
[cp => $(CP)
Simon Marlow <simonmar@microsoft.com>**20071026111054] 
[get rid of the html subdirectory under share/doc/ghc/users_guide
Simon Marlow <simonmar@microsoft.com>**20071026110919] 
[fix the links in the library documentation index
Simon Marlow <simonmar@microsoft.com>**20071025152245] 
[binary-dist: Makefile-vars needs HADDOCK_DOCS=YES
Simon Marlow <simonmar@microsoft.com>**20071025135816] 
[FIX #1791: fail with out-of-heap when allocating more than the max heap size in one go
Simon Marlow <simonmar@microsoft.com>**20071024095420
 Normally the out-of-heap check is performed post-GC, but there are
 cases where we can detect earlier that we definitely have exhausted
 the heap size limit.
] 
[patch from #1782; fixes check-packages target on Solaris
Simon Marlow <simonmar@microsoft.com>**20071022133337] 
[Refer to "boot" libs, not "core" libs
Ian Lynagh <igloo@earth.li>**20070914132658] 
[Fix more warnings
Simon Marlow <simonmar@microsoft.com>**20071023131351] 
[FIX BUILD (on 32-bit platforms): hs_hpc_module() type mismatch
Simon Marlow <simonmar@microsoft.com>**20071023082233] 
[second attempt to fix C compiler warnings with -fhpc
Simon Marlow <simonmar@microsoft.com>**20071019133243
 The hs_hpc_module() prototype in RtsExternal.h didn't match its usage:
 we were passing StgWord-sized parameters but the prototype used C
 ints.  I think it accidentally worked because we only ever passed
 constants that got promoted.  The constants unfortunately were
 sometimes negative, which caused the C compiler to emit warnings.
 
 I suspect PprC.pprHexVal may be wrong to emit negative constants in
 the generated C, but I'm not completely sure.  Anyway, it's easy to
 fix this in CgHpc, which is what I've done.
 
] 
[Change some ints to unsigned ints
Simon Marlow <simonmar@microsoft.com>**20071018095503
 Fixes some gratuitous warnings when compiling via C with -fhpc
] 
[Fix typo that prevented zonking of rhs of EqInsts
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20071018131040
 
 MERGE TO STABLE
] 
[Fix ghc package in bindists; it wasn't adding the depenedency on readline
Ian Lynagh <igloo@earth.li>**20071024120633] 
[Correct a comment
Ian Lynagh <igloo@earth.li>**20071024114549] 
[Fix installing the ghc package .hi files in a bindist
Ian Lynagh <igloo@earth.li>**20071024114219] 
[Build the manpage when building, not when installing
Ian Lynagh <igloo@earth.li>**20071024112914] 
[Hack to make sure we get all the RTS ways in bindists
Ian Lynagh <igloo@earth.li>**20071024004155] 
[Fix installing the documentation in the bindists
Ian Lynagh <igloo@earth.li>**20071023234624] 
[FIX #1784: EM_AMD64 and EM_X86_64 might both be defined to the same value
Simon Marlow <simonmar@microsoft.com>**20071019110223] 
[fix -fbreak-on-exception for unregsterised
Simon Marlow <simonmar@microsoft.com>**20071018110621] 
[fix :print when !tablesNextToCode
Simon Marlow <simonmar@microsoft.com>**20071018105340] 
[fix breakpoints in unregisterised mode
Simon Marlow <simonmar@microsoft.com>**20071018101929] 
[implement #1468, :browse on its own uses the currently-loaded module
Simon Marlow <simonmar@microsoft.com>**20071019115751] 
[warning removal
Simon Marlow <simonmar@microsoft.com>**20071003172715] 
[FIX #1450: asynchronous exceptions are now printed by +RTS -xc
Simon Marlow <simonmar@microsoft.com>**20071018134951] 
[recordMutable: test for gen>0 before calling recordMutableCap
Simon Marlow <simonmar@microsoft.com>**20071017125657
 For some reason the C-- version of recordMutable wasn't verifying that
 the object was in an old generation before attempting to add it to the
 mutable list, and this broke maessen_hashtab.  This version of
 recordMutable is only used in unsafeThaw#.
] 
[fix warning on Windows
Simon Marlow <simonmar@microsoft.com>**20071017121645] 
[Improving the combine mode for hpc
andy@galois.com**20071014171009
 
 we now have
 Processing Coverage files:
   sum         Sum multiple .tix files in a single .tix file
   combine     Combine two .tix files in a single .tix file
   map         Map a function over a single .tix file
 
 Where sum joins many .tix files, combine joins two files (with
 extra functionality possible), and map just applied a function
 to single .tix file.
 
 These changes were improvements driven by hpc use cases.
 
 END OF DESCRIPTION***
 
 Place the long patch description above the ***END OF DESCRIPTION*** marker.
 The first line of this file will be the patch name.
 
 
 This patch contains the following changes:
 
 M ./utils/hpc/Hpc.hs -1 +3
 M ./utils/hpc/HpcCombine.hs -33 +84
 M ./utils/hpc/HpcFlags.hs -11 +59
] 
[FIX #1759 while respecting the ticks
andy@galois.com**20071015033319] 
[Don't barf on error message with non-tc tyvars
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20071018060336
 
 MERGE TO STABLE
] 
[Fix #1662: do not simplify constraints for vanilla pattern matches
simonpj@microsoft.com**20071016124710
 
 See Note [Arrows and patterns] in TcPat.  
 
 This fixes Trac 1662.   Test is arrows/should_compile/arrowpat.hs
 
 Please merge
 
] 
[Some more traceTcs
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070929121941] 
[Tell Cabal it's version number when we build it.
Duncan Coutts <duncan@haskell.org>**20071018094742] 
[First draft of 6.8.1 release notes
Ian Lynagh <igloo@earth.li>**20071016150731] 
[-ftype-families -> -XTypeFamilies
Ian Lynagh <igloo@earth.li>**20071016123010] 
[Fix #1709: do not expose the worker for a loop-breaker
simonpj@microsoft.com**20071016131840
 
 The massive 'Uni' program produced a situation in which a function that
 had a worker/wrapper split was chosen as a loop breaker.  If the worker
 is exposed in the interface file, then an importing module may go into
 an inlining loop: see comments on TidyPgm.tidyWorker.
 
 This patch fixes the inlining bug.  The code that gives rise to this
 bizarre case is still not good (it's a bunch of implication constraints
 and we are choosing a bad loop breaker) but the first thing is to fix the
 bug.
 
 It's rather hard to produce a test case!
 
 Please merge to the 6.8 branch.
 
 
 
] 
[Fix DoCon: Another try at getting extractResults right
simonpj@microsoft.com**20071012162325
 
 For some reason TcSimplify.extractResults is quite difficult to get right.
 This is another attempt; finally I think I have it.
 
 Strangely enough, it's only Sergey's DoCon program that shows up the
 bug, which manifested as a failure in the Simplifier
 
         lookupRecBndr $dGCDRing{v a1Lz} [lid]
 
 But it was due to extractResults producing multiple bindings for
 the same dictionary.
 
 Please merge this to the stable branch (after previous patches to
 TcSimplify though).
 
 
] 
[Fix Trac #1759: do not let ticks get in the way of spotting trivially-true guards
simonpj@microsoft.com**20071010164731
 
 GHC spots that an 'otherwise' guard is true, and uses that knowledge to 
 avoid reporting spurious missing-pattern or overlaps with -Wall.
 
 The HPC ticks were disguising the 'otherwise', which led to this failure.
 Now we check.  The key change is defining DsGRHSs.isTrueLHsExpr.
 
 Test is ds062
 
 
] 
[comment-out "use vars" in 3 places (see #1739)
Simon Marlow <simonmar@microsoft.com>**20071008115740] 
[Improve pretty-printing of splices in HsSyn
simonpj@microsoft.com**20071010123726] 
[we need to #include "Stg.h" first, we can't rely on GHC to inject it
Simon Marlow <simonmar@microsoft.com>**20071010153244
 This fixes the unreg build, and in general building the RTS code
 via-C. I'm not sure at what stage this was broken, but I think it
 was working accidentally before.
] 
[Fix Trac #1680; check for unboxed tuples in TcType.marshalableTyCon
simonpj@microsoft.com**20071011123426] 
[FIX BUILD (when compiling base via C): declare n_capabilities
Simon Marlow <simonmar@microsoft.com>**20071010103704] 
[MERGED: FIX #1681: withBreakAction had too large a scope in runStmt
Ian Lynagh <igloo@earth.li>**20071012151253
 Simon Marlow <simonmar@microsoft.com>**20071010085820
] 
[Update documentation for win32 DLL linking
Clemens Fruhwirth <clemens@endorphin.org>**20071010074415] 
[Fix Trac #1746: make rule-matching work properly with Cast expressions
simonpj@microsoft.com**20070929104406
 
 The Cast case of the rule-matcher was simply wrong.
 
 This patch fixes it; see Trac #1746.
 
 I also fixed the rule generation in SpecConstr to generate a wild-card
 for the cast expression, which we don't want to match on.  This makes
 the rule more widely applicable; it wasn't the cause of the bug.
 
] 
[export n_capabilities, see #1733
Simon Marlow <simonmar@microsoft.com>**20071009142701] 
[export stopTimer(), we need this in the unix package
Simon Marlow <simonmar@microsoft.com>**20070912200057] 
[FIX #1743, create a fresh unique for each Id we bind at a breakpoint
Simon Marlow <simonmar@microsoft.com>**20071009142554] 
[also acquire/release task->lock across fork()
Simon Marlow <simonmar@microsoft.com>**20070927091331
 further attempt to fix #1391 on MacOS
] 
[attempt to fix #1391, hold locks across fork() and initialize them in the child
Simon Marlow <simonmar@microsoft.com>**20070914145519] 
[also call initMutex on every task->lock, see #1391
Simon Marlow <simonmar@microsoft.com>**20071009122409] 
[error message fix (#1758)
Simon Marlow <simonmar@microsoft.com>**20071008134958] 
[FIX validate for PPC Mac OS X - RegAllocStats.hs
Thorkil Naur <naur@post11.tele.dk>**20071005144105] 
[FIX validate for PPC Mac OS X - RegAllocLinear.hs
Thorkil Naur <naur@post11.tele.dk>**20071005143607] 
[FIX validate for PPC Mac OS X - Linker.c
Thorkil Naur <naur@post11.tele.dk>**20071005144908] 
[FIX validate for PPC Mac OS X - Evac.h
Thorkil Naur <naur@post11.tele.dk>**20071005144454] 
[MERGED: FIX #1748: -main-is wasn't handling the case of a single hierarchical module
Ian Lynagh <igloo@earth.li>**20071012143757
 Simon Marlow <simonmar@microsoft.com>**20071008131305
  test case is driver062.5
] 
[FIX: add missing case to OccName.isSymOcc
David Waern <davve@dtek.chalmers.se>**20071002143459] 
[mention what SCC stands for
Simon Marlow <simonmar@microsoft.com>**20071011135736] 
[Fix Trac #1755; check for stage errors in TH quoted Names
simonpj@microsoft.com**20071010150250
 
 There are a number of situations in which you aren't allowed to use
 a quoted Name in a TH program, such as
        \x -> 'x
 But we weren't checking for that!  Now we are.
 
 Merge to stable branch.
 
 Test is TH_qname.
 
 
] 
[Fix Trac #1678; be more careful about catching and reporting exceptions in spliced TH monadic computations
simonpj@microsoft.com**20071010145705
 
 Many of the new lines are comments to explain the slightly-convoluted
 in which exceptions get propagated out of the Q monad.
 
 This fixes Trac 1679; test is TH_runIO (as well as the exising TH_fail).
 
 Please merge
 
 
] 
[FIX: tidy up TcSimplify following equality constraints additions
simonpj@microsoft.com**20071010093334
 
 The combination of "type refinement" for GADTs and the new equality
 constraints has made TcSimplify rather complicated.  And wrong:
 it generated bogus code for cholewo-eval.
 
 This patch is still far from entirely satisfactory.  There are
 too many places where invariants are unclear, and the code is 
 still a bit of a mess.  But I believe it's better, and it passes
 the regression tests!  So I think it's good enough for the 6.8 release.
 
 Please merge.
 
 The main changes are:
 
 - get rid of extractLocalResults (which was always suspicious)
 
 - instead, treat the 'refinement' along with 'givens', by 
   adding a field to RedEnv, red_reft which travels with red_givens
 
 - I also reworked extractResults a bit, which looked wrong to me
   This entailed changing the Given constructor in Avail to take
   an Inst rather than a TcId
 
 
] 
[Comments and debug output only
simonpj@microsoft.com**20070927110842] 
[mkIfaceExports: sort the children of AvailTC
Simon Marlow <simonmar@microsoft.com>**20071002114917
 This fixes a problem with spurious recompilations: each time a module
 was recompiled, the order of the children would change, causing extra
 recompilation.
 
 MERGE TO STABLE
] 
[FIX BUILD FD_SETSIZE signed
jochemberndsen@dse.nl**20070927132649
 On FreeBSD FD_SETSIZE is unsigned. Cast it to a signed int
 for portability.
] 
[FIX BUILD addDLL returns const char*
jochemberndsen@dse.nl**20070927132619
 addDLL returns const char*, not just a char*.
 Fix compiler warning
] 
[FIX BUILD `set -o igncr'-issue on FreeBSD
jochemberndsen@dse.nl**20070926203750
 `set -o igncr' does not work on non-cygwin-systems.
 Fail silently if this command does not work, instead
 of aborting the build.
 
] 
[Change DOCOPTIONS pragma to DOC_OPTIONS
David Waern <davve@dtek.chalmers.se>**20071002143849
 
 MERGE TO STABLE
] 
[FIX: parsing of doc options
David Waern <davve@dtek.chalmers.se>**20071002143713
 
 Lexing of the doc options pragma was changed, but but no change was 
 made to the parser to reflect that. This patch fixes this problem.
 
 MERGE TO STABLE
] 
[FIX: mkWWcpr takes open alg types into account
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20071002130407
 - This fixed the failures of GMapAssoc and GMapTop for optmising ways
 
 MERGE TO STABLE
] 
[FIX #1738: KPush rule of FC must take dataConEqTheta into account
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20071001154343
 
 MERGE TO STABLE
] 
[FIX #1729: Don't try to expand syn families with -XLiberalTypeSynonyms
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070929122624
 
 MERGE TO STABLE
] 
[FIX: Make boxy splitters aware of type families
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070928225541
 
 MERGE TO STABLE
] 
[Finally, I managed to squash an infamous bug in :print
Pepe Iborra <mnislaih@gmail.com>**20070927151300
   
   It turns out the newtype handling code in :print
   was slipping non mutable Tyvars in the types reconstructed.
   The error message eventually produced was rather obscure:
   
   [src/Tp.hs:75:28-64] *MainTp> :p x
   *** Exception: No match in record selector Var.tcTyVarDetails
   [src/Tp.hs:75:28-64] *MainTp>
   
   Due to non mutable tyvars, unifyType was failing.
   A well placed assertion in the unifyType code would have made
    my life much easier.
   Which reminds me I should install a -ddump-* system in the 
   RTTI subsystem, or future hackers will run away in swearing.
 
 
 MERGE TO STABLE
 
] 
[Be a bit more flexible in terminal identification for do_bold
Pepe Iborra <mnislaih@gmail.com>**20070927141549
   
   In Os X for instance, by default we have TERM=xterm-color 
 
 MERGE TO STABLE
 
] 
[further stub filename fix: I managed to break non-stubdir -fvia-C compilation
Simon Marlow <simonmar@microsoft.com>**20070927102539] 
[MERGED: html_installed_root shouldn't contain $$pkgid
Ian Lynagh <igloo@earth.li>**20070927131012
 This actually didn't break anything, as the shell expanded $pkgid to the
 empty string, but it was still wrong.
] 
[esacpe backslashes in the filename in the .rc file
Simon Marlow <simonmar@microsoft.com>**20070912111658] 
[FIX -stubdir bug: the .hc file was #including the wrong _stub.h filename
Simon Marlow <simonmar@microsoft.com>**20070926134539
 Using -stubdir together with hierarchical modules, -fvia-C, and --make
 is essentially broken in 6.6.x.  Recently discovered by Cabal's use of
 -stubdir.
 
 Test cases: driver027/driver028 (I've updated them to use -fvia-C, in
 order to test for this bug).
] 
[fix #1734, panic in :show modules after load failure
Simon Marlow <simonmar@microsoft.com>**20070926100732] 
[Fixing #1340, adding HPC Documentation
andy@galois.com**20070926055331] 
[Be more specific about file-header pragmas
simonpj@microsoft.com**20070924162847
 
 Document the rules for pragmas that must occur at the top of a file.
 
 Please merge this patch
 
] 
[When haddocking, other packages are in ../$$pkgid not ../$$pkg
Ian Lynagh <igloo@earth.li>**20070923193344] 
[Unbreak "dist" target for fresh trees
sven.panne@aedion.de**20070923094358
 The previous hack to include Parser.hs in source distros broke the possibility
 of doing a "make dist" in a fresh tree, i.e. one which has just been checked
 out and configured, but *not* built. Of course you will need Happy for such a
 source distro later, but at least the freedom to do this is important.
 
 The ultimate goal should be that something like "make dist" will work in a
 freshly checked out tree, with no prerequisite steps (this is very common in
 most projects). We should move towards that goal, not away from it...
 
 
 MERGE TO STABLE
] 
[Notice when C modules have changed when deciding whether or not to link
Ian Lynagh <igloo@earth.li>**20070923181620
 Based on a patch from Lemmih
] 
[Whitespace changes only
Ian Lynagh <igloo@earth.li>**20070923174242] 
[Remove remaining bits of bindist "make in-place"
Ian Lynagh <igloo@earth.li>**20070923163640] 
[Add an entry for strings treated as ISO-8859-1 to the users guide bug list
Ian Lynagh <igloo@earth.li>**20070923131845] 
[Define and use PprTyThing.pprTypeForUser
simonpj@microsoft.com**20070911085123
 
 When printing types for the user, the interactive UI often wants to
 leave foralls implicit.  But then (as Claus points out) we need to be
 careful about name capture. For example with this source program
 
        class C a b where
          op :: forall a. a -> b
 
 we were erroneously displaying the class in GHCi (with suppressed
 foralls) thus:
 
        class C a b where
          op :: a -> b
 
 which is utterly wrong. 
 
 This patch fixes the problem, removes GHC.dropForAlls (which is dangerous),
 and instead supplies PprTyThing.pprTypeForUser, which does the right thing.
 
 
] 
[MERGED: Move OPTIONS pragmas above comments
Ian Lynagh <igloo@earth.li>**20070921205741] 
[Fix building with compilers which don't have an integer for a patch level
Ian Lynagh <igloo@earth.li>**20070921165316] 
[Removed duplicate entry for derbugging flag -ddump-tc from the user guide
v.dijk.bas@gmail.com**20070920121306] 
[make stamp.inplace-gcc-lib copy $(LD) instead of $(GccDir)ld.exe to avoid building problem
shelarcy <shelarcy@gmail.com>**20070920130159] 
[Overhaul of the rewrite rules
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070915074119
 - Cleaned up and simplified rules
 - Added many missing cases
 - The rules OccursCheck and swap have been eliminated and integrate with
   the other rules; ie, Subst and Unify perform the occurs check themselves
   and they can deal with left-to-right and right-to-left oriented rewrites.
   This makes the code simpler and more efficient.
 - Also added comments.
] 
[MERGED: GHCi debugger: Added a -fprint-evld-with-show flag
Ian Lynagh <igloo@earth.li>**20070920200212
 Pepe Iborra <mnislaih@gmail.com>**20070912153505
      
      The flag enables the use of Show instances in :print.
      By default they are not used anymore
] 
[Remove a redundant part of distrib/Makefile's "make install"
Ian Lynagh <igloo@earth.li>**20070920183903] 
[FIX #1677; poor error message for misspelled module declaration
Simon Marlow <simonmar@microsoft.com>**20070911085452] 
[Fix Trac #1718: interaction of error, unlifted tuples, and casts
simonpj@microsoft.com**20070920120049
 
 See Note [Float coercions (unlifted)] in Simplify
 
 Test is simpl018
 
] 
[Fix --print-docdir for relocatable builds; fixes #1226
Ian Lynagh <igloo@earth.li>**20070919140100] 
[Use $(RelocatableBuild) rather than $(Windows)
Ian Lynagh <igloo@earth.li>**20070919140037] 
[Fix exponential-time behaviour with type synonyms; rename -XPartiallyAppliedTypeSynonyms to -XLiberalTypeSynonyms
simonpj@microsoft.com**20070919171207
 
 Fixes exponential behaviour present in GHC 6.6!
 
 I renamed the flag because the old (not very old) name wasn't
 describing what it does.
 
] 
[FIX #1688: Givens in checkLoop are not that rigid after all
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070919150738
 - This patch re-instates the policy of 6.6.1 to zonk the given constraints
   in the simplifier loop.
 
 MERGE TO STABLE
] 
[FIX #1713: watch out for type families in splitAppTy functions
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070919122011
 
   MERGE TO STABLE
] 
[Make the error message mentioning -XPatternSignatures spell the flag correctly
simonpj@microsoft.com**20070919142821] 
[Hack to get haskell-src's Parser.hs into source distributions
Ian Lynagh <igloo@earth.li>**20070919194222] 
[Catch any exceptions thrown by getEnv; fixes #1704
Ian Lynagh <igloo@earth.li>**20070918215752] 
[Give Windows its own definitions of docdir (and htmldir etc)
Ian Lynagh <igloo@earth.li>**20070918201249] 
[Include build.mk or validate{,-settings}.mk through custom-settings.mk
Ian Lynagh <igloo@earth.li>**20070918200637] 
[Install extra-gcc-opts in bindists
Ian Lynagh <igloo@earth.li>**20070918194839] 
[Writing out .tix file only if you are the original process, not a child.
andy@galois.com**20070917230641
 This lets us gain coverage on programs that use fork, like xmonad.
 
 * To be merged to STABLE *
 
] 
[removing the functions hs_hpc_read and hs_hpc_write inside Hpc.c, they are dead code.
andy@galois.com**20070917230201
 
 * To be merged to STABLE. *
 
] 
[Add validate.mk to .darcs-boring
Ian Lynagh <igloo@earth.li>**20070918184509] 
[avoid platform dependencies: my_uintptr_t ==> StgWord
Simon Marlow <simonmar@microsoft.com>**20070917120156] 
[add support for EM_AMD64 elf machine type, openbsd/amd64 ghci works
Don Stewart <dons@galois.com>**20070916034845] 
[patch Linker.c for amd64/openbsd
Don Stewart <dons@galois.com>**20070916012728] 
[Merge of register allocator patches.
Ben.Lippmeier@anu.edu.au**20070918102256
 
 This is a conflict avoiding merge of several patches which finish off
 the new register allocator. After this patch all tests should go through
 with both -fregs-graph and -fregs-iterative.
 
 
 Mon Sep 17 14:26:14 BST 2007  Ben.Lippmeier@anu.edu.au
   * Tune coalescing in non-iterative register allocator
   
   If iterative coalescing isn't turned on, then do a single aggressive
   coalescing pass for the first build/color cycle and then back off to 
   conservative coalescing for subseqent passes.
   
   Aggressive coalescing is a cheap way to eliminate lots of the reg-reg
   moves, but it can make the graph less colorable - if we turn it on 
   for every pass then allocation for code with a large amount of register
   pressure (ie SHA1) doesn't converge in a sensible number of cycles.
 
 
 Mon Sep 17 13:42:41 BST 2007  Ben.Lippmeier@anu.edu.au
   * Bugfix to iterative coalescer
   
   Coalescences must be applied to the unsimplified graph in the same order 
   they were found by the iterative coalescing algorithm - otherwise
   the vreg rewrite mapping will be wrong and badness will ensue.
 
 
 Mon Sep 17 12:30:24 BST 2007  Ben.Lippmeier@anu.edu.au
   * Add -dasm-lint
   
   When -dasm-lint is turned on the register conflict graph is checked for 
   internal consistency after each build/color pass. Make sure that all 
   edges point to valid nodes, that nodes are colored differently to their
   neighbours, and if the graph is supposed to be colored, that all nodes
   actually have a color.
 
 
 Fri Sep 14 17:42:34 BST 2007  Ben.Lippmeier@anu.edu.au
   * Count CmmTops processed so far in the native code generator
   To help with debugging / nicer -ddump-asm-regalloc-stages
 
 
 Fri Sep 14 17:14:08 BST 2007  Ben.Lippmeier@anu.edu.au
   * Change spill cost function back to inverse length of live range.
   
   On further testing it turns out that using Chaitin's spill cost formula
   of counting the number of uses of a var and then dividing by the degree
   of the node isn't actually a win. Perhaps because this isn't counting 
   the number of actual spills inserted in the output code.
   
   This would be worth revisiting if other work manages to increase the 
   register pressure in the native code.
 
 
 Fri Sep 14 10:39:07 BST 2007  Ben.Lippmeier@anu.edu.au
   * Better cleaning of spills in spill cleaner
   
   Track what slots each basic block reloads from. When cleaning spill 
   instructions we can use this information to decide whether the slot 
   spilled to will ever be read from on this path.
 
 
 Thu Sep 13 16:54:07 BST 2007  Ben.Lippmeier@anu.edu.au
   * Better calculation of spill costs / selection of spill candidates.
   
   Use Chaitin's formula for calculation of spill costs.
     Cost to spill some vreg = (num writes + num reads) / degree of node
   
   With 2 extra provisos:
     1) Don't spill vregs that live for only 1 instruction.
     2) Always prefer to spill vregs that live for a number of instructions
          more than 10 times the number of vregs in that class.
   
   Proviso 2 is there to help deal with basic blocks containing very long
   live ranges - SHA1 has live ranges > 1700 instructions. We don't ever
   try to keep these long lived ranges in regs at the expense of others.
   
   Because stack slots are allocated from a global pool, and there is no
   slot coalescing yet, without this condition the allocation of SHA1 dosn't
   converge fast enough and eventually runs out of stack slots.
   
   Prior to this patch we were just choosing to spill the range with the
   longest lifetime, so we didn't bump into this particular problem.
   
] 
[Keep valgrind happy when calling timer_create
sven.panne@aedion.de**20070916111927
 Fill all of the sigevent structure with zeroes before individual fields are
 set. Although not strictly necessary, this keeps tools like valgrind from
 complaining about passing uninitialized data, which is a good thing.
 
 MERGE TO STABLE
] 
[Make DESTDIR work again
sven.panne@aedion.de**20070916084339
 installPackage is a horror, using --force is probably not the perfect way
 to make DESTDIR functionality work again, but given the current state of
 affairs, I can't find a quick and clean solution.
 
 MERGE TO STABLE
] 
[Clean stage<n>/ghc-inplace.c
Ian Lynagh <igloo@earth.li>**20070917094300] 
[MERGED: Resurrect the "lib" subdirectory in the installation tree, it was somehow lost
Ian Lynagh <igloo@earth.li>**20070917094212
 Sun Sep 16 09:41:22 BST 2007  sven.panne@aedion.de
   * Resurrect the "lib" subdirectory in the installation tree, it was somehow lost
   Having all package directory directly in the toplevel installation directory
   would be a bad thing because of potential name clashes, and it wasn't done this
   way earlier, so reinstantiate the old layout.
   
   MERGE TO STABLE
] 
[Unbreak "clean" and "distclean" targets when there is no testsuite
sven.panne@aedion.de**20070915085845] 
[distclean: extra-gcc-opts, testsuite
Simon Marlow <simonmar@microsoft.com>**20070914125444] 
[Another attempt at getting bindists working everywhere
Ian Lynagh <igloo@earth.li>**20070916005328] 
[MERGED: Better modelling of newtypes in the Term datatype
Ian Lynagh <igloo@earth.li>**20070914203411
 Pepe Iborra <mnislaih@gmail.com>**20070912165855
 
  This helps to get pretty printing right,
  nested newtypes were not being shown correctly by :print
] 
[Use sed to make stage-specific ghc-inplace.c's
Ian Lynagh <igloo@earth.li>**20070914164821
 When trying to do it with -D we were having trouble getting the double
 quotes through in all Windows configurations.
] 
[Remove --export-all-symbols for DLL linking, it is default and prevents us from using .def files
Clemens Fruhwirth <clemens@endorphin.org>**20070831104624] 
[Fix copy+paste-o, spotted by Simon Marlow
Ian Lynagh <igloo@earth.li>**20070914142650] 
[Add a --names-only flag for list --simple-output
Ian Lynagh <igloo@earth.li>**20070907181944
 We use this in the testsuite to find out which libraries we should run
 the tests from.
] 
[fix install-docs for non-html docs
Simon Marlow <simonmar@microsoft.com>**20070914093738] 
[Remove call to validateGraph that snuck in in last patch
Ben.Lippmeier@anu.edu.au**20070914092504
 Also some comment / var name wibbles
] 
[Correct the branch versino number (6.8.0 rather than 6.8)
Ian Lynagh <igloo@earth.li>**20070913181649] 
[More library installation path fiddling
Ian Lynagh <igloo@earth.li>**20070913174242] 
[libsubdir for libraries is now always $$pkgid
Ian Lynagh <igloo@earth.li>**20070913173926] 
[Define RelocatableBuild variable
Ian Lynagh <igloo@earth.li>**20070913155331
 default YES on Windows, NO otherwise.
] 
[We need to thread lots more paths through installPackage to make bindists work
Ian Lynagh <igloo@earth.li>**20070913154830] 
[Update .darcs-boring
Ian Lynagh <igloo@earth.li>**20070913015704] 
[Add some more bits to the boring file
Ian Lynagh <igloo@earth.li>**20070907212208] 
[STABLE ONLY: Fix build
Ian Lynagh <igloo@earth.li>**20070913004230] 
[MERGED: GHCi debugger: new flag -fbreak-on-error
Ian Lynagh <igloo@earth.li>**20070912141427
 Pepe Iborra <mnislaih@gmail.com>**20070911101443
 
      This flag works like -fbreak-on-exception, but only stops
      on uncaught exceptions.
] 
[STABLE only: Use -fno-warn-orphans in compiler/ if the compiler supports it
Ian Lynagh <igloo@earth.li>**20070912140917
 This was done as part of a larger patch in the HEAD.
] 
[Give push-all the ability to pull with a --pull flag
Ian Lynagh <igloo@earth.li>**20070912140743
 OK, so the name is a bit wrong now...
] 
[Handle doc-index*.html, not just doc-index.html
Ian Lynagh <igloo@earth.li>**20070912135407
 haddock sometimes makes doc-index-A.html etc files. Not sure why it
 doesn't for me.
 Patch from Judah Jacobson.
] 
[Fix repeated section name in documentation.
judah.jacobson@gmail.com**20070907211616] 
[Fix installation code
Ian Lynagh <igloo@earth.li>**20070912113954] 
[updating hpc toolkit
andy@galois.com**20070908051600
 
 The hpc overlay has been ported from hpc-0.4
 The new API for readMix is now used.
 
] 
[Fixing hpc to allow use of hash function to seperate source files on source path
andy@galois.com**20070907223357] 
[Fixing Hpc's Finite Map compat lib for ghc 6.2.1
andy@galois.com**20070908055320] 
[Further tweaking of haddock doc installation
Ian Lynagh <igloo@earth.li>**20070911224734
 On Windows we now always use a path beginning $topdir/ so bindists are
 relocatable.
 
 We also now tell "Setup configure" where we are putting the
 documentation, and tell installPackage to override as little as
 possible.
] 
[make in-place has bitrotted, so don't advertise or support it
Ian Lynagh <igloo@earth.li>**20070911202202] 
[Synched documentation links with current directory layout
sven.panne@aedion.de**20070911071801
 Somehow the "html" subdirs are gone, this change was not completely
 intentional, but it is nice, anyway. Those subdirs never served any
 real purpose...
 
 MERGE TO STABLE
] 
[Refactoring & documenting the Term pprinter used by :print
Pepe Iborra <mnislaih@gmail.com>**20070911180411] 
[Custom printer for the Term datatype that won't output TypeRep values
Pepe Iborra <mnislaih@gmail.com>*-20070911151454
 
 The term pretty printer used by :print shouldn't output 
 the contents of TypeRep values, e.g. inside Dynamic values
] 
[Try and rewrite reloads to reg-reg moves in the spill cleaner
Ben.Lippmeier@anu.edu.au**20070911173833] 
[Don't try and coalesce nodes with themselves
Ben.Lippmeier@anu.edu.au**20070911151211] 
[Try and allocate vregs spilled/reloaded from some slot to the same hreg
Ben.Lippmeier@anu.edu.au**20070911145054] 
[Better handling of live range joins via spill slots in spill cleaner
Ben.Lippmeier@anu.edu.au**20070911130247] 
[Make sure to coalesce all the nodes found during iterative scanning
Ben.Lippmeier@anu.edu.au**20070910162909] 
[Add iterative coalescing to graph coloring allocator
Ben.Lippmeier@anu.edu.au**20070907172315
 
 Iterative coalescing interleaves conservative coalesing with the regular
 simplify/scan passes. This increases the chance that nodes will be coalesced
 as they will have a lower degree than at the beginning of simplify. The end
 result is that more register to register moves will be eliminated in the
 output code, though the iterative nature of the algorithm makes it slower
 compared to non-iterative coloring.
 
 Use -fregs-iterative  for graph coloring allocation with iterative coalescing
     -fregs-graph      for non-iterative coalescing.
 
 The plan is for iterative coalescing to be enabled with -O2 and have a 
 quicker, non-iterative algorithm otherwise. The time/benefit tradeoff
 between iterative and not is still being tuned - optimal graph coloring
 is NP-hard, afterall..
] 
[Cure space leak in coloring register allocator
Ben.Lippmeier@anu.edu.au**20070906131522
 
 We now do a deep seq on the graph after it is 'built', but before coloring.
 Without this, the colorer will just force bits of it and the heap will
 fill up with half evaluated pieces of graph from previous build/spill
 stages and zillions of apply thunks.
 
] 
[Small improvement to GraphColor.selectColor
Ben.Lippmeier@anu.edu.au**20070906103347
 
 When selecting a color for a node, try and avoid using colors that
 conflicting nodes prefer. Not sure if this'll make much difference,
 but it was easy enough to add..
 
] 
[Custom printer for the Term datatype that won't output TypeRep values
Pepe Iborra <mnislaih@gmail.com>**20070911151454
 
 The term pretty printer used by :print shouldn't output 
 the contents of TypeRep values, e.g. inside Dynamic values
] 
[Documentation for -fbreak-on-error
Pepe Iborra <mnislaih@gmail.com>**20070911101944] 
[Remove obsolete -fdebugging flag
Pepe Iborra <mnislaih@gmail.com>**20070907135857
 
 A left over from the 1st GHCi debugger prototype
] 
[Tiny optimisation/simplification to FunDeps.grow
simonpj@microsoft.com**20070907101133] 
[Warning police
simonpj@microsoft.com**20070907101103] 
[Add clarifying comments
simonpj@microsoft.com**20070907101046] 
[Fix zonking in mkExports
simonpj@microsoft.com**20070906090346
 
 I'd missed zonk, so that an error message for missing type signature
 read (unhelpfully)
 
   main/GHC.hs:1070:0:
      Warning: Definition but no type signature for `upsweep''
               Inferred type: upsweep' :: forall t1. t
 
 The trouble was that 't' hadn't been zonked.
 
 Push to the stable branch
 
] 
[Cleaned up version of Tom's unflattened skolemOccurs
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070910083457] 
[Made TcTyFuns warning clean
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070907121113] 
[fix for Simple9
Tom Schrijvers <tom.schrijvers@cs.kuleuven.be>**20070906171703
 
 No longer include non-indexed arguments
 in lookup of matching type function clause.
 By including non-indexed (additional) arguments,
 the lookup always fails.
] 
[Improved error messages for higher-rank equality contexts
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070907101901] 
[FIX: Type families test Simple14
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070907092217] 
[FIX #903: mkWWcpr: not a product
Simon Marlow <simonmar@microsoft.com>**20070910103830
 This fixes the long-standing bug that prevents some code with
 mutally-recursive modules from being compiled with --make and -O,
 including GHC itself.  See the comments for details.
 
 There are some additional cleanups that were forced/enabled by this
 patch: I removed importedSrcLoc/importedSrcSpan: it wasn't adding any
 useful information, since a Name already contains its defining Module.
 In fact when re-typechecking an interface file we were wrongly
 replacing the interesting SrcSpans in the Names with boring
 importedSrcSpans, which meant that location information could degrade
 after reloading modules.  Also, recreating all these Names was a waste
 of space/time.
] 
[The RTS is Haddock-less, tell make about it
sven.panne@aedion.de**20070910065759
 MERGE TO STABLE
] 
[Include package documentation, n-th attempt...
sven.panne@aedion.de**20070909154053
 MERGE TO STABLE
] 
[Yet another attempt to get the paths for the installed documentation correct
sven.panne@aedion.de**20070909124922
 MERGE TO STABLE
] 
[Add a "show" target here, too, quite useful for debugging the build process
sven.panne@aedion.de**20070909123813
 MERGE TO STABLE
] 
[Never try to build Haddock docs in ghc/compiler, even with HADDOCK_DOCS=YES
sven.panne@aedion.de**20070909123401
 MERGE TO STABLE
] 
[Removed install-dirs target, it is unnecessary and leads to stray empty directories
sven.panne@aedion.de**20070909121157
 MERGE TO STABLE
] 
[Removed install-dirs from phony targets, it is unused
sven.panne@aedion.de**20070909102815
 MERGE TO STABLE
] 
[Nicer GHCi debugger underlining
Pepe Iborra <mnislaih@gmail.com>**20070910145319
 
 Improved the underlining of blocks.
 With this patch it does:
 
 Stopped at break020.hs:(6,20)-(7,29)
 _result :: t1 () = _
 5  
                      vv
 6  in_another_decl _ = do line1 0
 7                         line2 0
                                  ^^
 8  
 
 Instead of
 
 Stopped at break020.hs:(6,20)-(7,29)
 _result :: t1 () = _
 5  
 6  in_another_decl _ = do line1 0
                        ^^
 7                         line2 0
                                  ^^
 8  
 
 
] 
[FIX #1669 (GHCi debugger underlining is in the wrong place)
Pepe Iborra <mnislaih@gmail.com>**20070910142129
 
 We weren't taking into account the offset added by the line numbers:
 
 Stopped at break020.hs:10:2-8
 _result :: IO () = _
 9  main = do
 10    line1 0
      ^^^^^^^
 11    line2 0
 
 
 This patch adjusts that 
 
] 
[Add a BeConservative setting to the make system
Ian Lynagh <igloo@earth.li>**20070910133528
 If it is set, we don't try to use clock_gettime
] 
[Add a crucial missing ;
Ian Lynagh <igloo@earth.li>**20070908231024] 
[Use := for PACKAGE_TARNAME, no reason for not doing so
sven.panne@aedion.de**20070908124645
 MERGE TO STABLE
] 
[Removed unused oldincludedir, things are already complicated enough
sven.panne@aedion.de**20070908124448
 MERGE TO STABLE
] 
[Added comment about GNU coding standards/autoconf history
sven.panne@aedion.de**20070908123317
 MERGE TO STABLE
] 
[We seem to use Outputable unconditionally these days
sven.panne@aedion.de**20070908142712
 MERGE TO STABLE
] 
[Make various assertions work when !DEBUG
Ian Lynagh <igloo@earth.li>**20070908003112] 
[Fix assertions in RtClosureInspect
Ian Lynagh <igloo@earth.li>**20070907233330] 
[In ASSERT and friends, use all the expressions we are passed even if !DEBUG
Ian Lynagh <igloo@earth.li>**20070907233324
 Otherwise we may get unused variable warnings. GHC should optimise them
 all out for us.
] 
[Don't put directories for unbuildable libraries in bindists
Ian Lynagh <igloo@earth.li>**20070907210037
 We think there is a library there, and then installPackage fails to
 install it.
] 
[Rejig boot
Ian Lynagh <igloo@earth.li>**20070907122847
 find on Windows doesn't understand -L, so stop trying to be clever and
 just autoreconf everything.
 
 Also, print out the names of directories as we autoreconf them, so that
 if autoreconfing one breaks then we know which one it was.
] 
[Fix publishing
Ian Lynagh <igloo@earth.li>**20070907121414
 Paths like c:/foo/bar get misinterpreted by rsync (really SSH?), as it
 thinks we want /foo/bar on the machine c.
] 
[Set do_bold based on $TERM, not platform
Ian Lynagh <igloo@earth.li>**20070906175535] 
[Make installPackage install settings from the [package].buildinfo file.
judah.jacobson@gmail.com**20070906010044
 
 M ./libraries/installPackage.hs -1 +14
] 
[Wibble some variable definitions to fix installation of bindists
Ian Lynagh <igloo@earth.li>**20070906140430] 
[Remove hardtop_plat/FPTOOLS_TOP_ABS_PLATFORM
Ian Lynagh <igloo@earth.li>**20070906122036
 They are now the same as hardtop/FPTOOLS_TOP_ABS, so use those instead.
 
 Also removed some substitutions of / for \, as we now use a Haskell
 program to find the top path, and it only makes paths with /s in.
] 
[warning police
Pepe Iborra <mnislaih@gmail.com>**20070906102417] 
[Cleanup of equality rewriting and no swapInsts for wanteds
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070906115818
 - Removed code duplication
 - Added comments
 - Took out swapInsts for wanteds.  With the recent extension to swapInsts
   it does mess up error messages if applied to wanteds and i should not be
   necessary.
 NB: The code actually shrunk.  Line increase is due to comments.
] 
[Remove EqInsts from addSCs to avoid -DDEBUG warnings
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070906095102] 
[EqInst related clean up
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070906095018
 - Remove some unused and some superflous functions
 - Add comments regarding ancestor equalities
 - Tidied ancestor equality computation
 - Replace some incorrect instToId by instToVar (but there are still some
   bad ones around as we still get warnings with -DDEBUG)
 - Some cleaned up layout
 NB: Code growth is just due to more comments.
] 
[Remove dead code in TcSimplify
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070906031719] 
[Fix -DDEBUG warning
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070906023914] 
[also swap for variables in completion algorithm
Tom Schrijvers <tom.schrijvers@cs.kuleuven.be>**20070905134426] 
[Set GhcBootLibs=YES in mk/validate-settings.mk
Ian Lynagh <igloo@earth.li>**20070906113629] 
[Quote all the arguments to installPackage
Ian Lynagh <igloo@earth.li>**20070905232959
 Makes it obvious what's going on if any are empty.
] 
[FIX #1465, error messages could sometimes say things like "A.T doesn't match A.T"
Simon Marlow <simonmar@microsoft.com>**20070906093744
 This turned out to be a black hole, however we believe we now have a
 plan that does the right thing and shouldn't need to change again.
 Error messages will only ever refer to a name in an unambiguous way,
 falling back to <package>:<module>.<name> if no unambiguous shorter
 variant can be found.  See HscTypes.mkPrintUnqualified for the
 details.
 
 Earlier hacks to work around this problem have been removed (TcSimplify).
] 
[fix error in .hi-boot-6
Simon Marlow <simonmar@microsoft.com>**20070905112503] 
[Improve GraphColor.colorScan
Ben.Lippmeier@anu.edu.au**20070905164401
 
 Testing whether a node in the conflict graph is trivially 
 colorable (triv) is still a somewhat expensive operation.
 
 When we find a triv node during scanning, even though we remove
 it and its edges from the graph, this is unlikely to to make the
 nodes we've just scanned become triv - so there's not much point
 re-scanning them right away.
 
 Scanning now takes place in passes. We scan the whole graph for
 triv nodes and remove all the ones found in a batch before rescanning
 old nodes.
 
 Register allocation for SHA1.lhs now takes (just) 40% of total
 compile time with -O2 -fregs-graph on x86
 
] 
[Fix OS X warnings
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070906004831] 
[Declare ctime_r on Mac OS
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070906001613
 
 On Mac OS, ctime_r is not declared in time.h if _POSIX_C_SOURCE is defined. We
 work around this by providing a declaration ourselves.
 
] 
[FIX #1651: use family instances during interactive typechecking
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070905130244] 
[Updates to work with latest cabal.
Duncan Coutts <duncan@haskell.org>**20070906131726] 
[Add an OPTIONS -w pragma to utils/genprimopcode/Lexer.xx
Ian Lynagh <igloo@earth.li>**20070905184808
 SPJ reports that it has warnings (=> errors with -Werror) on Windows.
] 
[Build settings for validation are now in mk/validate-settings.mk
Ian Lynagh <igloo@earth.li>**20070905184614] 
[Don't give warnings in compat
Ian Lynagh <igloo@earth.li>**20070905182923
 There are lots of warnings in here due to things like modules being
 imported that, in some versions of GHC, aren't used. Thus we don't
 give any warnings in here, and therefore validating with -Werror won't
 make the build fail.
 
 An alternative would be to do
 SRC_HC_OPTS := $(filter-out -Werror,$(SRC_HC_OPTS))
 but if warnings are expected then there is little point in spewing them
 out anyway.
 
 On the other hand, there aren't any warnings for me (GHC 6.6 on Linux/amd64),
 so perhaps it would be worth fixing them instead.
] 
[Refactor, improve, and document the deriving mechanism
simonpj@microsoft.com**20070905170730
 
 This patch does a fairly major clean-up of the code that implements 'deriving.
 
 * The big changes are in TcDeriv, which is dramatically cleaned up.
   In particular, there is a clear split into
        a) inference of instance contexts for deriving clauses
        b) generation of the derived code, given a context 
   Step (a) is skipped for standalone instance decls, which 
   have an explicitly provided context.
 
 * The handling of "taggery", which is cooperative between TcDeriv and
   TcGenDeriv, is cleaned up a lot
 
 * I have added documentation for standalone deriving (which was 
   previously wrong).
 
 * The Haskell report is vague on exactly when a deriving clause should
   succeed.  Prodded by Conal I have loosened the rules slightly, thereyb
   making drv015 work again, and documented the rules in the user manual.
 
 I believe this patch validates ok (once I've update the test suite)
 and can go into the 6.8 branch.
 
] 
[Further documentation about mdo, suggested by Benjamin Franksen
simonpj@microsoft.com**20070829083349] 
[Refactor MachRegs.trivColorable to do unboxed accumulation
Ben.Lippmeier@anu.edu.au**20070905125219
 
 trivColorable was soaking up total 31% time, 41% alloc when
 compiling SHA1.lhs with -O2 -fregs-graph on x86.
 
 Refactoring to use unboxed accumulators and walk directly
 over the UniqFM holding the set of conflicts reduces this 
 to 17% time, 6% alloc.
] 
[change of representation for GenCmm, GenCmmTop, CmmProc
Norman Ramsey <nr@eecs.harvard.edu>**20070905164802
 The type parameter to a C-- procedure now represents a control-flow
 graph, not a single instruction.  The newtype ListGraph preserves the 
 current representation while enabling other representations and a
 sensible way of prettyprinting.  Except for a few changes in the
 prettyprinter the new compiler binary should be bit-for-bit identical
 to the old.
] 
[enable and slay warnings in cmm/Cmm.hs
Norman Ramsey <nr@eecs.harvard.edu>**20070905164646] 
[fix warnings
Simon Marlow <simonmar@microsoft.com>**20070905114205] 
[FIX #1650: ".boot modules interact badly with the ghci debugger"
Simon Marlow <simonmar@microsoft.com>**20070905104716
 
 In fact hs-boot files had nothing to do with it: the problem was that
 GHCi would forget the breakpoint information for a module that had
 been reloaded but not recompiled.  It's amazing that we never noticed
 this before.
 
 The ModBreaks were in the ModDetails, which was the wrong place.  When
 we avoid recompiling a module, ModDetails is regenerated from ModIface
 by typecheckIface, and at that point it has no idea what the ModBreaks
 should be, so typecheckIface made it empty.  The right place for the
 ModBreaks to go is with the Linkable, which is retained when
 compilation is avoided.  So now I've placed the ModBreaks in with the
 CompiledByteCode, which also makes it clear that only byte-code
 modules have breakpoints.
 
 This fixes break022/break023
 
] 
[Fix boot: it was avoiding autoreconfing
Simon Marlow <simonmar@microsoft.com>**20070905101419
 Two problems here: find needs to dereference symbolic links (-L
 option, I really hope that's portable), and we need to notice when
 aclocal.m4 is updated.  
 
 Somehow I think this was easier when it just always ran
 autoreconf... what was wrong with that?
] 
[don't generate .hi-boot/.o-boot files in GHCi
Simon Marlow <simonmar@microsoft.com>**20070904141231] 
[refactoring only
Simon Marlow <simonmar@microsoft.com>**20070904141209] 
[completion for modules in 'import M'
Simon Marlow <simonmar@microsoft.com>**20070904104458] 
[make the GhcThreaded setting lazy, because GhcUnregisterised might not be set yet
Simon Marlow <simonmar@microsoft.com>**20070904101729] 
[Typo
Ian Lynagh <igloo@earth.li>**20070905161402] 
[Fix bindist creation on Windows
Ian Lynagh <igloo@earth.li>**20070905161354] 
[Fix up bindist creation and publishing
Ian Lynagh <igloo@earth.li>**20070905160641] 
[{Enter,Leave}CriticalSection imports should be outside #ifdef __PIC__
Simon Marlow <simonmar@microsoft.com>**20070905084941] 
[warning police
Ben.Lippmeier@anu.edu.au**20070905094509] 
[Do conservative coalescing in register allocator
Ben.Lippmeier@anu.edu.au**20070903163404
 
 Avoid coalescing nodes in the register conflict graph if the
 new node will not be trivially colorable. Also remove the
 front end aggressive coalescing pass.
   
 For typical Haskell code the graph coloring allocator now does
 about as well as the linear allocator.
   
 For code with a large amount of register pressure it does much
 better, but takes longer.
   
 For SHA1.lhs from darcs on x86
    
           spills    reloads    reg-reg-moves
           inserted   inserted  left in code   compile-time
   linear    1068      1311        229            7.69(s)
   graph      387       902        340           16.12(s)
 
] 
[Use dlsym on OS X if available
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070905052213
 
 On OS X 10.4 and newer, we have to use dlsym because the old NS* interface has
 been deprecated. The patch checks for HAVE_DLFCN_H instead of switching on
 the OS version.
 
 There is one additional quirk: although OS X prefixes global symbols with an
 underscore, dlsym expects its argument NOT to have a leading underscore. As a
 hack, we simply strip it off in lookupSymbol. Something a bit more elaborate
 might be cleaner.
] 
[bug fix in Decomp step of completion algorithm for given equations
Tom Schrijvers <tom.schrijvers@cs.kuleuven.be>**20070904123945] 
[fix of wanted equational class context
Tom Schrijvers <tom.schrijvers@cs.kuleuven.be>**20070904080014
 
 Previously failed to account for equational
 class context for wanted dictionary contraints, e.g. wanted C a
 in 
 
        class a ~ Int => C a
        instance C Int
 
 should give rise to wanted a ~ Int and consequently discharge a ~ Int by
 unifying a with Int and then discharge C Int with the instance.
 
 All ancestor equalities are taken into account.
 
 
] 
[FIX: Correct Leave/EnterCriticalSection imports
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070905010217] 
[Don't hardwire the build path into the Haddock docs
sven.panne@aedion.de**20070904172855
 Formerly, the ghc-pkg was called to get the HTML dirs for other packages, but
 of course doing this at *build* time is totally wrong. Now we use a relative
 path, just like before. This is probably not perfect, but much better than
 before.
 
 As a sidenote: Cabal calls the relevant flag "html-location", ghc-pkg calls the
 field "haddock-html", and Haddock itself uses it as part of "read-interface".
 Too much creativity is sometimes a bad thing...
] 
[put the @N suffix on stdcall foreign calls in .cmm code
Simon Marlow <simonmar@microsoft.com>**20070904142853
 This applies to EnterCriticalSection and LeaveCriticalSection in the RTS
] 
[Set datarootdir to the value configure gives us (if any) so datadir works
Ian Lynagh <igloo@earth.li>**20070905013239
 We then set datarootdir to something else later on so that things still
 work when configure doesn't set it.
] 
[Add a -Warn flag
Ian Lynagh <igloo@earth.li>**20070904141028] 
[Always turn on -Wall -Werror when compiling the compiler, even for stage 1
Ian Lynagh <igloo@earth.li>**20070904140324] 
[Fix CodingStyle#Warnings URLs
Ian Lynagh <igloo@earth.li>**20070904140115] 
[OPTIONS_GHC overrides the command-line, not the other way around
Simon Marlow <simonmar@microsoft.com>**20070904100623] 
[fix cut-and-pasto
Simon Marlow <simonmar@microsoft.com>**20070904100526] 
[FIX #1651: unBox types when deferring unification
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070904072542
 - This fixes the first part of #1651; ie, the panic in ghci.
] 
[Better error message for unsolvable equalities
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070903074528] 
[Use := rather than = when assigning make variables to avoid cycles
Ian Lynagh <igloo@earth.li>**20070903235117] 
[Don't use autoconf's datarootdir as <2.60 doesn't have it
Ian Lynagh <igloo@earth.li>**20070903234504] 
[Use OPTIONS rather than OPTIONS_GHC for pragmas
Ian Lynagh <igloo@earth.li>**20070903233903
 Older GHCs can't parse OPTIONS_GHC.
 This also changes the URL referenced for the -w options from
 WorkingConventions#Warnings to CodingStyle#Warnings for the compiler
 modules.
] 
[fix build (sorry, forgot to push with previous patch)
Simon Marlow <simonmar@microsoft.com>**20070903200615] 
[remove debugging code
Simon Marlow <simonmar@microsoft.com>**20070903200003] 
[Fix building RTS with gcc 2.*; declare all variables at the top of a block
Ian Lynagh <igloo@earth.li>**20070903165847
 Patch from Audrey Tang.
] 
[Change the version number to 6.8 on the branch
Ian Lynagh <igloo@earth.li>**20070903172054] 
[TAG ghc-6.8 branched 2007-09-03
Ian Lynagh <igloo@earth.li>**20070903155416] 
[NCG space leak avoidance refactor
Ben.Lippmeier@anu.edu.au**20070903132254] 
[Do aggressive register coalescing
Ben.Lippmeier@anu.edu.au**20070903115149
 Conservative and iterative coalescing come next.
] 
[Add coalescence edges back to the register graph
Ben.Lippmeier@anu.edu.au**20070828144424] 
[FIX #1623: disable the timer signal when the system is idle (threaded RTS only)
Simon Marlow <simonmar@microsoft.com>**20070903132523
 Having a timer signal go off regularly is bad for power consumption,
 and generally bad practice anyway (it means the app cannot be
 completely swapped out, for example).  Fortunately the threaded RTS
 already had a way to detect when the system was idle, so that it can
 trigger a GC and thereby find deadlocks.  After performing the GC, we
 now turn off timer signals, and re-enable them again just before
 running any Haskell code.
] 
[FIX #1648: rts_mkWord64 was missing
Simon Marlow <simonmar@microsoft.com>**20070903131625
 Also noticed a few others from RtsAPI were missing, so I added them all
] 
[FIX for #1080
Ross Paterson <ross@soi.city.ac.uk>**20070903141044
 
 Arrow desugaring now uses a private version of collectPatBinders and
 friends, in order to include dictionary bindings from ConPatOut.
 
 It doesn't fix arrowrun004 (#1333), though.
] 
[Fix space leak in NCG
Ben.Lippmeier@anu.edu.au**20070831090431] 
[GhcThreaded was bogusly off by default due to things being in the wrong order
Simon Marlow <simonmar@microsoft.com>**20070903103829] 
[bump MAX_THUNK_SELECTOR_DEPTH from 8 to 16
Simon Marlow <simonmar@microsoft.com>**20070903101912
 this "fixes" #1038, in that the example runs in constant space, but
 it's really only working around the problem.  I have a better patch,
 attached to ticket #1038, but I'm wary about tinkering with this
 notorious bug farm so close to the release, so I'll push it after
 6.8.1.
] 
[comments only
Simon Marlow <simonmar@microsoft.com>**20070831092224
 I had planned to do findEnclosingDecl a different way, so add a ToDo
 as a reminder.
] 
[Suppress some warnings on Windows
Ian Lynagh <igloo@earth.li>**20070902222048] 
[Fix warnings in ghc-pkg on Windows
Ian Lynagh <igloo@earth.li>**20070902221442] 
[Fix and supress some warnings, and turn on -Werror when validating
Ian Lynagh <igloo@earth.li>**20070902193918] 
[Explicitly set "docdir" when calling make, configure's --docdir seems to be ignored
sven.panne@aedion.de**20070902164342] 
[Use DESTDIR for installation
sven.panne@aedion.de**20070901175124] 
[Fixed TeX syntax
sven.panne@aedion.de**20070901124615] 
[Set -Wall -fno-warn-name-shadowing in compiler/ when stage /= 2
Ian Lynagh <igloo@earth.li>**20070901113018] 
[Add {-# OPTIONS_GHC -w #-} and some blurb to all compiler modules
Ian Lynagh <igloo@earth.li>**20070901112130] 
[Add a --print-docdir flag
Ian Lynagh <igloo@earth.li>**20070831231538] 
[Follow Cabal module movements in installPackage
Ian Lynagh <igloo@earth.li>**20070831181359] 
[Follow Cabal's move Distribution.Program -> Distribution.Simple.Program
Ian Lynagh <igloo@earth.li>**20070831175217] 
[Don't use the --docdir etc that autoconf provides
Ian Lynagh <igloo@earth.li>**20070831173903
 Older autoconfs (<2.60?) don't understand them.
] 
[Don't try to copy haddock index files if we haven't built the docs.
judah.jacobson@gmail.com**20070831050321
 
 M ./libraries/Makefile +2
] 
[Use cp -R instead of cp -a (it's more portable).
judah.jacobson@gmail.com**20070831050215
 
 M ./libraries/Makefile -3 +3
] 
[Fix installing the libraries when there is no DESTDIR
Ian Lynagh <igloo@earth.li>**20070831015442] 
[Make the doc index page obey DESTDIR
Ian Lynagh <igloo@earth.li>**20070831014537] 
[Make rts docs obey DESTDIR
Ian Lynagh <igloo@earth.li>**20070831014346] 
[Make the manpage obey DESTDIR
Ian Lynagh <igloo@earth.li>**20070831014253] 
[Obey DESTDIR when installing library docs
Ian Lynagh <igloo@earth.li>**20070831012351] 
[typo in DLL code
Simon Marlow <simonmar@microsoft.com>**20070830143105] 
[Windows: give a better error message when running out of memory
Simon Marlow <simonmar@microsoft.com>**20070830135146
 I think this fixes #1209
 
 Previously:
 
 outofmem.exe: getMBlocks: VirtualAlloc MEM_RESERVE 1025 blocks failed: Not enoug
 h storage is available to process this command.
 
 Now:
 
 outofmem.exe: out of memory
] 
[Remove NDP-related stuff from PrelNames
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070831045411
 
 We don't need fixed Names for NDP built-ins. Instead, we can look them up
 ourselves during VM initialisation.
] 
[Vectorisation of enumeration types
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070831041822] 
[Number data constructors from 0 when vectorising
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070831032528] 
[Rename functions
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070831032125] 
[Refactoring
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070831015312] 
[Refactoring
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070831012638] 
[Fix vectorisation of nullary data constructors
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070831005912] 
[Do not unnecessarily wrap array components
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070830062958] 
[Remove dead code
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070830055444] 
[Fix vectorisation of unary data constructors
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070830040252] 
[Fix vectorisation of sum type constructors
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070830035225] 
[Track changes to package ndp (use PArray_Int# instead of UArr Int)
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070830032104] 
[Find the correct array type for primitive tycons
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070830025224] 
[Add code for looking up PA methods of primitive TyCons
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070830014257] 
[Delete dead code
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070829145630] 
[Rewrite vectorisation of product DataCon workers
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070829145446] 
[Rewrite generation of PA dictionaries
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070829064258] 
[Complete PA dictionary generation for product types
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070824230152] 
[Simplify generation of PR dictionaries for products
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070824071925] 
[Remove unused vectorisation built-in
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070824051524] 
[Adapt PArray instance generation to new scheme
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070824051242] 
[Add UArr built-in
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070824051213] 
[Modify generation of PR dictionaries for new scheme
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070824043144] 
[Refactoring
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070824040901] 
[Remove dead code
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070824035751] 
[Fix buildFromPRepr
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070824035700] 
[Move code
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070824032930] 
[Move code
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070824032743] 
[Delete dead code
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070824031504] 
[Change buildToPRepr to work with the new representation scheme
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070824031407] 
[Remove Embed and related stuff from vectorisation
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070824023030] 
[Encode generic representation of vectorised TyCons by a data type
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070824012140] 
[Remove dead code
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070823135810] 
[Conversions to/from generic array representation (not finished yet)
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070823135649] 
[Use n-ary sums and products for NDP's generic representation
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20070823060945
 
 Originally, we wanted to only use binary ones, at least initially. But this
 would a lot of fiddling with selectors when converting to/from generic
 array representations. This is both inefficient and hard to implement.
 Instead, we will limit the arity of our sums/product representation to, say,
 16 (it's 3 at the moment) and initially refuse to vectorise programs for which
 this is not sufficient. This allows us to implement everything in the library.
 Later, we can implement the necessary splitting.
] 
[Fix where all the documentation gets installed
Ian Lynagh <igloo@earth.li>**20070830223740
 The paths can also now be overridden with the standard configure flags
 --docdir=, --htmldir= etc. We were always advertising these, but now we
 actually obey them.
] 
[Added decidability check for type instances
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070830144901] 
[Warning police
Pepe Iborra <mnislaih@gmail.com>**20070829183155] 
[Use a Data.Sequence instead of a list in cvReconstructType
Pepe Iborra <mnislaih@gmail.com>**20070829175119
 
 While I was there I removed some trailing white space
] 
[Fix a bug in RtClosureInspect.cvReconstructType.
Pepe Iborra <mnislaih@gmail.com>**20070829174842
 Test is print025
] 
[Warning police
Pepe Iborra <mnislaih@gmail.com>**20070829165653] 
[UNDO: Extend ModBreaks with the srcspan's of the enclosing expressions
Pepe Iborra <mnislaih@gmail.com>**20070829102314
 
 Remnants of :stepover
 
] 
[remove "special Ids" section, replace with a link to GHC.Prim
Simon Marlow <simonmar@microsoft.com>**20070830112139
 This documentation was just duplicating what is in GHC.Prim now.
] 
[expand docs for unsafeCoerce#, as a result of investigations for #1616
Simon Marlow <simonmar@microsoft.com>**20070830111909] 
[Remove text about ghcprof.  It almost certainly doesn't work.
Simon Marlow <simonmar@microsoft.com>**20070829122126] 
[fix compiling GHC 6.7+ with itself - compat needs -package containers now
Simon Marlow <simonmar@microsoft.com>**20070829113500] 
[fix typo
Simon Marlow <simonmar@microsoft.com>**20070824141039] 
[no -auto-all for CorePrep
Simon Marlow <simonmar@microsoft.com>**20070829092414] 
[improvements to findPtr(), a useful hack for space-leak debugging in gdb
Simon Marlow <simonmar@microsoft.com>**20070829092400] 
[fix up some old text, remove things that aren't true any more
Simon Marlow <simonmar@microsoft.com>**20070828125821] 
[Windows: remove the {Enter,Leave}CricialSection wrappers
Simon Marlow <simonmar@microsoft.com>**20070829104811
 The C-- parser was missing the "stdcall" calling convention for
 foreign calls, but once added we can call {Enter,Leave}CricialSection
 directly.
] 
[Wibble
Pepe Iborra <mnislaih@gmail.com>**20070829085305] 
[FIX: Remove accidential change to darcs-all in type families patch
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20070829010011
 - The type families patch includes a change to darcs-all that breaks it for
   ssh repos at least for Perl 5.8.8 (on MacOS).
 - My Perl-fu is not sufficient to try to fix the modification, which was
   supposed to improve darcs-all on windows, so I just revert to the old
   code.
] 
[Remove INSTALL_INCLUDES; no longer used
Ian Lynagh <igloo@earth.li>**20070828205636] 
[Use DESTDIR when installing
Ian Lynagh <igloo@earth.li>**20070828205119] 
[Copy LICENSE files into the bindist, as Cabal now installs them
Ian Lynagh <igloo@earth.li>**20070828130428] 
[TAG 2007-08-28
Ian Lynagh <igloo@earth.li>**20070828215445] 
Patch bundle hash:
a73b4945ababff001470a3978cb71a4de617653a