Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Refactor LHsTyVarBndrs to fix Trac #6081 | Simon Peyton Jones | 2012-05-11 | 5 | -159/+209 |
* | Fix typo in error message (Trac #6076) | Simon Peyton Jones | 2012-05-04 | 1 | -1/+1 |
* | Tidy up a remaining glitch in unification | Simon Peyton Jones | 2012-05-01 | 1 | -15/+14 |
* | Fix lookup of fixity signatures for type operators (#6027) | Paolo Capriotti | 2012-04-26 | 2 | -20/+42 |
* | Fix looking up of Exact RdrNames, fixes Trac #6005 | Simon Peyton Jones | 2012-04-25 | 1 | -9/+34 |
* | Wibble to comment (to keep Haddock happy) | Simon Peyton Jones | 2012-04-25 | 1 | -1/+1 |
* | Report deprecations at occurrence sites, not once per module | Simon Peyton Jones | 2012-04-25 | 2 | -97/+94 |
* | Move free-var info from InstDecl to FamInstDecl | Simon Peyton Jones | 2012-04-20 | 1 | -19/+25 |
* | Do SCC on instance declarations (fixes Trac #5715) | Simon Peyton Jones | 2012-04-20 | 3 | -30/+27 |
* | Allow kind-variable binders in type signatures | Simon Peyton Jones | 2012-04-13 | 2 | -17/+128 |
* | Merge branch 'master' of http://darcs.haskell.org//ghc | Simon Peyton Jones | 2012-04-05 | 1 | -3/+7 |
|\ | |||||
| * | Don't crash if there's a malformed instance! | Simon Peyton Jones | 2012-03-30 | 1 | -3/+7 |
* | | Improve error reporting for out-of-scope variables | Simon Peyton Jones | 2012-04-05 | 1 | -1/+3 |
|/ | |||||
* | Make the LocalRdrEnv keep track of all the Names that are in scope | Simon Peyton Jones | 2012-03-28 | 3 | -7/+26 |
* | Merge branch 'master' of http://darcs.haskell.org//ghc | Simon Peyton Jones | 2012-03-26 | 2 | -1/+9 |
|\ | |||||
| * | Fix pretty-printing of type operators in imports/exports. | Iavor S. Diatchki | 2012-03-24 | 1 | -1/+1 |
| * | Merge remote-tracking branch 'origin/master' into type-nats | Iavor S. Diatchki | 2012-03-19 | 1 | -11/+13 |
| |\ | |||||
| * \ | Merge remote-tracking branch 'origin/master' into type-nats | Iavor S. Diatchki | 2012-03-13 | 8 | -675/+604 |
| |\ \ | |||||
| * \ \ | Merge remote-tracking branch 'origin/master' into type-nats | Iavor S. Diatchki | 2012-02-12 | 5 | -44/+55 |
| |\ \ \ | |||||
| * | | | | Add support for type-level "strings". | Iavor S. Diatchki | 2012-01-24 | 2 | -5/+6 |
| * | | | | Merge remote-tracking branch 'origin/master' into type-nats | Iavor S. Diatchki | 2012-01-24 | 5 | -14/+14 |
| |\ \ \ \ | |||||
| * \ \ \ \ | Merge in more HEAD, fix stuff up | Simon Peyton Jones | 2012-01-23 | 2 | -5/+5 |
| |\ \ \ \ \ | |||||
| * \ \ \ \ \ | Merge remote-tracking branch 'origin/master' into type-nats | Iavor S. Diatchki | 2012-01-07 | 1 | -29/+45 |
| |\ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ | Merge branch 'master' into type-nats | Iavor S. Diatchki | 2011-12-29 | 4 | -31/+59 |
| |\ \ \ \ \ \ \ | |||||
| * | | | | | | | | Add numeric types to the parsing part of the front end. | Iavor S. Diatchki | 2011-12-18 | 2 | -0/+8 |
* | | | | | | | | | Make the 'extract' functions to find free type variables | Simon Peyton Jones | 2012-03-26 | 2 | -11/+16 |
* | | | | | | | | | Complete refactoring of HsDecls/HsTyDefn | Simon Peyton Jones | 2012-03-26 | 1 | -1/+2 |
* | | | | | | | | | Merge branch 'master' of http://darcs.haskell.org//ghc | Simon Peyton Jones | 2012-03-24 | 2 | -4/+4 |
|\ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|/ | |/| | | | | | | | |||||
| * | | | | | | | | Deal with kind variables brought into scope by a kind signature | Simon Peyton Jones | 2012-03-14 | 1 | -10/+11 |
| * | | | | | | | | Improve error message when interpreter is not enabled (Trac #5919) | Simon Peyton Jones | 2012-03-14 | 1 | -1/+2 |
| | |_|_|_|_|_|/ | |/| | | | | | | |||||
* | | | | | | | | Refactor HsDecls.TyClDecl to extract the type HsTyDefn, which is the | Simon Peyton Jones | 2012-03-22 | 4 | -179/+149 |
* | | | | | | | | Deal with kind variables brought into scope by a kind signature | Simon Peyton Jones | 2012-03-14 | 1 | -10/+11 |
* | | | | | | | | Improve error message when interpreter is not enabled (Trac #5919) | Simon Peyton Jones | 2012-03-12 | 1 | -1/+2 |
|/ / / / / / / | |||||
* | | | | | | | Fix Trac #5892: a coding errors | Simon Peyton Jones | 2012-03-04 | 1 | -4/+4 |
* | | | | | | | Hurrah! This major commit adds support for scoped kind variables, | Simon Peyton Jones | 2012-03-02 | 8 | -666/+592 |
* | | | | | | | Implement "value" imports with the CAPI | Ian Lynagh | 2012-02-26 | 1 | -2/+2 |
* | | | | | | | Remove support for CTYPE pragmas on type synonyms | Ian Lynagh | 2012-02-22 | 1 | -2/+2 |
* | | | | | | | Implement the CTYPE pragma; part of the CApiFFI extension | Ian Lynagh | 2012-02-16 | 1 | -4/+8 |
| |_|_|_|_|/ |/| | | | | | |||||
* | | | | | | Don't allow implicit qualified imports in GHCi when -XSafe on. | David Terei | 2012-02-10 | 1 | -1/+6 |
* | | | | | | Distinguish between normal and qualified unused imports | Trevor Elliott | 2012-02-10 | 1 | -1/+4 |
* | | | | | | Refactor HsDecls again, to put family instances in InstDecl | Simon Peyton Jones | 2012-02-06 | 2 | -21/+31 |
* | | | | | | de-tabbed the hs-boot files | Ian Lynagh | 2012-01-26 | 1 | -13/+6 |
* | | | | | | Rename polyKindsErr to dataKindsErr | Ian Lynagh | 2012-01-26 | 2 | -5/+5 |
* | | | | | | Just rename a local variable | Ian Lynagh | 2012-01-26 | 1 | -2/+2 |
| |_|_|_|/ |/| | | | | |||||
* | | | | | Remove getDOpts; use getDynFlags instead | Ian Lynagh | 2012-01-19 | 4 | -5/+5 |
* | | | | | Split -XDataKinds from -XPolyKinds | Jose Pedro Magalhaes | 2012-01-16 | 2 | -8/+8 |
* | | | | | Fix vectorisation of classes | Manuel M T Chakravarty | 2012-01-16 | 1 | -1/+1 |
| |_|_|/ |/| | | | |||||
* | | | | Implememt -fdefer-type-errors (Trac #5624) | Simon Peyton Jones | 2012-01-12 | 2 | -5/+5 |
| |_|/ |/| | | |||||
* | | | Major refactoring of CoAxioms | Simon Peyton Jones | 2012-01-03 | 1 | -29/+45 |
| |/ |/| | |||||
* | | Merge branch 'master' of http://darcs.haskell.org/ghc | Simon Peyton Jones | 2011-12-23 | 1 | -7/+9 |
|\ \ |