- 25 Apr, 2012 11 commits
-
-
Simon Marlow authored
This has been causing bloat in the src dist for ages. Noticed while looking at #6009, but I don't think this is the bug (./configure always removes ghc-pwd/dist-boot before building ghc-pwd)
-
Simon Peyton Jones authored
* Significant refactoring in tcFamPats and tcConDecl * It seems that we have to allow KindVars (not just TcKindVars during kind unification. See Note [Unifying kind variables] in TcUnify. * Be consistent about zonkQuantifiedTyVars * Split the TcType->TcType zonker (in TcMType) from the TcType->Type zonker (in TcHsSyn) The clever parameterisation was doing my head in, and it's only a small function * Remove some dead code (tcTyVarBndrsGen)
-
Simon Peyton Jones authored
See Note [Splicing Exact names] in RnEnv.
-
-
gckeller authored
-
-
Simon Peyton Jones authored
-
Simon Peyton Jones authored
Fixes Trac #6039, where we have a bogus kind signature data T (a :: j k) = MkT
-
Simon Peyton Jones authored
-
Simon Peyton Jones authored
-
Simon Peyton Jones authored
Fixes Trac #5867, and is generally nicer
-
- 24 Apr, 2012 7 commits
-
-
gckeller authored
-
gckeller authored
Switched off by default. Use -favoid-vect to activate
-
gckeller authored
-
gckeller authored
-
pcapriotti authored
-
- 23 Apr, 2012 4 commits
-
-
Ian Lynagh authored
-
Ian Lynagh authored
-
pcapriotti authored
-
Simon Peyton Jones authored
Reduces wobble in error messages, and is better for the programmer
-
- 22 Apr, 2012 3 commits
-
-
Simon Peyton Jones authored
-
Simon Peyton Jones authored
Fixes Trac #6020
-
Simon Peyton Jones authored
That in turn means that you can derive Show etc in other modules, fixing Trac #6031
-
- 21 Apr, 2012 3 commits
-
-
Ian Lynagh authored
-
Ian Lynagh authored
It allows you to do (high, low) `quotRem` d provided high < d. Currently only has an inefficient fallback implementation.
-
chak@cse.unsw.edu.au. authored
Xcode 4.3 installs the command line tools in a different location as earlier versions of Xcode. With the bootstrapping info, the build fails if the bootstrap compiler was built with an older version of Xcode.
-
- 20 Apr, 2012 9 commits
-
-
Ian Lynagh authored
-
-
Simon Peyton Jones authored
-
-
-
Simon Peyton Jones authored
-
-
Simon Peyton Jones authored
The trouble here is that given {-# LANGUAGE DataKinds, TypeFamilies #-} data instance Foo a = Bar (Bar a) we want to get a sensible message that we can't use the promoted 'Bar' constructor until after its definition; it's a staging error. Bud the staging mechanism that we use for vanilla data declarations don't work here. Solution is to perform strongly-connected component analysis on the instance declarations. But that in turn means that we need to track free-variable information on more HsSyn declarations, which is why so many files are touched. All the changes are boiler-platey except the ones in TcInstDcls.
-
chak@cse.unsw.edu.au. authored
-
- 19 Apr, 2012 1 commit
-
-
dreixel authored
-
- 16 Apr, 2012 2 commits
-
-
pcapriotti authored
-
Simon Peyton Jones authored
Not only does this fix Trac #5853, but it also eliminate the horrid SimplEqsOnly part of the constraint simplifier. The new plan is described in TcRules Note [Simplifying RULE constraints]
-