Repository : ssh://darcs.haskell.org//srv/darcs/ghc
Branch 'type-nats' now includes:
4026038... Nicer pretty printing for tuple kinds
ad0139a... Merge branch 'master' of http://darcs.haskell.org/ghc
7fdc2a3... Add missing case in TcUnify.matchExpectedFunKind
f6983ef... Change how we handle options required by 'way's
c35c5d0... Improve pretty printing for coercions (exp transistivity chains)
bd2aef6... Comment out a particularly verbose trace
2b523dc... Use System Names for evidence variables
adb6bcb... Fix an ASSERT
7fdcf2c... Simplify the reOrient function (no change in behaviour)
453e0ce... Modest refactoring in TcCanonical (and TcSMonad)
b3f2f73... Modest refactoring (put bumpStepCounter into traceFireTcS, and
other simple things)
935fa10... Comments about silent superclasses
316d3ed... Tracing in TcUnify
fd3bd41... Merge branch 'tc-untouchables' of http://darcs.haskell.org/ghc
into tc-untouchables
29ee75a... Remove some old, commented out bits
cddbf86... Allow -static to be used after -dynamic
29f6b87... Do flag consistency checks at the end of flag parsing
d106284... Put libexec binaries in lib/bin/ rather than just lib/
483c763... Refactor the shell-wrapper-creation logic
522a155... Comments, and unused import
902a863... Improve (and simplify) the short-circuiting of Refl coercions
fc8f9c1... Fix typo in the documentation of CApiFFI
2d96202... -fhpc is no longer a static flag (fixes hpc tests)
815dcff... A few more constraint solver improvements
74d6511... Merge remote-tracking branch 'origin/master'
4708d38... Merge branch 'tc-untouchables'
2c207b6... Compare the kinds of type variables when comparing types
a501c95... Make sure that we check for type errors strictly in a Template
Haskell splice, even if -fdefer-type-errors is on
419af69... Give PrimOps a NOINLINE pragma, to suppress silly warnings from
dsRule
58eaacc... Add a flag to tell ghc to use $ORIGIN when linking program
dynamically
0b06d68... Improve constraint solver depth error slightly
baab120... Fix type error in 2c207b6f (Compare the kinds of type variables)
3b980d0... Typo
ba56d20... This big patch re-factors the way in which arrow-syntax is
handled
65e6470... Merge branch 'master' of http://darcs.haskell.org/ghc
898cb09... Build the dynamic way by default on Linux/amd64
7c0b518... The non-dynamic ways now need to explicitly use -static
1b3f274... Add a couple more RTS ways
a6b0ab2... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
30b0871... Add a "Dynamic by default" field to the ghc --info output
d1c8731... Fix the recompilation check for dynamic libraries
6aed04f... Fix Windows build
911bc5c... Windows install fix
16a8414... Actually build things the dynamic way
56a8c8a... Comments only
eb6c3ee... Improve pretty-printing for holes
00cb878... Improve debug tracing slighty
b442ad9... Do not create extra evidence given/derived variables in the
Refl case of rewriteCtFlavor
629d1f4... Improve erorr location for Given errors
b9fccbc... Do not do type-class defaulting if there are insoluble
constraints
ed5ebee... Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
b49ad6b... Load the right object files in ghci
6784ddd... Make adjust_ul handle BCOs
4a138b7... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
7a5f592... Merge remote-tracking branch 'origin/master' into type-nats
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
