darcs patch: implement prefix unboxed tuples syntax (#1509)
Isaac Dupree
isaacdupree at charter.net
Wed Jan 2 08:53:32 EST 2008
attached are patches for ghc and for testsuite. They seem pretty
straightforward. Adding prefix-unboxed-tuples turned out to just
require a parser modification -- ( contrary to a comment in
http://hackage.haskell.org/trac/ghc/ticket/1509 ) for GHC at least,
Data.Tuple only defines data types and constructors (and Eq,Ord...
instances) of (boxed) tuples; unboxed tuples were already built-in, (or
anyway my test passed and ran successfully after a simple parser
addition). --should the test be in should_run instead of should_compile,
because it is runnable and I did manually test running it, or not
because it would just waste test-running time now that I've seen once
that it can run, and it being mostly a parser test, backed up by
typechecking?
proposed review deadline: 12 January (I'm pretty confident that these
changes are correct)
P.S. HEAD's ./validate has had some testsuite errors for a while
Isaac
-------------- next part --------------
New patches:
[implement prefix unboxed tuples (part of #1509)
Isaac Dupree <id at isaac.cedarswampstudios.org>**20080102124001] {
hunk ./compiler/parser/Parser.y.pp 30
+ unboxedSingletonTyCon, unboxedSingletonDataCon,
hunk ./compiler/parser/Parser.y.pp 1659
+ | '(#' '#)' { LL $ unboxedSingletonDataCon }
+ | '(#' commas '#)' { LL $ tupleCon Unboxed $2 }
hunk ./compiler/parser/Parser.y.pp 1678
+ | '(#' '#)' { LL $ getRdrName unboxedSingletonTyCon }
+ | '(#' commas '#)' { LL $ getRdrName (tupleTyCon Unboxed $2) }
}
Context:
[Link libgmp.a statically into libHSrts.dll on Windows
Clemens Fruhwirth <clemens at endorphin.org>**20080101154017]
[Embedd DLL name into its import library, so client libs reference them properly in .idata
Clemens Fruhwirth <clemens at endorphin.org>**20080101152157]
[Add package dependencies to link pass when building ghc package (required for windows DLL build)
Clemens Fruhwirth <clemens at endorphin.org>**20080101152101]
[Fix building libHSrts.dll by using ghc-pkg instead of grepping in base.cabal
Clemens Fruhwirth <clemens at endorphin.org>**20071230193952]
[Add installPackage to dependencies of make.library.* as it's used by the rule
Clemens Fruhwirth <clemens at endorphin.org>**20071229162707]
[Install dynlibs correctly
Clemens Fruhwirth <clemens at endorphin.org>**20071228184024
Add dynlibdir target to config.mk.in, setting it to @libdir at .
Invoke installPackage with dynlibdir at libraries/Makefile
Make installPackage.hs hand dynlibdir to Cabal.
]
[import ord that alex secretly imported
Isaac Dupree <id at isaac.cedarswampstudios.org>**20071228175727]
[add missing import that happy -agc secretly provided
Isaac Dupree <id at isaac.cedarswampstudios.org>**20071227171335]
[correct type mistake, hidden by happy -agc coercions!
Isaac Dupree <id at isaac.cedarswampstudios.org>**20071226140743]
[API changes for cabal-HEAD
Clemens Fruhwirth <clemens at endorphin.org>**20071227143114
Rename interfacedir to haddockdir
Change empty(Copy|Register)Flags to default(Copy|Register)Flags
Wrap content of RegisterFlags with toFlag (the Flag type is actually just Maybe)
]
[Extend API for compiling to and from Core
Tim Chevalier <chevalier at alum.wellesley.edu>**20071225200411
Added API support for compiling Haskell to simplified Core, and for
compiling Core to machine code. The latter, especially, should be
considered experimental and has only been given cursory testing. Also
fixed warnings in DriverPipeline. Merry Christmas.
]
[When complaining about non-rigid context, give suggestion of adding a signature
simonpj at microsoft.com**20071224122217]
[Improve handling of newtypes (fixes Trac 1495)
simonpj at 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 at 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 at microsoft.com**20071220164621]
[Fix nasty recompilation bug in MkIface.computeChangedOccs
simonpj at 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 at 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 at microsoft.com**20071220180335]
[Remove obselete code for update-in-place (which we no longer do)
simonpj at microsoft.com**20071220173432]
[Implement generalised list comprehensions
simonpj at microsoft.com**20071220111300
This patch implements generalised list comprehensions, as described in
the paper "Comprehensive comprehensions" (Peyton Jones & Wadler, Haskell
Workshop 2007). If you don't use the new comprehensions, nothing
should change.
The syntax is not exactly as in the paper; see the user manual entry
for details.
You need an accompanying patch to the base library for this stuff
to work.
The patch is the work of Max Bolingbroke [batterseapower at hotmail.com],
with some advice from Simon PJ.
The related GHC Wiki page is
http://hackage.haskell.org/trac/ghc/wiki/SQLLikeComprehensions
]
[More bindist-publishing fixes and refactoring
Ian Lynagh <igloo at earth.li>**20071218144505]
[Fix publishing the docs
Ian Lynagh <igloo at earth.li>**20071216122544]
[FIX #1980: must check for ThreadRelocated in killThread#
Simon Marlow <simonmar at microsoft.com>**20071217164610]
[Eliminate external GMP dependencies
Manuel M T Chakravarty <chak at 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
]
[Include ~/Library/Frameworks in the framework searchpath
Ian Lynagh <igloo at earth.li>**20071217233457
Patch from Christian Maeder
]
[Make ghcii.sh executable
Ian Lynagh <igloo at earth.li>**20071217195734]
[Don't rely on distrib/prep-bin-dist-mingw being executable
Ian Lynagh <igloo at earth.li>**20071217195554]
[always try to remove the new file before restoring the old one (#1963)
Simon Marlow <simonmar at microsoft.com>**20071214123345]
[Fix a bug in gen_contents_index
Ian Lynagh <igloo at earth.li>**20071212121154
The library doc index thought that the docs were in $module.html, rather
than $package/$module.html.
]
[Fix lifting of case expressions
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071215000837
We have to explicity check for empty arrays in each alternative as recursive
algorithms wouldn't terminate otherwise.
]
[Use (UArr Int) instead of PArray_Int# in vectorisation
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071215000739]
[Fix bug in VectInfo loading
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071214230914]
[Remove unused vectorisation built-in
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071214011015]
[Treat some standard data cons specially during vectorisation
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071213034855
This is a temporary hack which allows us to vectorise literals.
]
[More vectorisation-related built ins
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071213034839]
[Track changes to package ndp
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071212062714]
[Add vectorisation built-ins
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071212040521]
[FIX #1963: catch Ctrl-C and clean up properly
Simon Marlow <simonmar at microsoft.com>**20071213154056]
[Document the new threshold flags
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071214003003]
[Separate and optional size thresholds for SpecConstr and LiberateCase
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071214002719
This patch replaces -fspec-threshold by -fspec-constr-threshold and
-fliberate-case-threshold. The thresholds can be disabled by
-fno-spec-constr-threshold and -fno-liberate-case-threshold.
]
[Make HscTypes.tyThingId respond not panic on ADataCon
simonpj at microsoft.com**20071204152903]
[Use Unix format for RnPat (no other change)
simonpj at microsoft.com**20071213140532]
[Improve free-variable handling for rnPat and friends (fixes Trac #1972)
simonpj at microsoft.com**20071213140213
As well as fixing the immediate problem (Trac #1972) this patch does
a signficant simplification and refactoring of pattern renaming.
Fewer functions, fewer parameters passed....it's all good. But it
took much longer than I expected to figure out.
The most significant change is that the NameMaker type does *binding*
as well as *making* and, in the matchNameMaker case, checks for unused
bindings as well. This is much tider.
(No need to merge to the 6.8 branch, but no harm either.)
]
[Allow more than 3 simplifier iterations to be run in phase 0
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071213040835
The number of iterations during the first run of phase 0 was erroneously
hardcoded to 3. It should be *at least* 3 (see comments in code) but can be
more.
]
[Document -ddump-simpl-phases
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071213040822]
[New flag: -ddump-simpl-phases
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071213040644
This outputs the core after each simplifier phase (i.e., it produces less
information that -ddump-simpl-iterations).
]
[Don't dump simplifier iterations with -dverbose-core2core
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071213034635
SimonPJ says this is the correct behaviour. We still have
-ddump-simpl-iterations.
]
["list --simple-output" should be quiet when there are no packages to list
Simon Marlow <simonmar at microsoft.com>**20071212102230
Previously:
$ ghc-pkg list --user --simple-output
ghc-pkg: no matches
$
Now:
$ ghc-pkg list --user --simple-output
$
]
[Fix vectorisation bug
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071206233015]
[Vectorisation-related built ins
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071206040829]
[Teach vectorisation about some temporary conversion functions
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071206032547]
[Vectorise case of unit correctly
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071205221305]
[Teach vectorisation about singletonP
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071205221240]
[Optimise desugaring of parallel array comprehensions
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071205221213]
[Teach vectorisation about tuple datacons
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071205050221]
[Track additions to package ndp
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071205042649]
[Track changes to package ndp
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071205033859]
[Improve pretty-printing of InstDecl
simonpj at microsoft.com**20071210083053
Fixes Trac #1966.
]
[Comments only
Pepe Iborra <mnislaih at gmail.com>**20071208204815]
[Refactoring only
Pepe Iborra <mnislaih at gmail.com>**20071208195222
Suspensions in the Term datatype used for RTTI
always get assigned a Type, so there is no reason
to juggle around with a (Maybe Type) anymore.
]
[Change the format used by :print to show the content of references
Pepe Iborra <mnislaih at gmail.com>**20071208193013
This comes as result of the short discussion linked below.
http://www.haskell.org/pipermail/cvs-ghc/2007-December/040049.html
]
[Help the user when she tries to do :history without :trace
Pepe Iborra <mnislaih at 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
]
[Prevent the binding of unboxed things by :print
Pepe Iborra <mnislaih at gmail.com>**20071208181830]
[Coercions from boxy splitters must be sym'ed in pattern matches
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071208105018]
[Properly keep track of whether normalising given or wanted dicts
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071207071302
- The information of whether given or wanted class dictionaries where
normalised by rewriting wasn't always correctly propagated in TcTyFuns,
which lead to malformed dictionary bindings.
- Also fixes a bug in TcPat.tcConPat where GADT equalities where emitted in
the wrong position in case bindings (which led to CoreLint failures).
]
[TcPat.tcConPat uses equalities instead of GADT refinement
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071120071208
* This patch implements the use of equality constraints instead of GADT
refinements that we have been discussing for a while.
* It just changes TcPat.tcConPat. It doesn't have any of the simplification
and dead code removal that is possible due to this change.
* At the moment, this patch breaks a fair number of GADT regression tests.
]
[Use installPackage for register --inplace as well as installing
Ian Lynagh <igloo at earth.li>**20071207234652
We also need to do the GHC.Prim hack when registering inplace or the
tests that use it fail.
]
[Fix the libraries Makefile
Ian Lynagh <igloo at 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 at earth.li>**20071205013703]
[Add the hscolour.css from hscolour 1.8
Ian Lynagh <igloo at earth.li>**20071205011733]
[BIN_DIST_INST_SUBDIR Needs to be defined in config.mk so ./Makefile can see it
Ian Lynagh <igloo at earth.li>**20071207121317]
[#include ../includes/MachRegs.h rather than just MachRegs.h
Ian Lynagh <igloo at earth.li>**20071205170335
This fixes building on NixOS. I'm not sure why it worked everywhere else,
but not on NixOS, before.
]
[Fix bindist creation: readline/config.mk is gone
Ian Lynagh <igloo at earth.li>**20071203123031]
[FIX #1843: Generate different instructions on PPC
Ian Lynagh <igloo at earth.li>**20071203123237
The old ones caused lots of
unknown scattered relocation type 4
errors. Patch from Chris Kuklewicz.
]
[Refactor gen_contents_index
Ian Lynagh <igloo at earth.li>**20071207183538
Also fixes it with Solaris's sh, spotted by Christian Maeder
]
[Use GHC.Exts rather than GHC.Prim
Ian Lynagh <igloo at earth.li>**20071202234222]
[Alter the base:GHC.Prim hack in installPackage, following changes in base
Ian Lynagh <igloo at earth.li>**20071202215719]
[Remove debug warning, and explain why
simonpj at microsoft.com**20071207170507]
[comment only
Simon Marlow <simonmar at microsoft.com>**20071206092422]
[comment typo
Simon Marlow <simonmar at microsoft.com>**20071206092412]
[add Outputable instance for OccIfaceEq
Simon Marlow <simonmar at microsoft.com>**20071206092403]
[Workaround for #1959: assume untracked names have changed
Simon Marlow <simonmar at 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 at 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").
]
[move FP_FIND_ROOT after the "GHC is required" check
Simon Marlow <simonmar at microsoft.com>**20071205101814]
[FIX #1110: hackery also needed when running gcc for CPP
Simon Marlow <simonmar at microsoft.com>**20071205150230]
[Teach :print to follow references (STRefs and IORefs)
Pepe Iborra <mnislaih at gmail.com>**20071204105511
Prelude Data.IORef> :p l
l = (_t4::Maybe Integer) : (_t5::[Maybe Integer])
Prelude Data.IORef> p <- newIORef l
Prelude Data.IORef> :p p
p = GHC.IOBase.IORef (GHC.STRef.STRef {((_t6::Maybe Integer) :
(_t7::[Maybe Integer]))})
Prelude Data.IORef> :sp p
p = GHC.IOBase.IORef (GHC.STRef.STRef {(_ : _)})
I used braces to denote the contents of a reference.
Perhaps there is a more appropriate notation?
]
[refactoring only
Pepe Iborra <mnislaih at gmail.com>**20071202125400]
[Change --shared to -shared in Win32 DLL docs
simonpj at microsoft.com**20071204154023]
[protect console handler against concurrent access (#1922)
Simon Marlow <simonmar at microsoft.com>**20071204153918]
[Make eta reduction check more carefully for bottoms (fix Trac #1947)
simonpj at 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!
]
[Improve inlining for INLINE non-functions
simonpj at microsoft.com**20071204114955
(No need to merge to 6.8, but no harm if a subsequent patch needs it.)
The proximate cause for this patch is to improve the inlining for INLINE
things that are not functions; this came up in the NDP project. See
Note [Lone variables] in CoreUnfold.
This caused some refactoring that actually made things simpler. In
particular, more of the inlining logic has moved from SimplUtils to
CoreUnfold, where it belongs.
]
[fix race conditions in sandboxIO (#1583, #1922, #1946)
Simon Marlow <simonmar at microsoft.com>**20071204114444
using the new block-inheriting forkIO (#1048)
]
[:cd with no argument goes to the user's home directory
Simon Marlow <simonmar at microsoft.com>**20071204113945
Seems better than getting a confusing 'cannot find directory' exception.
]
[forkIO starts the new thread blocked if the parent is blocked (#1048)
Simon Marlow <simonmar at microsoft.com>**20071204110947]
[Improve eta reduction, to reduce Simplifier iterations
simonpj at 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.
]
[Don't default to stripping binaries when installing
Ian Lynagh <igloo at earth.li>**20071202195817]
[Improve pretty-printing for Insts
simonpj at microsoft.com**20071128173125]
[Reorganise TcSimplify (again); FIX Trac #1919
simonpj at 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 #1914: GHCi forgot all the modules that were loaded before an error
Simon Marlow <simonmar at microsoft.com>**20071130130734]
[FIX #1744: ignore the byte-order mark at the beginning of a file
Simon Marlow <simonmar at microsoft.com>**20071130101100]
[FIX Trac #1935: generate superclass constraints for derived classes
simonpj at 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.
]
[Print a bit more info in VarBinds (no need to merge)
simonpj at microsoft.com**20071128150354]
[Check for duplicate bindings in CoreLint
simonpj at microsoft.com**20071128150214]
[add comment
Simon Marlow <simonmar at microsoft.com>**20071128111417]
[FIX #1916: don't try to convert float constants to int in CMM optimizer
Bertram Felgenhauer <int-e at gmx.de>**20071122095513]
[give a more useful message when the static flags have not been initialised (#1938)
Simon Marlow <simonmar at microsoft.com>**20071127135435]
[Rebuild utils with the stage1 compiler when making a bindist; fixes trac #1860
Ian Lynagh <igloo at 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 at earth.li>**20071127195605
It wasn't doing the right thing for bindists. Let's rethink...
]
[FIX #1925: the interpreter was not maintaining tag bits correctly
Simon Marlow <simonmar at microsoft.com>**20071127122614
See comment for details
]
[add missing instruction: ALLOC_AP_NOUPD
Simon Marlow <simonmar at microsoft.com>**20071127122604]
[Check tag bits on the fun pointer of a PAP
Simon Marlow <simonmar at microsoft.com>**20071126160420]
[canonicalise the path to HsColour
Simon Marlow <simonmar at microsoft.com>**20071126141614]
[Consistently put www. on the front of haskell.org in URLs
Ian Lynagh <igloo at earth.li>**20071126215256]
[Fix some more URLs
Ian Lynagh <igloo at earth.li>**20071126214147]
[Tweak some URLs
Ian Lynagh <igloo at earth.li>**20071126194148]
[Fix some links
Ian Lynagh <igloo at earth.li>**20071126184406]
[Copy gmp stamps into bindists, so we don't try and rebuild gmp
Ian Lynagh <igloo at earth.li>**20071125211919]
[On Windows, Delete the CriticalSection's we Initialize
Ian Lynagh <igloo at earth.li>**20071125125845]
[On Windows, add a start menu link to the flag reference
Ian Lynagh <igloo at earth.li>**20071125124429]
[Remove html/ from the paths we put in the start menu on Windows
Ian Lynagh <igloo at earth.li>**20071125124150]
[MERGED: Make ":" in GHCi repeat the last command
Ian Lynagh <igloo at earth.li>**20071125122020
Ian Lynagh <igloo at 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.
]
[MERGED: Put library docs in a $pkg, rather than $pkgid, directory; fixes trac #1864
Ian Lynagh <igloo at earth.li>**20071124212305
Ian Lynagh <igloo at earth.li>**20071124171220
]
[Don't make a library documentation prologue
Ian Lynagh <igloo at 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 at earth.li>**20071124211629]
[Define install-strip in Makefile
Ian Lynagh <igloo at earth.li>**20071124205037]
[Define install-strip in distrib/Makefile
Ian Lynagh <igloo at earth.li>**20071124204803]
[Install gmp from bindists; fixes trac #1848
Ian Lynagh <igloo at earth.li>**20071124185240]
[(native gen) fix code generated for GDTOI on x86_32
Bertram Felgenhauer <int-e at gmx.de>**20071121063942
See trac #1910.
]
[Copy the INSTALL hack from mk/config.mk.in into distrib/Makefile-bin-vars.in
Ian Lynagh <igloo at 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 at earth.li>**20071124162450]
[Document --info in the +RTS -? help
Ian Lynagh <igloo at earth.li>**20071123204352]
[MERGED: If we have hscolour then make source code links in teh haddock docs
Ian Lynagh <igloo at earth.li>**20071123233113
Fri Nov 23 13:15:59 PST 2007 Ian Lynagh <igloo at earth.li>
]
[Tidy and trim the type environment in mkBootModDetails
simonpj at microsoft.com**20071123153519
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.
]
[refactor: HscNothing and boot modules do not need desugaring
Simon Marlow <simonmar at microsoft.com>**20071123135237]
[FIX #1910: fix code generated for GDTOI on x86_32
Bertram Felgenhauer <int-e at gmx.de>*-20071121102627]
[Properly ppr InstEqs in wanteds of implication constraints
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071122093002]
[FIX #1910: fix code generated for GDTOI on x86_32
Bertram Felgenhauer <int-e at gmx.de>**20071121102627]
[Add built-in Double operations to vectorisation
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071122002517]
[Teach vectorisation about Double
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071121054932]
[Vectorise polyexprs with notes
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071121053102]
[Make rebindable do-notation behave as advertised
simonpj at microsoft.com**20071121174914
Adopt Trac #1537. The patch ended up a bit bigger than I expected,
so I suggest we do not merge this into the 6.8 branch. But there
is no funadamental reason why not.
With this patch, rebindable do-notation really does type as if you
had written the original (>>) and (>>=) operations in desguared form.
I ended up refactoring some of the (rather complicated) error-context
stuff in TcUnify, by pushing an InstOrigin into tcSubExp and its
various calls. That means we could get rid of tcFunResTy, and the
SubCtxt type. This should improve error messages slightly
in complicated situations, because we have an Origin to hand
to instCall (in the (isSigmaTy actual_ty) case of tc_sub1).
Thanks to Pepe for the first draft of the patch.
]
[Add DEBUG-only flag -dsuppress-uniques to suppress printing of uniques
simonpj at microsoft.com**20071116152446
This is intended only for debugging use: it makes it easier to
compare two variants without the variations between uniques mattering.
(Of course, you can't actually feed the output to the C compiler
or assembler and expect anything sensible to happen!)
]
[Add -dcore-lint when validating libraries
simonpj at microsoft.com**20071105164733]
[Fix Trac #1913: check data const for derived types are in scope
simonpj at microsoft.com**20071121151428
When deriving an instance, the data constructors should all be in scope.
This patch checks the condition.
]
[Fix Trac #1909: type of map in docs
simonpj at microsoft.com**20071120160152]
[Move file locking into the RTS, fixing #629, #1109
Simon Marlow <simonmar at 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 Trac #1825: standalone deriving Typeable
simonpj at 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 #1715: egregious bug in ifaceDeclSubBndrs
simonpj at 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.
]
[Always do 'setup makefile' before building each library
Simon Marlow <simonmar at 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.
]
[FIX #1847 (improve :browse! docs, fix unqual)
claus.reinke at 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
]
[Track changes to package ndp
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071120033716]
[Temporary hack for passing PArrays from unvectorised to vectorised code
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071120024545]
[Bind NDP stuff to [:.:] arrays
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071119020302]
[Don't treat enumerations specially during vectorisation for the moment
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071119013729]
[Fix bugs in vectorisation of case expressions
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071119013714]
[More built-in NDP combinators
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071119012205]
[New vectorisation built-ins
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071118051940]
[Fix bug in conversion unvect/vect
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071118051926]
[Extend built-in vectorisation environments
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071118045219]
[Fix bug in generation of environments for vectorisation
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071118045203]
[Add builtin var->var mapping to vectorisation
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071118042605]
[Extend vectorisation built-in mappings with datacons
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071118034351]
[Change representation of parallel arrays of enumerations
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071118033355]
[Add vectorisation-related builtin
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071118031513]
[Teach vectorisation about Bool
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071117042714]
[Incomplete support for boxing during vectorisation
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071117040739]
[Make sure some TyCons always vectorise to themselves
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071117040537]
[Simple conversion vectorised -> unvectorised
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071117023029]
[Fix bug in case vectorisation
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071117015014]
[Vectorisation of algebraic case expressions
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071116074814]
[More vectorisation-related built-ins
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071116061831]
[Vectorisation utilities
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071116051037]
[Add vectorisation built-ins
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071116050959]
[Fix vectorisation of binders in case expressions
Roman Leshchinskiy <rl at cse.unsw.edu.au>**20071116021833]
[Two small typos in the flags summary (merge to 6.8 branch)
simonpj at microsoft.com**20071119134639]
[Improve the situation for Trac #959: civilised warning instead of a trace msg
simonpj at 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.
]
[FIX Trac #1806: test for correct arity for datacon in infix pattern patch
simonpj at microsoft.com**20071119114301
Happily the fix is easy; pls merge
]
[Accept x86_64-*-freebsd* as well as amd64-*-freebsd* in configure.ac
Ian Lynagh <igloo at earth.li>**20071117154502
Patch from Brian P. O'Hanlon
]
[Attempt at fixing #1873, #1360
Simon Marlow <simonmar at 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}.
]
[Wibble to fix Trac #1901 (shorten messsage slightly)
simonpj at microsoft.com**20071116150341]
[Improve links from flag reference to the relevant section; and improve doc of RankN flags
simonpj at microsoft.com**20071116145816]
[FIX Trac #1901: check no existential context in H98 mode
simonpj at microsoft.com**20071116145609]
[Improve documentation of data type declarations (Trac #1901)
simonpj at microsoft.com**20071116081841]
[Change the command-line semantics for query commands
Simon Marlow <simonmar at microsoft.com>**20071116132046
From the help text:
Commands that query the package database (list, latest, describe,
field) operate on the list of databases specified by the flags
--user, --global, and --package-conf. If none of these flags are
given, the default is --global --user.
This makes it possible to query just a single database (e.g. the
global one without the user one), which needed tricks to accomplish
before.
]
[use "ghc-pkg latest --global" instead of "ghc-pkg list --simple-output"
Simon Marlow <simonmar at microsoft.com>**20071116122018
The former now does the right thing: it uses the global database only,
and picks the most recent package with the given name.
]
[Disallow installing packages whose names differ in case only.
Simon Marlow <simonmar at microsoft.com>**20071116121153
--force overrides. Requested by Duncan Coutts, with a view to
treating package names as case-insensitive in the future.
]
[FIX BUILD (with GHC 6.2.x): update .hi-boot file
Simon Marlow <simonmar at microsoft.com>**20071116101227]
[FIX #1828: installing to a patch with spaces in
Simon Marlow <simonmar at 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.
]
[on Windows, install to a directory with spaces (test for #1828)
Simon Marlow <simonmar at microsoft.com>**20071115155327]
[FIX #1679: crash on returning from a foreign call
Simon Marlow <simonmar at 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.
]
[Avoid the use of unversioned package dependencies
Simon Marlow <simonmar at microsoft.com>**20071115103249
Fortunately "ghc-pkg list $pkg --simple-output" is a good way to add
the version number.
]
[FIX #1596 (remove deprecated --define-name)
Simon Marlow <simonmar at microsoft.com>**20071114165323
Also remove the old command-line syntax for ghc-pkg, which was not
documented. Do not merge.
]
[FIX #1837: remove deprecated support for unversioned dependencies (do not merge)
Simon Marlow <simonmar at microsoft.com>**20071114161044
]
[wibble
Pepe Iborra <mnislaih at gmail.com>**20071114233356]
[Make pprNameLoc more robust in absence of loc information
Pepe Iborra <mnislaih at gmail.com>**20071114233343]
[Try to manage the size of the text rendered for ':show bindings'
Pepe Iborra <mnislaih at gmail.com>**20071114231601]
[Make the Term ppr depth aware
Pepe Iborra <mnislaih at gmail.com>**20071114183417]
[Use paragraph fill sep where possible
Pepe Iborra <mnislaih at gmail.com>**20071114181233]
[Make SpecConstr work again
simonpj at 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.
]
[Documentation only - fix typo in flags reference
Tim Chevalier <chevalier at alum.wellesley.edu>**20071115055748]
[Avoid making Either String an instance of Monad in the Haddock parser
David Waern <david.waern at gmail.com>**20071114204050]
[FIX 1463 (implement 'ghc-pkg find-module')
claus.reinke at 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)
]
[remove --define-name from the --help usage message (#1596)
Simon Marlow <simonmar at microsoft.com>**20071114153417
]
[FIX #1837: emit deprecated message for unversioned dependencies
Simon Marlow <simonmar at microsoft.com>**20071114153010]
[Fix #782, #1483, #1649: Unicode GHCi input
Simon Marlow <simonmar at 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.
]
[Fix build
David Waern <david.waern at gmail.com>**20071114125842
I had forgot to update HaddockLex.hi-boot-6, so the build with 6.2.2
failed. This fixes that.
]
[FIX Trac 1662: actually check for existentials in proc patterns
simonpj at 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 Trac 1888; duplicate INLINE pragmas
simonpj at 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.
]
[Run the -frule-check pass more often (when asked)
simonpj at microsoft.com**20071114104632]
[GHCi debugger: added a new flag, -fno-print-binding-contents
Pepe Iborra <mnislaih at gmail.com>**20071113174539
The contents of bindings show at breakpoints and by :show bindings
is rendered using the same printer that :print uses.
But sometimes the output it gives spans over too many lines and the
user may want to be able to disable it.
]
[Fix Trac 1865: GHCi debugger crashes with :print
Pepe Iborra <mnislaih at gmail.com>**20071113170113]
[Replaced two uses of head b explicit pattern matching
Pepe Iborra <mnislaih at gmail.com>**20071013113136]
[Print binding contents in :show bindings
Pepe Iborra <mnislaih at gmail.com>**20071006123952]
[ Leftovers from the 1st GHCi debugger prototype
Pepe Iborra <mnislaih at gmail.com>**20071004204718]
[Following an indirection doesn't count as a RTTI step
Pepe Iborra <mnislaih at gmail.com>**20070928091941]
[FIX #1653 (partially): add -X flags to completion for :set
Simon Marlow <simonmar at microsoft.com>**20071113153257]
[Merge from Haddock: Add <<url>> for images
David Waern <david.waern at gmail.com>**20071112220537
A merge of this patch:
Mon Aug 7 16:22:14 CEST 2006 Simon Marlow <simonmar at microsoft.com>
* Add <<url>> for images
Submitted by: Lennart Augustsson
Please merge to the 6.8.2 branch.
]
[Improve documentation of INLINE, esp its interactions with other transformations
simonpj at microsoft.com**20071112160240]
[Comment re Trac #1220
simonpj at microsoft.com**20071112154109]
[Merge from Haddock: Modify lexing of /../
David Waern <david.waern at gmail.com>**20071112023856
Tue Aug 28 11:19:54 CEST 2007 Simon Marlow <simonmar at 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 at gmail.com>**20071112013439
Tue Jan 9 14:14:34 CET 2007 Simon Marlow <simonmar at 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 at gmail.com>**20071112013143
Fri Jan 5 12:13:41 CET 2007 Simon Marlow <simonmar at microsoft.com>
* Fix up a case of extra vertical space after a code block
Please merge this to the 6.8.2 branch
]
[Remove ex-extralibs from libraries/Makefile
Ian Lynagh <igloo at earth.li>**20071111213618]
[Remove the X11 and HGL libraries from extralibs
Ian Lynagh <igloo at 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).
]
[arrows is no longer an extralib
Ian Lynagh <igloo at earth.li>**20071027123656]
[Turn -fprint-bind-result off by default
Ian Lynagh <igloo at earth.li>**20071111001126]
[TAG 2007-11-11
Ian Lynagh <igloo at earth.li>**20071111161540]
Patch bundle hash:
7ecdbaccf82dc072c35fd8277577b2c67a014c6c
-------------- next part --------------
New patches:
[add test for prefix unboxed tuples
Isaac Dupree <id at isaac.cedarswampstudios.org>**20080102132824] {
hunk ./tests/ghc-regress/parser/should_compile/all.T 77
+test('read063', normal, compile, [''])
addfile ./tests/ghc-regress/parser/should_compile/read063.hs
hunk ./tests/ghc-regress/parser/should_compile/read063.hs 1
+{-# LANGUAGE MagicHash, UnboxedTuples #-}
+
+--module Foo where
+
+import GHC.Exts
+
+--you can use this if you want to test running it...
+main = print (I# (
+ f1pat 1# +# f1prepat 1#
+ +# f2pat 1# +# f2prepat 1#
+ +# f3pat 1# +# f3prepat 1#
+ ))
+
+--unboxed tuples are of sizes 1,2,3...
+--(normal tuples are 0,2,3...)
+
+--make sure it's really the _unboxed_ tuples
+--being used by putting unboxed values in,
+--which are forbidden in boxed tuples
+
+f1 :: Int# -> (# Int# #)
+f1 i = (# i #)
+-- a space is needed in (# #) so that it's not
+-- lexed/parsed as an operator named "##"
+--(even though the error message about mismatched
+--kinds for "instance Functor (# #)" names the type
+--as "(##)"
+-- Kind mis-match
+-- Expected kind `* -> *', but `(##)' has kind `? -> (#)'
+-- In the instance declaration for `Functor (##)'
+f1prefix :: Int# -> (# #) Int#
+f1prefix i = (# #) i
+--test that prefix and non-prefix versions
+--are the same type by switching the case-argument
+f1pat a = case f1prefix a of (# i #) -> i +# 1#
+f1prepat a = case f1 a of (# #) i -> i +# 1#
+
+f2 :: Int# -> (# Int#, Int# #)
+f2 i = (# i, i #)
+f2prefix :: Int# -> (#,#) Int# Int#
+f2prefix i = (#,#) i i
+f2pat a = case f2prefix a of (# i, j #) -> i +# j
+f2prepat a = case f2 a of (#,#) i j -> i +# j
+
+f3 :: Int# -> (# Int#, Int#, Int# #)
+f3 i = (# i, i, i #)
+f3prefix :: Int# -> (#,,#) Int# Int# Int#
+f3prefix i = (#,,#) i i i
+f3pat a = case f3prefix a of (# i, j, k #) -> i +# j +# k
+f3prepat a = case f3 a of (#,,#) i j k -> i +# j +# k
+
}
Context:
[Accept output for tcfail172, too
Tim Chevalier <chevalier at alum.wellesley.edu>**20071225190352]
[Accept output for gadt13, gadt7
Tim Chevalier <chevalier at alum.wellesley.edu>**20071225185124]
[Enable an old test for Trac 323
simonpj at microsoft.com**20071221095242]
[Test for Trac 1988
simonpj at microsoft.com**20071221092410]
[Test for Trac 1495
simonpj at microsoft.com**20071221091605]
[Add test for Trac 1981
simonpj at microsoft.com**20071221090340]
[Replace mentions of way 'opt' by the new 'optc' (often adding optasm too)
simonpj at microsoft.com**20071221090151
Its really a testsuite-framework bug that these mentions of 'opt' have
lingered so long. They should have been rejected as a non-existent way.
]
[Tests for generalised list comprehensions
simonpj at microsoft.com**20071220105906]
[Give a ticket # to expect_broken
Pepe Iborra <mnislaih at gmail.com>**20071220093444]
[Unsoundness in the RTTI scheme
Pepe Iborra <mnislaih at gmail.com>**20071219191932]
[add test for #1980
Simon Marlow <simonmar at microsoft.com>**20071218092731]
[Fix outofmem for other 32-bit Linux platforms
Ian Lynagh <igloo at earth.li>**20071217231845]
[6.8 updates
Ian Lynagh <igloo at earth.li>**20071215205108]
[Simplify the testsuite driver
Ian Lynagh <igloo at earth.li>**20071215195350
Now instead of saying, e.g.
namebase_if_compiler_lt('ghc','6.9', 'foo-6.8')
you say
if_compiler_lt('ghc','6.9', namebase('foo-6.8'))
]
[add 6.8 output
Simon Marlow <simonmar at microsoft.com>**20071212142523]
[Update tests for Trac #1972
simonpj at microsoft.com**20071213140125]
[More 6.8 fixes
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071213033710]
[Make GADT tests work with 6.8 again
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071213031332]
[Test for #1723
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071211071414]
[Test for #1722
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071211062431]
[Test from #1815
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071211055023]
[accept output
Simon Marlow <simonmar at microsoft.com>**20071212141945]
[add 6.8 output
Simon Marlow <simonmar at microsoft.com>**20071212141109]
[countReaders001 doesn't work on Windows
Simon Marlow <simonmar at microsoft.com>**20071212134000]
[fix this test on windows (avoid non-portable use of :!)
Simon Marlow <simonmar at microsoft.com>**20071212133745]
[Adapt to changes in :print (contents of references)
Pepe Iborra <mnislaih at gmail.com>**20071209182141]
[Remaining regression of change from GADT refinement to equalities
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071208111646
* gadt/lazypatok fails
* tcfail167's error message gets worse; ie, no more
"Inaccessible case alternative: Can't match types `Char' and `Float'"
Both of these are minor regressions that will be addressed in due time.
]
[gadt: slighly changed error msg with equalities
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071208110824]
[type families: Temporary fail
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071208110317
- GADT3 fails with equalities instead of GADT refinement due to a known bug
]
[Fixed by removing GADT refinements in favour of equalities
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071208110253]
[Fixed by correcting normalisation of dicts
Manuel M T Chakravarty <chak at cse.unsw.edu.au>**20071207071954]
[Test for Trac #1370
simonpj at microsoft.com**20071207170427]
[test now passes
Simon Marlow <simonmar at microsoft.com>**20071206092511]
[add test for #1959
Simon Marlow <simonmar at microsoft.com>**20071205152025]
[add test for #1048
Simon Marlow <simonmar at microsoft.com>**20071205102619]
[Added test for :print of a reference
Pepe Iborra <mnislaih at gmail.com>**20071205114017]
[GADT9 passes now that we have fixed #1919
simonpj at microsoft.com**20071203122458]
[Skip arrowrun004 in the 6.8 branch
Ian Lynagh <igloo at earth.li>**20071201214110]
[Skip arrowrun002 for the 6.8 branch
Ian Lynagh <igloo at earth.li>**20071201213910]
[countReaders001 now passes in the 6.8 branch
Ian Lynagh <igloo at earth.li>**20071201174337]
[Add 6.8 branch output for break021
Ian Lynagh <igloo at earth.li>**20071201174241]
[Add 6.8 branch output for break003
Ian Lynagh <igloo at earth.li>**20071201172005]
[6.8 branch no longer needs special output for ghci026
Ian Lynagh <igloo at earth.li>**20071201171445]
[Update ghci024 output for the 6.8 branch
Ian Lynagh <igloo at earth.li>**20071201171241]
[Add tcfail187 output for the 6.8 branch
Ian Lynagh <igloo at earth.li>**20071201170905]
[Add 6.8-branch output for tcfail178
Ian Lynagh <igloo at earth.li>**20071201170626]
[tcfail175 output is now the same in 6.8 and HEAD
Ian Lynagh <igloo at earth.li>**20071201170041]
[Give GHC 6.8 output for tcfail168
Ian Lynagh <igloo at earth.li>**20071201165537]
[Add 6.8-branch output for rw
Ian Lynagh <igloo at earth.li>**20071201164015]
[rebindable8 is still broken in GHC 6.8
Ian Lynagh <igloo at earth.li>**20071201163425]
[FD1 now behaves the same in 6.8 and HEAD
Ian Lynagh <igloo at earth.li>**20071201162525]
[fromdos test FD1
Ian Lynagh <igloo at earth.li>**20071201162347]
[Add expected output for 1744
Ian Lynagh <igloo at earth.li>**20071201162018]
[add test for #1914
Simon Marlow <simonmar at microsoft.com>**20071130132214]
[add test for #1744
Simon Marlow <simonmar at microsoft.com>**20071130100927]
[Update output for change to deriving (Trac #1935)
simonpj at microsoft.com**20071128161524]
[Test for Trac #1935
simonpj at microsoft.com**20071128150904]
[add test for #1916
Simon Marlow <simonmar at microsoft.com>**20071128115654]
[fix this test when CLEANUP is not done
Simon Marlow <simonmar at microsoft.com>**20071127123338]
[Be more consistent in printing about framework failures
Ian Lynagh <igloo at earth.li>**20071123181712]
[Make Church2 fail as it (currently) should
simonpj at microsoft.com**20071123134635]
[Simple{20,22,23} now pass in the 6.8 branch
Ian Lynagh <igloo at earth.li>**20071122134526]
[openFile008: do "ulimit -n 1024" first
Simon Marlow <simonmar at microsoft.com>**20071122102223
Hopefully fixes this on MacOS where the limit is 256 by default
]
[remove the _with_prefix forms of compile_and_run, add cmd_prefix() config instead
Simon Marlow <simonmar at microsoft.com>**20071122102129]
[add test for #1753
Simon Marlow <simonmar at microsoft.com>**20071122094048]
[Update output (slight improvements on the whole)
simonpj at microsoft.com**20071122095759]
[Update output
simonpj at microsoft.com**20071122092908]
[Update test output
simonpj at microsoft.com**20071122091926
This is actually *slightly* worse than before, because of the
error-message refactoring in TcUnify. The previous message
reported a mis-match between
(a->Bool) and (Bool -> Bool)
whereas the new one only complains of mismatch between
a and Bool
Trouble is, the old one was vulnerable to the problem
described in the comments on tcSubExp.
So I'm accepting this regression for now; let's see if
anyone notices!
]
[Update for rebindable changes (Trac #1537)
simonpj at microsoft.com**20071121175551]
[Test for Trac #1913
simonpj at microsoft.com**20071121151508]
[countReaders001 now passes
Simon Marlow <simonmar at microsoft.com>**20071120143539]
[test repeated open/close of 1000 files
Simon Marlow <simonmar at microsoft.com>**20071120114757]
[Tests for Trac #1825
simonpj at microsoft.com**20071120133615]
[augment ghci025 to cover #1847
claus.reinke at talk21.com**20071108013949
- need to test :browse! in different contexts
- -s has disappeared, see #1799 for sorting
- 'imported from' clarified to 'imported via'
]
[Test for Trac #959
simonpj at microsoft.com**20071119122900]
[Test for Trac #1806
simonpj at microsoft.com**20071119114227]
[update to test #1873, #1360
Simon Marlow <simonmar at microsoft.com>**20071116155948]
[Add -XExistentialQuantification flag (should have been there all along)
simonpj at microsoft.com**20071116154337]
[small tidyups to thie Makefile
Simon Marlow <simonmar at microsoft.com>**20071116131914]
[fix this test for case sensitive filenames
Simon Marlow <simonmar at microsoft.com>**20071116131837]
[1603 depends on the gcc version, which we can't easily account for, so skip
Simon Marlow <simonmar at microsoft.com>**20071116093428]
[outofmem2 passes on the stable branch
Simon Marlow <simonmar at microsoft.com>**20071115162357]
[add test for #1679
Simon Marlow <simonmar at microsoft.com>**20071115131517]
[FIX #1840: outofmem and outofmem2 need ulimit settings to avoid filling up swap
Simon Marlow <simonmar at microsoft.com>**20071114164525]
[Accept output
Pepe Iborra <mnislaih at gmail.com>**20071114232553
The test now actually passes
]
[Add test for #1892 - :info of a bkpt binding panics
Pepe Iborra <mnislaih at gmail.com>**20071114233829]
[Adapt output to improvements in the TTerm pretty printer
Pepe Iborra <mnislaih at gmail.com>**20071114232445]
[simplify ghci024.py, fix -fprint-bind-result, -fno-ignore-breakpoints, -fprint-bind-contents
claus.reinke at talk21.com**20071114130043
- as ghc 6.9 flags are beginning to diverge, we need
a simpler way of specifying version-specific flags
or settings: have two entirely separate sections,
instead of one section with too many patches.
even if that doubles the script size, it should
be easier to edit. also add a warning that
ghci024.stdout is a generated file.
- default for -fprint-bind-result has changed
- -fno-ignore-breakpoints is gone
- -fprint-bind-contents is new
]
[Add test for #782
Simon Marlow <simonmar at microsoft.com>**20071114141111]
[Test for Trac #1662
simonpj at microsoft.com**20071114113740]
[Test for Trac #1888
simonpj at microsoft.com**20071114104458]
[Add a test for #1827 (:print panicswith overloaded values))
Pepe Iborra <mnislaih at gmail.com>**20071113172048]
[Remove some tabs in break020.hs
Pepe Iborra <mnislaih at gmail.com>**20071113163912]
[Accept output
Pepe Iborra <mnislaih at gmail.com>**20071113163451]
[FIX ghci024 for unregisterised, powerpc_apple_darwin, and ghc-6.8
claus.reinke at talk21.com**20071111224038
- for unregisterised platforms, default is '-fno-asm-mangling'
- powerpc_apple_darwin fails on ':set -package ghc' (#1845)
- for ghc 6.8, -fno-run-cps and -fno-convert-to-zipper-and-back
do not exist
]
[add test for #1603
Simon Marlow <simonmar at microsoft.com>**20071108164056]
[add test for #1852
Simon Marlow <simonmar at microsoft.com>**20071108143533]
[Update output
Ian Lynagh <igloo at earth.li>**20071111223835]
[TAG 2007-11-11
Ian Lynagh <igloo at earth.li>**20071111170042]
Patch bundle hash:
5d453d4c7e80af5c9d8e5557caa78f7ebe2946c7
More information about the Cvs-ghc
mailing list