Darcs patch: let runghc.hs read from stdin if no file is provided

[Don Stewart]

This is a rather fun patch (imo) that lets runghc read from stdin (into
a temp file) if no filename is provided.

It means this works,
    
    $ cat A.hs | runghc | python2.4| ruby | runghc | python2.4 | ruby

Where A.hs is sigfpe's 3rd order quine,

    http://sigfpe.blogspot.com/2008/02/third-order-quine-in-three-languages.html

-- Don
-------------- next part --------------

New patches:

[Have runghc read from stdin, if no filename provided
Don Stewart <dons at galois.com>**20080206041851
 
 As for ruby, perl, python, read from stdin (into a temp file), if no
 filename provided. Let's cute meta-quines work:
 
     $ runghc A.hs | python | ruby | runghc
 
 Also, more mundane:
 
     $ echo 'main = print "woot"'  | runghc 
     "woot"
 
] {
hunk ./utils/runghc/runghc.hs 26
+import Control.Exception
hunk ./utils/runghc/runghc.hs 34
-import Compat.Directory ( findExecutable )
+import Compat.Directory ( findExecutable, removeFile )
hunk ./utils/runghc/runghc.hs 37
-import System.Directory ( findExecutable )
+import System.Directory ( findExecutable, removeFile )
hunk ./utils/runghc/runghc.hs 63
-        [] -> dieProg usage
+        [] -> do
+           -- behave like typical perl, python, ruby interpreters: read from stdin
+           (filename,h) <- openTempFile "/tmp" "runghcXXXX.hs"
+           getContents >>= hPutStr h
+           hFlush h
+           hClose h
+           finally
+               (doIt ghc (ghc_args ++ [filename]))
+               (removeFile filename)
+
}

Context:

[clean ghci-inplace
Simon Marlow <simonmar at microsoft.com>**20071031093932] 
[clean Haddock droppings
Simon Marlow <simonmar at microsoft.com>**20071031093923] 
[Fix warning in OSMem for darwin
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071030133003] 
[FIX BUILD: a glitch in the new rules and inlining stuff
simonpj at 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.)
 
] 
[Fix LiberateCase
simonpj at 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 error-message output slightly
simonpj at microsoft.com**20071029162637] 
[Improve documentation of orphan instances (thanks to Adrian Hey)
simonpj at microsoft.com**20071029162505
 
 Please push to stable branch
 
 Simon
 
] 
[fix installation of haddock.css and friends
Simon Marlow <simonmar at microsoft.com>**20071029120732] 
[In a pattern binding, a type sig in the pattern cannot bind a type variable
simonpj at microsoft.com**20071027153330
 
 In a pattern binding with a pattern type signature, such as
 
 	(Just (x::a)) = e
 
 the pattern type signature cannot bind type variables.  Hence
 'a' must be in scope already for the above example to be legal.
 
 This has been the situation for some time, but Dan changed it when
 adding view patterns.  This one-line change restores the old behaviour.
 
] 
[Substantial improvement to the interaction of RULES and inlining
simonpj at 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.
 
 
] 
[Add newline in debug print
simonpj at microsoft.com**20071026150224] 
[Explicit pattern match in default case of addTickLHsBind
simonpj at microsoft.com**20071024134828] 
[Generalise the types of mk_FunBind, mk_easy_FunBind, mkVarBind
simonpj at microsoft.com**20071024134750] 
[Fix the build with GHC < 6.4 (foldl1' didn't exist)
Ian Lynagh <igloo at earth.li>*-20071027210526] 
[Fix the build with GHC < 6.4 (foldl1' didn't exist)
Ian Lynagh <igloo at earth.li>**20071027210526] 
[MERGED: We need to install-docs when making the Windows bindist
Ian Lynagh <igloo at earth.li>**20071027203220] 
[We need to set _way=* in rts/ both when making and installing bindists
Ian Lynagh <igloo at earth.li>**20071027142914
 This is a hack, but it means we get libHSrts*.a etc rather than just
 libHSrts.a.
] 
[Fix a whole heap of speling errrs in the docs
Josef Svenningsson <josef.svenningsson at gmail.com>**20071007213858] 
[Only build/install the man page if XSLTPROC is defined
Ian Lynagh <igloo at earth.li>**20071027122155] 
[install the Cabal docs, and make them show up in a binary distribution
Simon Marlow <simonmar at microsoft.com>**20071026122456] 
[cp => $(CP)
Simon Marlow <simonmar at microsoft.com>**20071026111054] 
[get rid of the html subdirectory under share/doc/ghc/users_guide
Simon Marlow <simonmar at microsoft.com>**20071026110919] 
[Make 'improvement' work properly in TcSimplify
simonpj at 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 at microsoft.com**20071027155433] 
[In an AbsBinds, the 'dicts' can include EqInsts
simonpj at 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 at microsoft.com**20071027154702] 
[Comments only
simonpj at microsoft.com**20071027154642] 
[Add anyM to IOEnv
simonpj at microsoft.com**20071027154551] 
[Add a note to NOTES
simonpj at microsoft.com**20071027100220] 
[Make compileToCore return the module name and type environment along with bindings
Tim Chevalier <chevalier at alum.wellesley.edu>**20071027100530
 
   compileToCore returned just a list of CoreBind, which isn't enough,
 since to do anything with the resulting Core code, you probably also
 want the type declarations. I left compileToCore as it is, but added a
 function compileToCoreModule that returns a complete Core module (with
 module name, type environment, and bindings). I'm not sure that
 returning the type environment is the best way to represent the type
 declarations for the given module, but I don't want to reinvent the
 External Core wheel for this.
 
] 
[binary-dist: Makefile-vars needs HADDOCK_DOCS=YES
Simon Marlow <simonmar at microsoft.com>**20071025135816] 
[fix the links in the library documentation index
Simon Marlow <simonmar at microsoft.com>**20071025152245] 
[default to installing runhaskell and hsc2hs again, but provide knobs to turn them off
Simon Marlow <simonmar at microsoft.com>**20071025084222] 
[Adding hpc documentation about sum and map, push to STABLE.
andy at unsafeperformio.com**20071025050341] 
[Fixing typo in runtime documentation for hpc, push to stable
andy at unsafeperformio.com**20071025045456] 
[Correct a comment
Ian Lynagh <igloo at earth.li>**20071024114549] 
[Fix ghc package in bindists; it wasn't adding the depenedency on readline
Ian Lynagh <igloo at earth.li>**20071024120633] 
[Fix installing the ghc package .hi files in a bindist
Ian Lynagh <igloo at earth.li>**20071024114219] 
[Build the manpage when building, not when installing
Ian Lynagh <igloo at earth.li>**20071024112914] 
[Hack to make sure we get all the RTS ways in bindists
Ian Lynagh <igloo at earth.li>**20071024004155] 
[Fix installing the documentation in the bindists
Ian Lynagh <igloo at earth.li>**20071023234624] 
[-ftype-families -> -XTypeFamilies
Ian Lynagh <igloo at earth.li>**20071024142828] 
[FIX #1791: fail with out-of-heap when allocating more than the max heap size in one go
Simon Marlow <simonmar at 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.
] 
[Fix more warnings
Simon Marlow <simonmar at microsoft.com>**20071023131351] 
[FIX BUILD (on 32-bit platforms): hs_hpc_module() type mismatch
Simon Marlow <simonmar at microsoft.com>**20071023082233] 
[patch from #1782; fixes check-packages target on Solaris
Simon Marlow <simonmar at microsoft.com>**20071022133337] 
[fix creation of ghc-inplace for non-std ways
Simon Marlow <simonmar at microsoft.com>**20071017152820] 
[remove an incorrect assertion
Simon Marlow <simonmar at microsoft.com>**20071016151829] 
[second attempt to fix C compiler warnings with -fhpc
Simon Marlow <simonmar at 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.
 
] 
[Zonk quantified tyvars with skolems
Manuel M T Chakravarty <chak at 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.
] 
[Fix typo that prevented zonking of rhs of EqInsts
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071018131040
 
 MERGE TO STABLE
] 
[implement #1468, :browse on its own uses the currently-loaded module
Simon Marlow <simonmar at microsoft.com>**20071019115751] 
[FIX #1784: EM_AMD64 and EM_X86_64 might both be defined to the same value
Simon Marlow <simonmar at microsoft.com>**20071019110223] 
[Tell Cabal what it's version number is while bootstrapping it
Duncan Coutts <duncan.coutts at worc.ox.ac.uk>**20071018222128
 This means that it'll work with all the packages that specify a cabal-version
] 
[FIX #1450: asynchronous exceptions are now printed by +RTS -xc
Simon Marlow <simonmar at microsoft.com>**20071018134951] 
[fix -fbreak-on-exception for unregsterised
Simon Marlow <simonmar at microsoft.com>**20071018110621] 
[fix :print when !tablesNextToCode
Simon Marlow <simonmar at microsoft.com>**20071018105340] 
[fix breakpoints in unregisterised mode
Simon Marlow <simonmar at microsoft.com>**20071018101929] 
[Change some ints to unsigned ints
Simon Marlow <simonmar at microsoft.com>**20071018095503
 Fixes some gratuitous warnings when compiling via C with -fhpc
] 
[fix warnings when compiling via C
Simon Marlow <simonmar at microsoft.com>**20071018095417] 
[rollback "accounting wibble: we were missing an alloc_blocks .. "
Simon Marlow <simonmar at microsoft.com>**20071018094415
 I misread the code, now added a comment to explain why it isn't necessary
] 
[recordMutable: test for gen>0 before calling recordMutableCap
Simon Marlow <simonmar at 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#.
] 
[re-instate missing parts of "put the @N suffix on stdcall foreign calls in .cmm code"
Simon Marlow <simonmar at microsoft.com>**20071017144007
 These changes were apparently lost during "massive changes to add a
 'zipper' representation of C-"
] 
[Don't barf on error message with non-tc tyvars
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071018060336
 
 MERGE TO STABLE
] 
[Fix deferring on tyvars in TcUnify.subFunTys
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071018044352] 
[TcUnify.subFunTys must take type families into account
Manuel M T Chakravarty <chak at 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.
] 
[Refactoring: extract platform-specific code from sm/MBlock.c
Simon Marlow <simonmar at microsoft.com>**20071017134145
 Also common-up some duplicate bits in the platform-specific code
] 
[fix an error message (barf -> sysErrorBelch)
Simon Marlow <simonmar at microsoft.com>**20071017121855] 
[fix warning on Windows
Simon Marlow <simonmar at microsoft.com>**20071017121645] 
[Don't clean gmp when validating (speeds up validation on Windows)
Simon Marlow <simonmar at microsoft.com>**20071017100908] 
[document float2Int# and double2Int#
Simon Marlow <simonmar at microsoft.com>**20070925121139] 
[Update HsExpr.hi-boot-6 for view pattern changes
simonpj at microsoft.com**20071017120212] 
[Fix #1709: do not expose the worker for a loop-breaker
simonpj at 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 #1662: do not simplify constraints for vanilla pattern matches
simonpj at microsoft.com**20071016124710
 
 See Note [Arrows and patterns] in TcPat.  
 
 This fixes Trac 1662.   Test is arrows/should_compile/arrowpat.hs
 
 Please merge
 
] 
[Eliminate over-zealous warning in CoreToStg
simonpj at microsoft.com**20071016124606] 
[Show inlined function in the header of 'Inlining done' message
simonpj at microsoft.com**20071016124535] 
[Show program size in the simplifier-bailing-out message
simonpj at microsoft.com**20071016124450] 
[View patterns, record wildcards, and record puns
Dan Licata <drl at cs.cmu.edu>**20071010150254
 This patch implements three new features:
 * view patterns (syntax: expression -> pat in a pattern)
 * working versions of record wildcards and record puns
 See the manual for detailed descriptions.
 
 Other minor observable changes:
 * There is a check prohibiting local fixity declarations
   when the variable being fixed is not defined in the same let
 * The warn-unused-binds option now reports warnings for do and mdo stmts
 
 Implementation notes: 
 
 * The pattern renamer is now in its own module, RnPat, and the
 implementation is now in a CPS style so that the correct context is
 delivered to pattern expressions.
 
 * These features required a fairly major upheaval to the renamer.
 Whereas the old version used to collect up all the bindings from a let
 (or top-level, or recursive do statement, ...) and put them into scope
 before renaming anything, the new version does the collection as it
 renames.  This allows us to do the right thing with record wildcard
 patterns (which need to be expanded to see what names should be
 collected), and it allows us to implement the desired semantics for view
 patterns in lets.  This change had a bunch of domino effects brought on
 by fiddling with the top-level renaming.
 
 * Prior to this patch, there was a tricky bug in mkRecordSelId in HEAD,
 which did not maintain the invariant necessary for loadDecl.  See note
 [Tricky iface loop] for details.
] 
[FIX profiling after my storage manager changes
Simon Marlow <simonmar at microsoft.com>**20071015103939] 
[More docu for skolemOccurs
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071015075644] 
[Slightly improved comments in TcTyClsDecls
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071010142023] 
[TcTyFuns: remove some duplicate code
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071004142315] 
[TcTyFuns.eqInstToRewrite
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071003145715] 
[Add allocateInGen() for allocating in a specific generation, and cleanups
Simon Marlow <simonmar at microsoft.com>**20071012124413
 Now allocate() is a synonym for allocateInGen().  
 
 I also made various cleanups: there is now less special-case code for
 supporting -G1 (two-space collection), and -G1 now works with
 -threaded.
] 
[optimise isAlive()
Simon Marlow <simonmar at microsoft.com>**20071012103810] 
[accounting wibble: we were missing an alloc_blocks++ in allocateLocal()
Simon Marlow <simonmar at microsoft.com>**20071012101711] 
[threadStackOverflow should be using allocateLocal
Simon Marlow <simonmar at microsoft.com>**20071012100405] 
[FIX #1759 while respecting the ticks
andy at galois.com**20071015033319] 
[Improving the combine mode for hpc
andy at 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 DoCon: Another try at getting extractResults right
simonpj at 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).
 
 
] 
[mention what SCC stands for
Simon Marlow <simonmar at microsoft.com>**20071011135736] 
[Add a proper write barrier for MVars
Simon Marlow <simonmar at microsoft.com>**20071011135505
 Previously MVars were always on the mutable list of the old
 generation, which meant every MVar was visited during every minor GC.
 With lots of MVars hanging around, this gets expensive.  We addressed
 this problem for MUT_VARs (aka IORefs) a while ago, the solution is to
 use a traditional GC write-barrier when the object is modified.  This
 patch does the same thing for MVars.
 
 TVars are still done the old way, they could probably benefit from the
 same treatment too.
] 
[we need to #include "Stg.h" first, we can't rely on GHC to inject it
Simon Marlow <simonmar at 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 at microsoft.com**20071011123426] 
[Fix Trac #1759: do not let ticks get in the way of spotting trivially-true guards
simonpj at 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
 
 
] 
[Fix Trac #1755; check for stage errors in TH quoted Names
simonpj at 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.
 
 
] 
[checkWellStaged: reverse comparsion (no change in semantics), plus some comments
simonpj at microsoft.com**20071010124013] 
[Add traceTc in tcSimplifyDefault
simonpj at microsoft.com**20071010123933] 
[Improve pretty-printing of splices in HsSyn
simonpj at microsoft.com**20071010123726] 
[Fix Trac #1678; be more careful about catching and reporting exceptions in spliced TH monadic computations
simonpj at 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
 
 
] 
[Comments only
simonpj at microsoft.com**20071010145646] 
[FIX BUILD (when compiling base via C): declare n_capabilities
Simon Marlow <simonmar at microsoft.com>**20071010103704] 
[GHCi: use non-updatable thunks for breakpoints
Simon Marlow <simonmar at microsoft.com>**20071010093241
 The extra safe points introduced for breakpoints were previously
 compiled as normal updatable thunks, but they are guaranteed
 single-entry, so we can use non-updatable thunks here.  This restores
 the tail-call property where it was lost in some cases (although stack
 squeezing probably often recovered it), and should improve
 performance.
] 
[FIX #1681: withBreakAction had too large a scope in runStmt
Simon Marlow <simonmar at microsoft.com>**20071010085820] 
[tiny refactoring
Simon Marlow <simonmar at microsoft.com>**20071009145002] 
[small reworking of the loop-breaker-choosing algorithm
Simon Marlow <simonmar at 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 warnings when build w/o readline
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071010101840] 
[Update documentation for win32 DLL linking
Clemens Fruhwirth <clemens at endorphin.org>**20071010074415] 
[FIX: tidy up TcSimplify following equality constraints additions
simonpj at 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
 
 
] 
[Improve pretty-printing for HsSyn
simonpj at microsoft.com**20071010093058] 
[Fix Trac #1746: make rule-matching work properly with Cast expressions
simonpj at 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.
 
] 
[Small comment only
simonpj at microsoft.com**20070929104309] 
[export n_capabilities, see #1733
Simon Marlow <simonmar at microsoft.com>**20071009142701] 
[FIX #1743, create a fresh unique for each Id we bind at a breakpoint
Simon Marlow <simonmar at microsoft.com>**20071009142554] 
[remove vestiges of way 'u' (see #1008)
Simon Marlow <simonmar at microsoft.com>**20071009130942] 
[also call initMutex on every task->lock, see #1391
Simon Marlow <simonmar at microsoft.com>**20071009122409] 
[remove the "-unreg" flag and the unregisterised way, see #1008
Simon Marlow <simonmar at microsoft.com>**20071009122338] 
[warning removal
Simon Marlow <simonmar at microsoft.com>**20071009105138] 
[warning removal
Simon Marlow <simonmar at microsoft.com>**20071003170005] 
[refactoring only: use the parameterised InstalledPackageInfo
Simon Marlow <simonmar at microsoft.com>**20071003163536
 This required moving PackageId from PackageConfig to Module
] 
[warning removal
Simon Marlow <simonmar at microsoft.com>**20071003174016] 
[warning removal
Simon Marlow <simonmar at microsoft.com>**20071003173448] 
[warning removal
Simon Marlow <simonmar at microsoft.com>**20071003173202] 
[warning removal
Simon Marlow <simonmar at microsoft.com>**20071003172715] 
[remove most warnings
Simon Marlow <simonmar at microsoft.com>**20071003090804] 
[mkIfaceExports: sort the children of AvailTC
Simon Marlow <simonmar at 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
] 
[error message fix (#1758)
Simon Marlow <simonmar at microsoft.com>**20071008134958] 
[FIX validate for PPC Mac OS X - RegAllocStats.hs
Thorkil Naur <naur at post11.tele.dk>**20071005144105] 
[FIX validate for PPC Mac OS X - RegAllocLinear.hs
Thorkil Naur <naur at post11.tele.dk>**20071005143607] 
[FIX validate for PPC Mac OS X - Linker.c
Thorkil Naur <naur at post11.tele.dk>**20071005144908] 
[FIX validate for PPC Mac OS X - Evac.h
Thorkil Naur <naur at post11.tele.dk>**20071005144454] 
[FIX #1748: -main-is wasn't handling the case of a single hierarchical module
Simon Marlow <simonmar at microsoft.com>**20071008131305
 test case is driver062.5
] 
[FIX BUILD FD_SETSIZE signed
jochemberndsen at dse.nl**20070927132649
 On FreeBSD FD_SETSIZE is unsigned. Cast it to a signed int
 for portability.
] 
[FIX BUILD addDLL returns const char*
jochemberndsen at dse.nl**20070927132619
 addDLL returns const char*, not just a char*.
 Fix compiler warning
] 
[FIX BUILD `set -o igncr'-issue on FreeBSD
jochemberndsen at 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.
 
] 
[comment-out "use vars" in 3 places (see #1739)
Simon Marlow <simonmar at microsoft.com>**20071008115740] 
[Change DOCOPTIONS pragma to DOC_OPTIONS
David Waern <davve at dtek.chalmers.se>**20071002143849
 
 MERGE TO STABLE
] 
[FIX: parsing of doc options
David Waern <davve at 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: add missing case to OccName.isSymOcc
David Waern <davve at dtek.chalmers.se>**20071002143459] 
[Remove warnings from WwLib
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071002130736] 
[FIX: mkWWcpr takes open alg types into account
Manuel M T Chakravarty <chak at 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 at cse.unsw.edu.au>**20071001154343
 
 MERGE TO STABLE
] 
[FIX #1729: Don't try to expand syn families with -XLiberalTypeSynonyms
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20070929122624
 
 MERGE TO STABLE
] 
[Some more traceTcs
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20070929121941] 
[FIX: Make boxy splitters aware of type families
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20070928225541
 
 MERGE TO STABLE
] 
[Finally, I managed to squash an infamous bug in :print
Pepe Iborra <mnislaih at 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 at gmail.com>**20070927141549
   
   In Os X for instance, by default we have TERM=xterm-color 
 
 MERGE TO STABLE
 
] 
[html_installed_root shouldn't contain $$pkgid
Ian Lynagh <igloo at earth.li>**20070927130427
 This actually didn't break anything, as the shell expanded $pkgid to the
 empty string, but it was still wrong.
] 
[Comments and debug output only
simonpj at microsoft.com**20070927110842] 
[further stub filename fix: I managed to break non-stubdir -fvia-C compilation
Simon Marlow <simonmar at microsoft.com>**20070927102539] 
[also acquire/release task->lock across fork()
Simon Marlow <simonmar at microsoft.com>**20070927091331
 further attempt to fix #1391 on MacOS
] 
[FIX -stubdir bug: the .hc file was #including the wrong _stub.h filename
Simon Marlow <simonmar at 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).
] 
[Add STANDARD_OPTS to SRC_HC_OPTS in rts/Makefile so we get -I../includes for .cmm files
Ian Lynagh <igloo at earth.li>**20070926122637
 Patch from Clemens Fruhwirth
] 
[fix #1734, panic in :show modules after load failure
Simon Marlow <simonmar at microsoft.com>**20070926100732] 
[Remove current package from preloaded package set
Clemens Fruhwirth <clemens at endorphin.org>**20070926084802] 
[Fixing #1340, adding HPC Documentation
andy at galois.com**20070926055331] 
[TAG 2007-09-25
Ian Lynagh <igloo at earth.li>**20070925164536] 
Patch bundle hash:
eb69be050ccf0fc3ffcfaa23a1c56a710bcc170b