Ticket #2013: 2013.patch

New patches:

[Attempt to work around #2013: lack of MAP_32BIT on x86_64-*bsd
Simon Marlow <marlowsd@gmail.com>**20080529144012
 Patch derived from the one attached to the ticket by mboes
] {
hunk ./rts/Linker.c 62
-#if defined(ia64_HOST_ARCH) || defined(openbsd_HOST_OS) || defined(linux_HOST_OS) || defined(freebsd_HOST_OS)
+#if defined(ia64_HOST_ARCH) || defined(linux_HOST_OS) || defined(freebsd_HOST_OS) || defined(netbsd_HOST_OS) || defined(openbsd_HOST_OS)
hunk ./rts/Linker.c 67
-#if defined(openbsd_HOST_OS) || defined(linux_HOST_OS) || defined(freebsd_HOST_OS)
+#if defined(linux_HOST_OS) || defined(freebsd_HOST_OS) || defined(netbsd_HOST_OS) || defined(openbsd_HOST_OS)
hunk ./rts/Linker.c 1190
+/* Link objects into the lower 2Gb on x86_64.  GHC assumes the
+ * small memory model on this architecture (see gcc docs,
+ * -mcmodel=small).
+ *
+ * MAP_32BIT not available on OpenBSD/amd64
+ * In the absence of a MAP_32BIT flag to mmap() we map objects one
+ * after the other starting from a fixed location in memory.
+ */
+#if defined(x86_64_HOST_ARCH)
+
+# if defined(MAP_32BIT)
+#  define EXTRA_MAP_FLAGS MAP_32BIT
+#  define INIT_MAP_ADDR NULL
+# else
+#  define EXTRA_MAP_FLAGS MAP_FIXED
+#  define INIT_MAP_ADDR (void *)0x40000000L
+# endif
+
+#else
+
+# define EXTRA_MAP_FLAGS 0
+# define INIT_MAP_ADDR NULL
+
+#endif
+
hunk ./rts/Linker.c 1228
-   void *map_addr = NULL;
+   static void *map_addr = INIT_MAP_ADDR;
hunk ./rts/Linker.c 1290
+#define ROUND_DOWN(x,size) (x & ~(size - 1))
hunk ./rts/Linker.c 1307
-   oc->plt = mmap(NULL, n, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);
+   oc->plt = mmap(map_addr, n, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);
hunk ./rts/Linker.c 1317
-   /* Link objects into the lower 2Gb on x86_64.  GHC assumes the
-    * small memory model on this architecture (see gcc docs,
-    * -mcmodel=small).
-    *
-    * MAP_32BIT not available on OpenBSD/amd64
-    */
-#if defined(x86_64_HOST_ARCH) && defined(MAP_32BIT)
-#define EXTRA_MAP_FLAGS MAP_32BIT
-#else
-#define EXTRA_MAP_FLAGS 0
-#endif
-
hunk ./rts/Linker.c 1326
+   map_addr += n;
hunk ./rts/Linker.c 2614
+#if !defined(freebsd_HOST_OS)
hunk ./rts/Linker.c 2619
+#endif
hunk ./rts/Linker.c 2792
+    int pagesize;
hunk ./rts/Linker.c 2794
-    if ( x86_64_bounce_buffer == NULL || 
+    pagesize = getpagesize();
+
+    if ( x86_64_bounce_buffer == NULL ||
hunk ./rts/Linker.c 2798
-       x86_64_bounce_buffer = 
-           mmap(NULL, X86_64_BB_SIZE * sizeof(x86_64_bounce), 
-                PROT_EXEC|PROT_READ|PROT_WRITE, 
-                MAP_PRIVATE|EXTRA_MAP_FLAGS|MAP_ANONYMOUS, -1, 0);
+#ifdef MAP_32BIT
+           x86_64_bounce_buffer =
+               mmap(NULL, X86_64_BB_SIZE * sizeof(x86_64_bounce),
+                    PROT_EXEC|PROT_READ|PROT_WRITE,
+                    MAP_PRIVATE|EXTRA_MAP_FLAGS|MAP_ANONYMOUS, -1, 0);
+#else
+#define X86_64_BOUNCE_BUFFER_TOP 0x80000000L;
+           x86_64_bounce *map_addr;
+
+           x86_64_bounce_buffer = x86_64_bounce_buffer ?
+                   x86_64_bounce_buffer : (x86_64_bounce *)X86_64_BOUNCE_BUFFER_TOP;
+           map_addr = x86_64_bounce_buffer - X86_64_BB_SIZE;
+           map_addr = ROUND_DOWN((int)map_addr, pagesize);
+           /* In the absence of MAP_32BIT we allocate the bounce
+            * buffers at a fixed address, one after the other,
+            * starting from the top and growing downwards. */
+           x86_64_bounce_buffer =
+               mmap(map_addr, X86_64_BB_SIZE * sizeof(x86_64_bounce),
+                    PROT_EXEC|PROT_READ|PROT_WRITE,
+                    MAP_PRIVATE|EXTRA_MAP_FLAGS|MAP_ANONYMOUS, -1, 0);
+#endif
hunk ./rts/Linker.c 2820
-           barf("x86_64_high_symbol: mmap failed");
+           barf("x86_64_high_symbol: mmap failed at %p", x86_64_bounce_buffer);
}

Context:

[FIX #2164: check for ThreadRelocated in isAlive()
Simon Marlow <marlowsd@gmail.com>**20080528063937] 
[We also need to define _XOPEN_SOURCE in order to get a putenv prototype
Ian Lynagh <igloo@earth.li>**20080527171035] 
[also define _POSIX_C_SOURCE=200112L to fix unix package buid problems
Simon Marlow <marlowsd@gmail.com>**20080527113329
 STABLE only; the HEAD doesn't use header files in via-C mode and
 doesn't suffer from this breakage.
] 
[document :source command for GHCi, point to Haskell wiki
claus.reinke@talk21.com**20080501205252
 
        as discussed in this thread:
        http://www.haskell.org/pipermail/glasgow-haskell-users/2008-April/014614.html
 
] 
[Ensure runhaskell is rebuild in stage2
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080522044900] 
[Fix the build when we don't have editline (e.g. on Windows)
Ian Lynagh <igloo@earth.li>**20080523163325] 
[Do some stack fiddling in stg_unblockAsyncExceptionszh_ret
Ian Lynagh <igloo@earth.li>**20080523032508
 This fixes a segfault in #1657
] 
[MERGED: Improve the treatment of 'seq' (Trac #2273)
Ian Lynagh <igloo@earth.li>**20080521212031
  
  Trac #2273 showed a case in which 'seq' didn't cure the space leak
  it was supposed to.  This patch does two things to help
  
  a) It removes a now-redundant special case in Simplify, which
     switched off the case-binder-swap in the early stages.  This
     isn't necessary any more because FloatOut has improved since
     the Simplify code was written.  And switching off the binder-swap
     is harmful for seq.
  
  However fix (a) is a bit fragile, so I did (b) too:
  
  b) Desugar 'seq' specially.  See Note [Desugaring seq (2)] in DsUtils
     This isn't very robust either, since it's defeated by abstraction, 
     but that's not something GHC can fix; the programmer should use
     a let! instead.
  
 simonpj@microsoft.com**20080516085149
] 
[Document ghc-pkg find-module, substring matching, and multi-field selection
claus.reinke@talk21.com**20080501152700
 
        Documentation and examples taken from 
        - ghc-pkg/Main.hs usageHeader
        - patch: FIX 1463 (implement 'ghc-pkg find-module')
        - patch: FIX #1839, #1463, by supporting ghc-pkg bulk queries 
                        with substring matching
 
 
] 
[bump GHC's maximum stack size to 64Mb (see #2002)
Simon Marlow <marlowsd@gmail.com>**20080519125333] 
[sort the output of :show packages
Simon Marlow <marlowsd@gmail.com>**20080520084221] 
[FIX #1955: confusion between .exe.hp and .hp suffixes for heap profiles
Simon Marlow <simonmar@microsoft.com>**20080519125101
 Now we use <prog>.hp and <prog>.prof consistently.
] 
[Teach push-all how to send as well
Ian Lynagh <igloo@earth.li>**20080517142112] 
[Enable -prof -threaded (#886)
Simon Marlow <simonmar@microsoft.com>**20080228111631
 It turns out that -prof -threaded works (modulo some small changes),
 because all the data structures used in profiling are only accessed by
 one thread at a time, at long as we don't use +RTS -N2 or higher.  So
 this patch enables the use of -prof -threaded, but an error is given
 if you ask for more than one CPU with +RTS -N.
] 
[MERGED: FIX #2014: Template Haskell w/ mutually recursive modules
Ian Lynagh <igloo@earth.li>**20080517151512
 Try to load interfaces in getLinkDeps
 Simon Marlow <marlowsd@gmail.com>**20080515134515
] 
[FIX #2257: timer_settime() hangs during configure
Simon Marlow <marlowsd@gmail.com>**20080516130045
 On a 2.6.24 Linux kernel, it appears that timer_settime() for
 CLOCK_REALTIME is sometimes hanging for a random amount of time when
 given a very small interval (we were using 1ns).  Using 1ms seems to
 be fine.  Also I installed a 1-second timeout to catch hangs in the
 future.
] 
[Fix a division-by-zero when +RTS -V0 is given
Ian Lynagh <igloo@earth.li>**20080426184355
 In delayzh_fast we act as if tickInterval was 50, not 0.
] 
[MERGED: Fix sin/cos/tan on x86; trac #2059
Ian Lynagh <igloo@earth.li>**20080515132538
  If the value is > 2^63 then we need to work out its value mod 2pi,
  and apply the operation to that instead.
 Ian Lynagh <igloo@earth.li>**20080503000841
] 
[MERGED: FIX #2276: foreign import stdcall "&foo" doesn't work
Ian Lynagh <igloo@earth.li>**20080515131449
  This turned out not to be too hard, just a matter of figuring out the
  correct argument list size by peeking inside FunPtr's type argument,
  and in the C backend we have to emit an appropriate prototype for the label.
 Simon Marlow <simonmar@microsoft.com>**20080514082422
 
 Only partaially merged, as per this comment in #2276:
     This can be merged, but omitting the changes to PprC and CLabel
     which aren't necessary on the stable branch.
] 
[Tag the pointer in the FUN_STATIC case of evacuate
Ian Lynagh <igloo@earth.li>**20080515021810
 Fixes trac #1657. 6.8 branch only as Simon Marlow says he will fix it
 differently in the HEAD as part of his GC changes.
] 
[MERGED: change topHandlerFastExit to topHandler, so the terminal state gets restored (#2228)
Ian Lynagh <igloo@earth.li>**20080515000211
 Simon Marlow <simonmar@microsoft.com>**20080429222442
] 
[MERGED: FIX #1641: don't add auto sccs to compiler-generated bindings
Ian Lynagh <igloo@earth.li>**20080514230409
  I also changed con2tag_Foo and related names to follow the standard
  practice of prefixing $ to compiler-generated names, so now we have
  $con2tag_Foo.
 Simon Marlow <marlowsd@gmail.com>**20080513084400
] 
[MERGED: don't turn off stdin/stdout buffering after loading a module with ghc -e (#2228)
Ian Lynagh <igloo@earth.li>**20080514220344
 Simon Marlow <simonmar@microsoft.com>**20080429222409
] 
[MERGED: FIX #1288: GHCi wasn't adding the @n suffix to stdcalls on Windows
Ian Lynagh <igloo@earth.li>**20080514213942
 Simon Marlow <simonmar@microsoft.com>**20080514092742
] 
[Fix an assertion
Ian Lynagh <igloo@earth.li>**20080426110115
 We were checking that a pointer was correctly tagged, but after we had
 untagged it.
] 
[Check tag bits on the fun pointer of a PAP
Simon Marlow <simonmar@microsoft.com>**20071126160420] 
[Use zipLazy from Util in VectType, rather than defining our own lazy_zip
Ian Lynagh <igloo@earth.li>**20080513202154] 
[Rewrite zipLazy to be warning-free for GHC 6.4
Ian Lynagh <igloo@earth.li>**20080513193901] 
[Define _BSD_SOURCE in Stg.h
Ian Lynagh <igloo@earth.li>**20080514183147
 Otherwise _ISOC99_SOURCE makes the prototypes of functions like ftruncate
 disappear.
] 
[Use SLIT rather than sLit on the 6.8 branch
Ian Lynagh <igloo@earth.li>**20080514150831] 
[typo in rules example. spotted by vixey@#haskell
Don Stewart <dons@galois.com>**20080512182435] 
[doc tweak
Simon Marlow <marlowsd@gmail.com>**20080512104030] 
[FIX #2234: don't generate <prog>.prof unless we're going to put something in it
Simon Marlow <marlowsd@gmail.com>**20080512104020] 
[FIX #1861: floating-point constants for infinity and NaN in via-C
Simon Marlow <marlowsd@gmail.com>**20080512103847] 
[Tell the mangler how to mangle for amd64/freebsd; fixes trac #2072
Ian Lynagh <igloo@earth.li>**20080511182011] 
[Make darcs-all act on all repos in libraries/, not just boot/extra libs
Ian Lynagh <igloo@earth.li>**20080502174753] 
[When validating, configure with "--prefix=`pwd`/inst"
Ian Lynagh <igloo@earth.li>**20080502155649
 This means a validate build can be installed locally.
 `pwd`/inst probably won't give a useful value on all platforms (in
 particular there are probably some Windows configurations it doesn't
 work for), but I don't think it will ever make the build fail.
] 
[FIX #1933: use a better test for timer_create()
Simon Marlow <simonmar@microsoft.com>**20080429212945] 
[MERGED: Fix Trac #1969: perfomance bug in the specialiser
Ian Lynagh <igloo@earth.li>**20080430154544
 simonpj@microsoft.com**20080428155711
 
  The specialiser was using a rather brain-dead representation for
  UsageDetails, with much converting from lists to finite maps and
  back.  This patch does some significant refactoring.  It doesn't
  change the representation altogether, but it does eliminate the
  to-and-fro nonsense.
 
  It validates OK, but it's always possible that I have inadvertently
  lost specialisation somewhere, so keep an eye out for any run-time
  performance regressions.
 
  Oh, and Specialise is now warning-free too.
] 
[Improve documentation of RULES pragmas
simonpj@microsoft.com**20080430082431] 
[Fix a non-exhaustive pattern in the 6.8 branch; fixes trac #2069
Ian Lynagh <igloo@earth.li>**20080427210250] 
[Add :list to ghci's :? help; fixes trac #2217
Ian Lynagh <igloo@earth.li>**20080427190049] 
[Fix an error if an SCC name contains a space; fixes trac #2071
Ian Lynagh <igloo@earth.li>**20080427114808] 
[MERGED: Spelling fixes in glasgow_exts.xml
Ian Lynagh <igloo@earth.li>**20080427150027
 Samuel Bronson <naesten@gmail.com>**20080415232626
  Also adds a <para></para> element and replaces an occurance of SGML
  with XML...
] 
[Fix int64ToInteger 0xFFFFFFFF00000000 on 32bit machine; trac #2223
Ian Lynagh <igloo@earth.li>**20080424131526
 Patch from Mike Gunter.
] 
[MERGED: Fix Trac #2141: invalid record update
Ian Lynagh <igloo@earth.li>**20080423185620
 simonpj@microsoft.com**20080402132057
  
   See Note [Record field lookup] in TcEnv.  The fix here
   is quite straightforward.
] 
[MERGED: Fix #2044 (:printing impredicatively typed things)
Ian Lynagh <igloo@earth.li>**20080423180908
 pepe <mnislaih@gmail.com>**20080421171322
  Switching to boxyUnify should be enough to fix this.
] 
[Fixing HPCTIXDIR problem with mkdir usage on Windows
andy@galois.com**20080411220510] 
[Add clarifying comments about unsafeCoerce
simonpj@microsoft.com**20080421152130] 
[FIX #2197: an update frame might point to an IND_OLDGEN
Simon Marlow <simonmar@microsoft.com>**20080411173404] 
[Fix Trac #2179: error message for main
simonpj@microsoft.com**20080403173746
 
 A short-cut to generate the (runMainIO main) wrapper turned out
 to make a bad error message.  This should fix it.
 
] 
[Adding environment variable HPCTIXDIR, a directory to place tix results.
andy@galois.com**20080408232450] 
[Fixing hpc combine and hpc map to use the correct help message
andy@galois.com**20080408232032] 
[Derive a valid Ix instance for data Foo = Foo Int Int
Ian Lynagh <igloo@earth.li>**20080330182813
 The old one didn't satisfy the axioms. See trac #2158 for details.
] 
[If unregisterised, link with -optl-Wl,--relax on IA64
Ian Lynagh <igloo@earth.li>**20080316214104
 This fixes part of trac #856
] 
[MERGED: Fix a space leak in :trace (trac #2128)
Ian Lynagh <igloo@earth.li>**20080316213210
 Ian Lynagh <igloo@earth.li>**20080316211748
  We were doing lots of cons'ing and tail'ing without forcing the tails,
  so were building up lots of thunks.
] 
[When concatenating variables in Makefile, strip spaces in case one is empty
Ian Lynagh <igloo@earth.li>**20080315141751
 Otherwise "$(A) $(B)" will not be equal to "" even if A and B are empty.
 Trac #856.
] 
[If we are failing due to a warning and -Werror, say so
Ian Lynagh <igloo@earth.li>**20080316195636
 Fixes trac #1893, based on a patch from Daniel Franke.
] 
[Remove uses of addFreeTyVars
Ian Lynagh <igloo@earth.li>**20080315155027
 This optimisation actually make things a bit slower on average, as
 measured by nofib. The example in #1136 in particular suffers from high
 memory usage. Therefore we no longer do the optimisation.
] 
[Add a missing endif to the bindist Makefile
Ian Lynagh <igloo@earth.li>**20080305221136] 
[documentation fix: change flag -frules-off to -fno-rewrite-rules
iavor.diatchki@gmail.com**20080309191911] 
[Tweaks to stack squeezing
Simon Marlow <simonmar@microsoft.com>**20080207122445
 
 1. We weren't squeezing two frames if one of them was a marked update
    frame.  This is easy to fix.
 
 2. The heuristic to decide whether to squeeze was a little
    conservative.  It's worth copying 3 words to save an update frame.
  
] 
[Fix Trac #783: improve short-cutting literals in the type checker
simonpj@microsoft.com**20080306134734
 
 The Inst.shortCutIntLit mechanism in the type checker was missing cases
 where a floating-point literal was given without an explicit decimal point.
 
 As a result, programs with lots of floating-point literals (without decimals)
 ended up with massive Static Reference Tables.  This is not cool.  See
 comments with Trac #783 for details.
 
 
] 
[Fix Trac #2138: print the 'stupid theta' of a data type
simonpj@microsoft.com**20080306134651] 
[Fix bashisms; patch from Bernie Pope
Ian Lynagh <igloo@earth.li>**20080305134556] 
[Improve no-type-signature warning
Ian Lynagh <igloo@earth.li>**20080305011242
 Instead of
    Warning: Definition but no type signature for `.+.'
             Inferred type: .+. :: forall a. a
 we now say
     Warning: Definition but no type signature for `.+.'
              Inferred type: (.+.) :: forall a. a
] 
[Fix typo
Ian Lynagh <igloo@earth.li>**20080302151339] 
[In bindists, look in the right place to see if we have provided docs
Ian Lynagh <igloo@earth.li>**20080302140408
 Fixes trac #1971: unjustified warning about documentation
] 
[MERGED: Fix Trac #2114: error reporting for 'forall' without appropriate flags
Ian Lynagh <igloo@earth.li>**20080302132608
 simonpj@microsoft.com**20080222182646]
] 
[MERGED: Fix Trac #2111: improve error handling for 'rec' in do-notation
Ian Lynagh <igloo@earth.li>**20080301150947
 simonpj@microsoft.com**20080226175635
 
  We were not dealing correctly with all the combinations of
     do notation
     mdo notation
     arrow notation
  in combination with 'rec' Stmts.
 
  I think this patch sorts it out.
] 
[MERGED: Fix Trac #1899; missing equality check in typechecker's constraint simplifier
Ian Lynagh <igloo@earth.li>**20080301145306
 simonpj@microsoft.com**20080226174743
  
  This patch fixes a missing equality check (uifying type variable b=b) in
  the new constraint simplifier in TcTyFuns.  As it stands, we were making
  'b' point to itself, which subsequently led to an infinite loop when
  zonking.  Test is T1899.hs
] 
[Fix Trac #2130: improve derived Ord for primmitive types
simonpj@microsoft.com**20080228121106
 
 This patch does two things:
 
 * (Minor): in TcGenDeriv.careful_compare_Case, test for less-than before
   equality. This should reduce the number of dynamic tests, and also gives
   more scope for optimisation, since less-than tells us more than equality.
 
 * (More important): add special-case derived code for data types that are
   simple wrappers of primitive types. See 
        Note [Comparision of primitive types]
   This fixes Trac 2130.
 
 However see also Trac #2132, which is not addressed here.
 
] 
[Fix Trac #2126: re-order tests (easy)
simonpj@microsoft.com**20080227163202] 
[FIX #2122: file locking bug
Simon Marlow <simonmar@microsoft.com>**20080226104650
 Second and subsequent readers weren't being inserted into the
 fd->lock hash table, which meant that the file wasn't correctly
 unlocked when the Handles were closed.
] 
[Improve error messages from type-checking data constructors
simonpj@microsoft.com**20080222182514
 
 This addresses Trac #2112
 
] 
[Fix Trac #2082
simonpj@microsoft.com**20080219173410] 
[Wibble to error message (stmt of do block or comprehension)
simonpj@microsoft.com**20080228083104] 
[Add comments explaining flags
simonpj@microsoft.com**20080228082935] 
[documentation improvements from Frederik Eaton
Simon Marlow <simonmar@microsoft.com>**20080226102612] 
[Add and use seqBitmap when constructing SRTs
Ian Lynagh <igloo@earth.li>**20080227144505
 This roughly halves memory usage when compiling
     module Foo where
 
     foo :: Double -> Int
     foo x | x == 1 = 1
     ...
     foo x | x == 500 = 500
 without optimisation.
] 
[Remove gaw comment
simonpj@microsoft.com**20080226175305] 
[Whitespace
Ian Lynagh <igloo@earth.li>**20080220170650] 
[FIX #2073: Don't add empty lines to GHCI's history
Ian Lynagh <igloo@earth.li>**20080224143256] 
[FIX #1977: Check to see if $(bindir) is in the path
Ian Lynagh <igloo@earth.li>**20080224134334
 Before telling the user to add it, when installing a bindist, check to
 see if $(bindir) is already in the path.
] 
[CprAnalyse is warning-free
Ian Lynagh <igloo@earth.li>**20080220170843] 
[Fix #1984: missing context switches
Simon Marlow <simonmar@microsoft.com>**20080219102212] 
[FIX #2023: substitute for $topdir in haddockInterfaces and haddockHTMLs
Simon Marlow <simonmar@microsoft.com>**20080209143648] 
[Make the parser a bit stricter
Ian Lynagh <igloo@earth.li>**20080218175514] 
[seq what we actually want to seq, not the seq'ing function
Ian Lynagh <igloo@earth.li>**20080213131857] 
[Fix warnings in FiniteMap
Ian Lynagh <igloo@earth.li>**20080218200408] 
[MERGED: Print better error message for reading External Core
Ian Lynagh <igloo@earth.li>**20080224153936
 Tim Chevalier <chevalier@alum.wellesley.edu>**20080217223844
  
  GHC panicked with a "Prelude.undefined" error message if you tried to
  compile a .hcr file. Since support for reading ExternalCore simply does
  not exist, I added an error message to say that.
  
  Please merge to 6.8. Thanks.
] 
[Typo
Ian Lynagh <igloo@earth.li>**20080219204117] 
[Whitespace only
Ian Lynagh <igloo@earth.li>**20080218111941] 
[Whitespace only
Ian Lynagh <igloo@earth.li>**20080218105909] 
[Suggest -XRecordWildCards rather than -frecord-dot-dot
Ian Lynagh <igloo@earth.li>**20080224141652] 
[Suggest -XRecordPuns rather than -frecord-puns; fixes #2088
Ian Lynagh <igloo@earth.li>**20080224141401] 
[MERGED: Generate foo(void) rather than foo() in FFI stub files
Ian Lynagh <igloo@earth.li>**20080217193919
 Ian Lynagh <igloo@earth.li>**20080216141031
  -Wstrict-prototypes warns about the latter.
  Patch from pcc in trac #2100.
] 
[Fix building of ghc-pkg on the 6.8 branch
Ian Lynagh <igloo@earth.li>**20080217181815] 
[This goes with the patch for #1839, #1463
Simon Marlow <simonmar@microsoft.com>**20080122161811] 
[MERGED: FIX #1839, #1463, by supporting ghc-pkg bulk queries with substring matching
Ian Lynagh <igloo@earth.li>**20080217180358
 claus.reinke@talk21.com**20080121161744
 
     - #1839 asks for a ghc-pkg dump feature, #1463 for the ability
       to query the same fields in several packages at once.
 
     - this patch enables substring matching for packages in 'list',
       'describe', and 'field', and for modules in find-module. it
       also allows for comma-separated multiple fields in 'field'.
       substring matching can optionally ignore cases to avoid the
       rather unpredictable capitalisation of packages.
 
     - the patch is not quite as full-featured as the one attached
       to #1839, but avoids the additional dependency on regexps.
       open ended substrings are indicated by '*' (only the three
       forms prefix*, *suffix, *infix* are supported)
 
     - on windows, the use of '*' for package/module name globbing
       leads to conflicts with filename globbing: by default, windows
       programs are self-globbing, and bash adds another level of
       globbing on top of that. it seems impossible to escape '*'
       from both levels of globbing, so we disable default globbing
       for ghc-pkg and ghc-pkg-inplace. users of bash will still
       have filename globbing available, users of cmd won't.
 
     - if it is considered necessary to reenable filename globbing
       for cmd users, it should be done selectively, only for
       filename parameters. to this end, the patch includes a
       glob.hs program which simply echoes its parameters after
       filename globbing. see the commented out glob command in
       Main.hs for usage or testing.
 
     - this covers both tickets, and permits for the most common
       query patterns (finding all packages contributing to the
       System. hierarchy, finding all regex or string packages,
       listing all package maintainers or haddock directories,
       ..), which not only i have wanted to have for a long time.
 
       examples (the quotes are needed to escape shell-based
       filename globbing and should be omitted in cmd.exe):
 
         ghc-pkg list '*regex*' --ignore-case
         ghc-pkg list '*string*' --ignore-case
         ghc-pkg list '*gl*' --ignore-case
         ghc-pkg find-module 'Data.*'
         ghc-pkg find-module '*Monad*'
         ghc-pkg field '*' name,maintainer
         ghc-pkg field '*' haddock-html
         ghc-pkg describe '*'
 
] 
[FIX 1463 (implement 'ghc-pkg find-module')
claus.reinke@talk21.com**20071109162652
 
 - the ticket asks for a module2package lookup in ghc-pkg
   (this would be useful to have in cabal, as well)
 
 - we can now ask which packages expose a module we need,
   eg, when preparing a cabal file or when getting errors
   after package reorganisations:
 
   $ ./ghc-pkg-inplace find-module Var
   c:/fptools/ghc/driver/package.conf.inplace:
       (ghc-6.9.20071106)
   
   $ ./ghc-pkg-inplace find-module Data.Sequence
   c:/fptools/ghc/driver/package.conf.inplace:
       containers-0.1
 
 - implemented as a minor variation on listPackages
 
 (as usual, it would be useful if one could combine 
 multiple queries into one)
 
] 
[Make hasktags -Wall clean
Ian Lynagh <igloo@earth.li>**20080215160309] 
[Whitespace only
Ian Lynagh <igloo@earth.li>**20080215155122] 
[Fix building hasktags
Ian Lynagh <igloo@earth.li>**20080215154415] 
[find module names, fix for get constructor names, find class names as well, sort ctag files
marco-oweber@gmx.de**20080212232157] 
[added TODO item and link to alternatives on wiki
marco-oweber@gmx.de**20080212231853] 
[fix syntax-error output for :show
Simon Marlow <simonmar@microsoft.com>**20080122144923] 
[Fix #2062: foldr1 problem in hpc tool
andy@galois.com**20080126210607] 
[Adjust error message (Trac #2079)
simonpj@microsoft.com**20080207171622] 
[Fix build on 6.8 branch
Ian Lynagh <igloo@earth.li>**20080217145330] 
[FIX #2080: an optimisation to remove a widening was wrong
Simon Marlow <simonmar@microsoft.com>**20080208124219] 
[remove a bogus assertion
Simon Marlow <simonmar@microsoft.com>**20080207143805] 
[Fix typo in message
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20080212052219] 
[Fixed warnings in parser/Lexer.x
Twan van Laarhoven <twanvl@gmail.com>**20080204021131
 
 The -w flag can not be removed, because alex also generates code with lots of warnings.
] 
[Fixed warnings in parser/ParserCoreUtils
Twan van Laarhoven <twanvl@gmail.com>**20080204022226] 
[Fixed warnings in hsSyn/Convert, except for incomplete pattern matches
Twan van Laarhoven <twanvl@gmail.com>**20080204000510] 
[Fixed warnings in types/Unify
Twan van Laarhoven <twanvl@gmail.com>**20080203224228] 
[Fixed warnings in ndpFlatten/FlattenInfo
Twan van Laarhoven <twanvl@gmail.com>**20080203224159] 
[cleaned up all warnings (and added many type signatures) in Outputable
Norman Ramsey <nr@eecs.harvard.edu>**20070912102526] 
[Fixed warnings in vectorise/VectCore
Twan van Laarhoven <twanvl@gmail.com>**20080203224003] 
[Fixed warnings in deSugar/DsExpr, except for incomplete pattern matches
Twan van Laarhoven <twanvl@gmail.com>**20080203214848] 
[Fixed warnings in deSugar/MatchCon, except for incomplete pattern matches
Twan van Laarhoven <twanvl@gmail.com>**20080203210402] 
[MERGED: Use command-dependent word break characters for tab completion in ghci.  Fixes bug #998.
Ian Lynagh <igloo@earth.li>**20080217120443
 judah.jacobson@gmail.com**20080109003606
] 
[MERGED: Fix filename completion by adding trailing spaces/slashes manually.
Ian Lynagh <igloo@earth.li>**20080217105725
 judah.jacobson@gmail.com**20080110221928
] 
[Allow skipping "make clean" or only re-running the testsuite in validate
Ian Lynagh <igloo@earth.li>**20080210162842] 
[FIX #1821 (Parser or lexer mess-up)
df@dfranke.us**20071210230649] 
[MERGED: Refactor Haddock options
Ian Lynagh <igloo@earth.li>**20080213175337
 Thu Nov  1 13:17:57 GMT 2007  David Waern <davve@dtek.chalmers.se>
   * Refactor Haddock options
   
   This patch renames the DOC_OPTIONS pragma to OPTIONS_HADDOCK. It also
   adds "-- # ..."-style Haddock option pragmas, for compatibility with
   code that use them.
   
   Another change is that both of these two pragmas behave like
   OPTIONS_GHC, i.e. they are only allowed at the top of the module, they
   are ignored everywhere else and they are stored in the dynflags. There is
   no longer any Haddock options in HsSyn.
   
   Please merge this to the 6.8.2 branch when 6.8.1 is out, if appropriate.
] 
[MERGED: Mac installer: Added XCODE_EXTRA_CONFIGURE_ARGS
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080211120624] 
[MERGED: Mac installer: make Uninstaller a bit more robust
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080211094146] 
[MERGED: Mac installer: add comprehensive licencing information
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080211062430] 
[MERGED: Force -s on ar in xcode builds
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080211062152] 
[MERGED: Mac installer: added support for full docs
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080210082938] 
[MERGED: Fixed permissions and other cleanup in Mac installer package
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080210082825] 
[MERGED: Added Uninstaller
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080210082255] 
[MERGED: Most of installer for framework on system volume
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080210082121] 
[MERGED: xcode build target for fixed /Library/Frameworks inst
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080210081908
 - Also moving all MacOS-specific Makefile components into 
   distrib/MacOS/Makefile
] 
[Split into two types of Mac installer specs
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080205052504] 
[Lambda logo for packages
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080205052017
 - This image is in the public domain, cf 
   http://en.wikipedia.org/wiki/Image:Greek_lc_lamda_thin.svg
] 
[First stab at an installer package for the Mac
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080202134853
 - GHC as a Mac framework
 - I tried to make a package where the user could choose whether to install
   in /Library/Frameworks or ~/Library/Frameworks (to allow installation for
   non-admins).  However, that doesn't work well without including the whole
   distribution twice as the decision as to whether the admin password needs
   to be entered is made at packaging time (not at install time).
] 
[Eliminate external GMP dependencies
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20071217093839
 - Ensure the stage1 compiler uses ghc's own GMP library on Mac OS
 - Need to rebuild installPackage and ifBuildable with stage1 compiler as they
   go into bindists
] 
[Merge the FAST_STRING_NOT_NEEDED stuff onto the 6.8 branch
Ian Lynagh <igloo@earth.li>**20080207175312] 
[MERGED: FIX #1838, #1987: change where GHCi searches for config files
Ian Lynagh <igloo@earth.li>**20080207175258
 Simon Marlow <simonmar@microsoft.com>**20080123143207
  
  6.6 behaviour:
    - ./.ghci
    - $HOME/.ghci
  
  6.8.[12] behaviour:
    - ./.ghci
    - Windows: c:/Documents and Settings/<user>/.ghci
    - Unix: $HOME/.ghci
  
  6.10 (and 6.8.3 when this is merged):
    - ./.ghci
    - Windows: c:/Documents and Settings/<user>/Application Data/ghc/ghci.conf
    - Unix: $HOME/.ghc/ghci.conf
    - $HOME/.ghci
  
  We will need to document this in the 6.8.3 release notes because it
  may affect Windows users who have adapted their setup to 6.8.[12].
] 
[FIX #2049, another problem with the module context on :reload
Simon Marlow <simonmar@microsoft.com>**20080121145935
 The previous attempt to fix this (#1873, #1360) left a problem that
 occurred when the first :load of the program failed (#2049).  
 
 Now I've implemented a different strategy: between :loads, we remember
 all the :module commands, and just replay them after a :reload.  This
 is in addition to remembering all the package modules added with
 :module, which is orthogonal.
 
 This approach is simpler than the previous one, and seems to do the
 right thing in all the cases I could think of.  Let's hope this is the
 last bug in this series...
] 
[FIX #1767 :show documentation claimed too much
Simon Marlow <simonmar@microsoft.com>**20080122152943
 Also put the :help docs back within 80 columns
] 
[Show CmdLineError exceptions as "<command line>: ..."
Simon Marlow <simonmar@microsoft.com>**20080123163145
 instead of something like "ghc-6.8.2: ...", which causes problems in
 the test suite.  In any case, "<command line>" seems a more
 appropriate context for these errors, the only question is whether
 we're using CmdLineError incorrectly anywhere.
] 
[FIX #1750: in isBrokenPackage, don't loop if the deps are recursive
Simon Marlow <simonmar@microsoft.com>**20080123160703] 
[FIX #1750: throw out mutually recursive groups of packages
Simon Marlow <simonmar@microsoft.com>**20080123160635] 
[A couple more parser tweaks
Ian Lynagh <igloo@earth.li>**20080125143421] 
[Parser tweak
Ian Lynagh <igloo@earth.li>**20080125145847] 
[Fix warnings in coreSyn/CoreTidy
Twan van Laarhoven <twanvl@gmail.com>**20080118165559] 
[Fixed warnings in types/Class
Twan van Laarhoven <twanvl@gmail.com>**20080125160438] 
[Fixed warnings in coreSyn/CoreFVs, except for incomplete pattern matches
Twan van Laarhoven <twanvl@gmail.com>**20080125160716] 
[Fixed warnings in coreSyn/PprExternalCore
Twan van Laarhoven <twanvl@gmail.com>**20080125162418] 
[Fixed warnings in coreSyn/MkExternalCore, except for incomplete pattern matches
Twan van Laarhoven <twanvl@gmail.com>**20080126012807] 
[Fixed warnings in types/Coercion, except for incomplete pattern matches
Twan van Laarhoven <twanvl@gmail.com>**20080126190735] 
[Fixed warnings in basicTypes/Var
Twan van Laarhoven <twanvl@gmail.com>**20080126191939] 
[Fixed warnings in basicTypes/Id
Twan van Laarhoven <twanvl@gmail.com>**20080126192817] 
[Fixed warnings in basicTypes/Literal, except for incomplete pattern matches
Twan van Laarhoven <twanvl@gmail.com>**20080126193209] 
[Fixed warnings in basicTypes/BasicTypes
Twan van Laarhoven <twanvl@gmail.com>**20080126194255] 
[Fixed warnings in simplCore/OccurAnal
Twan van Laarhoven <twanvl@gmail.com>**20080126194426] 
[Fixed warnings in coreSyn/ExternalCore
Twan van Laarhoven <twanvl@gmail.com>**20080126194759] 
[Fixed warnings in basicTypes/Demand
Twan van Laarhoven <twanvl@gmail.com>**20080126195929] 
[Fixed warnings in utils/Digraph
Twan van Laarhoven <twanvl@gmail.com>**20080126200754] 
[Fixed warnings in simplStg/StgStats, except for incomplete pattern matches
Twan van Laarhoven <twanvl@gmail.com>**20080126230830] 
[Fixed warnings in simplStg/SRT, except for incomplete pattern matches
Twan van Laarhoven <twanvl@gmail.com>**20080126230900] 
[Fixed warnings in basicTypes/RdrName
Twan van Laarhoven <twanvl@gmail.com>**20080126202104] 
[Fixed warnings in basicTypes/OccName
Twan van Laarhoven <twanvl@gmail.com>**20080126202737] 
[Fixed warnings in types/FunDeps
Twan van Laarhoven <twanvl@gmail.com>**20080126203050] 
[Fixed warnings in simplStg/SimplStg
Twan van Laarhoven <twanvl@gmail.com>**20080126230805] 
[Fixed warnings in types/TyCon
Twan van Laarhoven <twanvl@gmail.com>**20080126215800] 
[Fixed warnings in types/Type, except for incomplete pattern matches
Twan van Laarhoven <twanvl@gmail.com>**20080126214126] 
[Make comb[234] strict
Ian Lynagh <igloo@earth.li>**20080124183149] 
[Tell happy to be strict
Ian Lynagh <igloo@earth.li>**20080124165214] 
[Fixed warnings in stgSyn/StgSyn
Twan van Laarhoven <twanvl@gmail.com>**20080126221010] 
[Fixed warnings in types/Generics
Twan van Laarhoven <twanvl@gmail.com>**20080126222817] 
[Fixed warnings in types/FamInstEnv
Twan van Laarhoven <twanvl@gmail.com>**20080126231426] 
[Fixed warnings in types/InstEnv
Twan van Laarhoven <twanvl@gmail.com>**20080126231732] 
[Fixed warnings in profiling/CostCentre, except for incomplete pattern matches
Twan van Laarhoven <twanvl@gmail.com>**20080126232841] 
[Move spiltDmdTy within module (no change in code)
simonpj@microsoft.com**20080129011438] 
[Make the Parser Monad's return strict
Ian Lynagh <igloo@earth.li>**20080124155827] 
[Get a bit of sharing
Ian Lynagh <igloo@earth.li>**20080124152000] 
[A touch more strictness in the parser
Ian Lynagh <igloo@earth.li>**20080124150137] 
[Add a bit of strictness to the parser
Ian Lynagh <igloo@earth.li>**20080124145311] 
[Make sL strict in /both/ arguments to L
Ian Lynagh <igloo@earth.li>**20080124151223] 
[Fixed warnings in hsSyn/HsDecls, except for incomplete pattern matches
Twan van Laarhoven <twanvl@gmail.com>**20080127004046] 
[Fixed warnings in hsSyn/HsImpExp, except for incomplete pattern matches
Twan van Laarhoven <twanvl@gmail.com>**20080127004254] 
[Fixed warnings in hsSyn/HsDoc
Twan van Laarhoven <twanvl@gmail.com>**20080127004359] 
[Fixed warnings in hsSyn/HsTypes
Twan van Laarhoven <twanvl@gmail.com>**20080127004419] 
[Fixed warnings in main/ErrUtils
Twan van Laarhoven <twanvl@gmail.com>**20080127015419] 
[Warning clean up
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080131024845] 
[Some tweaks to the building from source section
Simon Marlow <simonmar@microsoft.com>**20080129091132] 
[Strictness tweaks
Ian Lynagh <igloo@earth.li>**20080203024836] 
[Strictness tweaks
Ian Lynagh <igloo@earth.li>**20080125174347] 
[Strictness tweaks
Ian Lynagh <igloo@earth.li>**20080124183142] 
[Whitespace
Ian Lynagh <igloo@earth.li>**20080203003929] 
[Whitespace only
Ian Lynagh <igloo@earth.li>**20080202213936] 
[Whitespace only
Ian Lynagh <igloo@earth.li>**20080123174153] 
[Fix warnings in deSugar/DsBinds
Ian Lynagh <igloo@earth.li>**20080130144014] 
[Monadify deSugar/DsBinds: use do, return, applicative, standard monad functions
Twan van Laarhoven <twanvl@gmail.com>**20080117164746] 
[Add missing (error) case in pprConDecl
simonpj@microsoft.com**20080128213409] 
[Fix typo where I forgot the new substitution
simonpj@microsoft.com**20080128213856] 
[Make seqAlts actually seq everything
Ian Lynagh <igloo@earth.li>**20080203134321] 
[Fix warnings in coreSyn/CoreSyn
Twan van Laarhoven <twanvl@gmail.com>**20080118165506] 
[FIX #2047: Windows (and older Unixes): align info tables to 4 bytes, not 2
Simon Marlow <simonmar@microsoft.com>**20080205101425
 Perhaps in the past '.align 2' meant align to 4 bytes, but nowadays it
 means align to 2 bytes.  The compacting collector requires info tables
 to be aligned to 4 bytes, because it stores tag bits in the low 2
 bits.
 
 This only affects -fvia-C - the native code generator was already
 emitting the correct alignment.  The incorrect alignment might well
 have been adversely affecting performance with -fvia-C on Windows.
] 
[White space only
simonpj@microsoft.com**20080205163702] 
[Typo in phase-control documentation
simonpj@microsoft.com**20080121113620] 
[Fix catching exit exceptions in ghc -e
Ian Lynagh <igloo@earth.li>**20080120170236] 
[Tweak runghc
Ian Lynagh <igloo@earth.li>**20080120184639] 
[Fix exception message with ghc -e
Ian Lynagh <igloo@earth.li>**20080121104142
 When running with ghc -e, exceptions should claim to be from the program
 that we are running, not ghc.
] 
[Support multiple -e flags
Ian Lynagh <igloo@earth.li>**20080119223036] 
[Fix ghc -e :main (it was enqueuing the main function, but not running it)
Ian Lynagh <igloo@earth.li>**20080119220044] 
[Fix giving an error if we are given conflicting mode flags
Ian Lynagh <igloo@earth.li>**20080119212602] 
[MERGED: Add :run and tweak :main
Ian Lynagh <igloo@earth.li>**20080119183414
 Sat Jan 19 08:49:23 PST 2008  Ian Lynagh <igloo@earth.li>
   * Add :run and tweak :main
   You can now give :main a Haskell [String] as an argument, e.g.
   :main ["foo", "bar"]
   and :run is a variant that takes the name of the function to run.
   Also, :main now obeys the -main-is flag.
] 
[Make MacFrameworks a subdirectory of distrib, since it isn't used in the normal building process.
judah.jacobson@gmail.com**20071217235735] 
[Add scripts for building GMP.framework and GNUreadline.framework (OS X).
judah.jacobson@gmail.com**20071127072951] 
[Use -framework-path flags during the cc phase.  Fixes trac #1975.
judah.jacobson@gmail.com**20071212201245] 
[Improve the error when :list can't find any code to show
Ian Lynagh <igloo@earth.li>**20080118225655] 
[pass -no-user-package-conf to ghc-inplace
Simon Marlow <simonmar@microsoft.com>**20080104162840] 
[More verbose error reporting in mk/target.mk
Clemens Fruhwirth <clemens@endorphin.org>**20071231170715] 
[Complain sensibly if you try to use scoped type variables in Template Haskell
simonpj@microsoft.com**20080116151612
 
 This fixes Trac #2024; worth merging onto 6.8 branch.
 
] 
[Tweak the splitter
Ian Lynagh <igloo@earth.li>**20080116195612
 We were generating a label ".LnLC7", which the splitter was confusing
 with a literal constant (LC). The end result was the assembler tripping
 up on ".Ln.text".
] 
[Fix warnings in utils/Maybes
Ian Lynagh <igloo@earth.li>**20080113142347] 
[Fix warnings in utils/UniqSet
Ian Lynagh <igloo@earth.li>**20080113142604] 
[Fix warnings in utils/State
Ian Lynagh <igloo@earth.li>**20080113131658] 
[Fix warnings in utils/OrdList
Ian Lynagh <igloo@earth.li>**20080113132042] 
[Fix warnings in utils/FastMutInt
Ian Lynagh <igloo@earth.li>**20080113131830] 
[MERGED: Make the treatment of equalities more uniform
Ian Lynagh <igloo@earth.li>**20080113141653
 simonpj@microsoft.com**20080107142306
 
  This patch (which is part of the fix for Trac #2018) makes coercion variables
  be handled more uniformly.  Generally, they are treated like dictionaries
  in the type checker, not like type variables, but in a couple of places we
  were treating them like type variables.  Also when zonking we should use
  zonkDictBndr not zonkIdBndr.
] 
[Fix Trac #2017
simonpj@microsoft.com**20080107125819] 
[Fix Trac #2018: float-out was ignoring the kind of a coercion variable
simonpj@microsoft.com**20080107142601
 
 The float-out transformation must handle the case where a coercion
 variable is free, which in turn mentions type variables in its kind.
 Just like a term variable really.
 
 I did a bit of refactoring at the same time.
 
 Test is tc241
 
 MERGE to stable branch
 
] 
[Fix 2030: make -XScopedTypeVariables imply -XRelaxedPolyRec
simonpj@microsoft.com**20080110113133
 
 The type checker doesn't support lexically scoped type variables 
 unless we are using the RelaxedPolyRec option.  Reasons: see
 Note [Scoped tyvars] in TcBinds.
 
 So I've changed DynFlags to add this implication, improved the 
 documentation, and simplified the code in TcBinds somewhat.
 (It's longer but only because of comments!)
  
 
] 
[Fix warnings in utils/Bag.lhs
Ian Lynagh <igloo@earth.li>**20080113002037] 
[Add GMP_INCLUDE_DIRS in a couple of places
Ian Lynagh <igloo@earth.li>**20080112234215
 Fixes the build on OpenBSD (trac #2009). Based on a patch from kili.
] 
[MERGED: Only initialise readline if we are connected to a terminal
Ian Lynagh <igloo@earth.li>**20080113124405
 Ian Lynagh <igloo@earth.li>**20080113124107
  Patch from Bertram Felgenhauer <int-e@gmx.de>
] 
[MERGED: don't initialize readline needlessly
Ian Lynagh <igloo@earth.li>**20080113124259
 Ian Lynagh <igloo@earth.li>**20080112155413
  Readline.initialize spills some escape sequences to stdout for some terminal
  types, potentially spoiling  ghc -e  output. So don't initialize readline
  unless we're working interactively on a terminal.
  Patch from Bertram Felgenhauer <int-e@gmx.de>
] 
[Add instructions for building docs to README
Ian Lynagh <igloo@earth.li>**20080106215723] 
[update to track .lhs-boot file
Simon Marlow <simonmar@microsoft.com>**20070912103417] 
[Include ~/Library/Frameworks in the framework searchpath
Ian Lynagh <igloo@earth.li>**20071217233457
 Patch from Christian Maeder
] 
[Make ghcii.sh executable
Ian Lynagh <igloo@earth.li>**20071217195734] 
[Don't rely on distrib/prep-bin-dist-mingw being executable
Ian Lynagh <igloo@earth.li>**20071217195554] 
[MERGED: always try to remove the new file before restoring the old one (#1963)
Ian Lynagh <igloo@earth.li>**20080106145228
 Simon Marlow <simonmar@microsoft.com>**20071214123345
] 
[MERGED: FIX #1963: catch Ctrl-C and clean up properly
Ian Lynagh <igloo@earth.li>**20080106145219
 Simon Marlow <simonmar@microsoft.com>**20071213154056
] 
[Fix imports for the 6.8 branch
Ian Lynagh <igloo@earth.li>**20080105153813] 
[Do not consult -XGADTs flag when pattern matching on GADTs
simonpj@microsoft.com**20080104125814
 
 See Trac #2004, and Note [Flags and equational constraints] in TcPat.
 
] 
[Document SOURCE pragma; clarify TH behavior for mutually-recurive modules (Trac #1012)
simonpj@microsoft.com**20080104121939] 
[Remove -funfolding-update-in-place flag documentation
simonpj@microsoft.com**20080103160036
 
 This flag does nothing, and should have been removed ages ago. (GHC
 no longer does update-in-place.)
 
 MERGE to 6.8 branch
 
] 
[Fix warnings with newer gcc versions (I hope)
Simon Marlow <simonmar@microsoft.com>**20080103140338] 
[FIX #1898: add a missing UNTAG_CLOSURE() in checkBlackHoles
Simon Marlow <simonmar@microsoft.com>**20080103112717] 
[fix validation failure on non-i386
Simon Marlow <simonmar@microsoft.com>**20080102151740] 
[expand "out of stack slots" panic to suggest using -fregs-graph, see #1993
Simon Marlow <simonmar@microsoft.com>**20080102150737] 
[Add installPackage to dependencies of make.library.* as it's used by the rule
Clemens Fruhwirth <clemens@endorphin.org>**20071229162707] 
[Always do 'setup makefile' before building each library
Simon Marlow <simonmar@microsoft.com>**20071120103329
 This forces preprocessing to happen, which is necessary if any of the
 .hsc files have been modified.  Without this change, a 'setup
 makefile' would be required by hand after a .hsc file changed.
 Fortunately 'setup makefile' isn't much extra work, and I've made it
 not overwrite GNUmakefile if it hasn't changed, which avoids
 recalculating the dependencies each time.
] 
[import ord that alex secretly imported
Isaac Dupree <id@isaac.cedarswampstudios.org>**20071228175727] 
[add missing import that happy -agc secretly provided
Isaac Dupree <id@isaac.cedarswampstudios.org>**20071227171335] 
[correct type mistake, hidden by happy -agc coercions!
Isaac Dupree <id@isaac.cedarswampstudios.org>**20071226140743] 
[When complaining about non-rigid context, give suggestion of adding a signature
simonpj@microsoft.com**20071224122217] 
[Improve handling of newtypes (fixes Trac 1495)
simonpj@microsoft.com**20071221090406
 
 In a few places we want to "look through" newtypes to get to the
 representation type.  But we need to be careful that  we don't fall 
 into an ininite loop with e.g.
        newtype T = MkT T
 
 The old mechansim for doing this was to have a field nt_rep, inside 
 a newtype TyCon, that gave the "ultimate representation" of the type.
 But that failed for Trac 1495, which looked like this:
    newtype Fix a = Fix (a (Fix a))
    data I a = I a
 Then, expanding the type (Fix I) went on for ever.
 
 The right thing to do seems to be to check for loops when epxanding
 the *type*, rather than in the *tycon*.  This patch does that, 
        - Removes nt_rep from TyCon
        - Make Type.repType check for loops
 See Note [Expanding newtypes] in Type.lhs.
 
 At the same time I also fixed a bug for Roman, where newtypes were not
 being expanded properly in FamInstEnv.topNormaliseType.  This function
 and Type.repType share a common structure.
 
 
        Ian, see if this merges easily to the branch
        If not, I don't think it's essential to fix 6.8
 
] 
[Fix Trac #1981: seq on a type-family-typed expression
simonpj@microsoft.com**20071221085542
 
 We were crashing when we saw
        case x of DEFAULT -> rhs
 where x had a type-family type.  This patch fixes it.
 
 MERGE to the 6.8 branch.
 
 
] 
[Comment only
simonpj@microsoft.com**20071220164621] 
[Fix nasty recompilation bug in MkIface.computeChangedOccs
simonpj@microsoft.com**20071220164307
 
        MERGE to 6.8 branch
 
 In computeChangedOccs we look up the old version of a Name.
 But a WiredIn Name doesn't have an old version, because WiredIn things
 don't appear in interface files at all.
 
 Result: ghc-6.9: panic! (the 'impossible' happened)
   (GHC version 6.9 for x86_64-unknown-linux):
        lookupVers1 base:GHC.Prim chr#{v}
 
 This fixes the problem.  The patch should merge easily onto the branch.
 
 
] 
[Fix Trac #1988; keep the ru_fn field of a RULE up to date
simonpj@microsoft.com**20071220131912
 
 The ru_fn field was wrong when we moved RULES from one Id to another.
 The fix is simple enough.
 
 However, looking at this makes me realise that the worker/wrapper stuff
 for recursive newtypes isn't very clever: we generate demand info but
 then don't properly exploit it.  
 
 This patch fixes the crash though.
 
] 
[Add better panic message in getSRTInfo (Trac #1973)
simonpj@microsoft.com**20071220180335] 
[Remove obselete code for update-in-place (which we no longer do)
simonpj@microsoft.com**20071220173432] 
[FIX #1980: must check for ThreadRelocated in killThread#
Simon Marlow <simonmar@microsoft.com>**20071217164610] 
[More bindist-publishing fixes and refactoring
Ian Lynagh <igloo@earth.li>**20071218144505] 
[Fix publishing the docs
Ian Lynagh <igloo@earth.li>**20071216122544] 
[MERGED: Inline implication constraints
Ian Lynagh <igloo@earth.li>**20071215163315
 Mon Nov  5 22:08:07 GMT 2007  simonpj@microsoft.com
 
   This patch fixes Trac #1643, where Lennart found that GHC was generating
   code with unnecessary dictionaries.  The reason was that we were getting
   an implication constraint floated out of an INLINE (actually an instance
   decl), and the implication constraint therefore wasn't inlined even 
   though it was used only once (but inside the INLINE).  Thus we were 
   getting:
   
         ic = \d -> <stuff>
         foo = _inline_me_ (...ic...)
   
   Then 'foo' gets inlined in lots of places, but 'ic' now looks a bit 
   big.  
   
   But implication constraints should *always* be inlined; they are just
   artefacts of the constraint simplifier.
   
   This patch solves the problem, by adding a WpInline form to the HsWrap
   type. 
] 
[TAG GHC 6.8.2 release
Ian Lynagh <igloo@earth.li>**20071215154850] 
[Fix a bug in gen_contents_index
Ian Lynagh <igloo@earth.li>**20071212121154
 The library doc index thought that the docs were in $module.html, rather
 than $package/$module.html.
] 
[Set RELEASE back to NO
Ian Lynagh <igloo@earth.li>**20071211161444] 
[Tweak installation so it works with Solaris's sh
Ian Lynagh <igloo@earth.li>*-20071209140724] 
[Prevent the binding of unboxed things by :print
Pepe Iborra <mnislaih@gmail.com>**20071208181830] 
[Help the user when she tries to do :history without :trace
Pepe Iborra <mnislaih@gmail.com>**20071208180918
 
 Teach GHCi to show a "perhaps you forgot to use :trace?" when
 it finds that the user is trying to retrieve an empty :history
 
] 
[Improve pretty-printing of InstDecl
simonpj@microsoft.com**20071210083053
 
 Fixes Trac #1966. 
 
] 
[Bump version number to 6.8.2 and set RELEASE=YES
Ian Lynagh <igloo@earth.li>**20071210142212] 
[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] 
[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
] 
[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.
] 
[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] 
[FIX #1791 on stable branch
Simon Marlow <simonmar@microsoft.com>**20071114163945
 The 6.8 branch needed this fix in another place
] 
[TAG 2007-11-11
Ian Lynagh <igloo@earth.li>**20071111164452] 
Patch bundle hash:
a757535e88485dcb2c30e5525a5122318e770810