summaryrefslogtreecommitdiff
path: root/compiler/parser/RdrHsSyn.lhs
Commit message (Expand)AuthorAgeFilesLines
* Change how macros like ASSERT are definedIan Lynagh2012-06-051-0/+2
* Refactor LHsTyVarBndrs to fix Trac #6081Simon Peyton Jones2012-05-111-12/+13
* Move free-var info from InstDecl to FamInstDeclSimon Peyton Jones2012-04-201-2/+3
* Do SCC on instance declarations (fixes Trac #5715)Simon Peyton Jones2012-04-201-5/+8
* Allow kind-variable binders in type signaturesSimon Peyton Jones2012-04-131-64/+0
* Merge with HEADSimon Peyton Jones2012-03-271-14/+2
|\
| * Remove dead codeJose Pedro Magalhaes2012-03-271-12/+1
* | Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-03-261-1/+50
|\ \ | |/
| * Add -XExplicitNamespaces to enable using 'type' in import/exports.Iavor S. Diatchki2012-03-241-1/+10
| * Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-191-5/+6
| |\
| | * Deal with kind variables brought into scope by a kind signatureSimon Peyton Jones2012-03-141-5/+6
| * | Only parse type literals when using `DataKinds`.Iavor S. Diatchki2012-03-181-0/+14
| * | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-131-15/+37
| |\ \ | | |/
| * | Add support for type-level "strings".Iavor S. Diatchki2012-01-241-1/+1
| * | Merge in more HEAD, fix stuff upSimon Peyton Jones2012-01-231-6/+6
| |\ \
| * | | Change -XTypeOperators to treat all type-operators as type-constructors.Iavor S. Diatchki2012-01-081-1/+26
| * | | Merge branch 'master' into type-natsIavor S. Diatchki2011-12-291-11/+11
| |\ \ \ | | |/ /
| * | | Add numeric types to the parsing part of the front end.Iavor S. Diatchki2011-12-181-0/+1
* | | | Make the 'extract' functions to find free type variablesSimon Peyton Jones2012-03-261-16/+16
* | | | Refactor HsDecls.TyClDecl to extract the type HsTyDefn, which is theSimon Peyton Jones2012-03-221-84/+73
* | | | Deal with kind variables brought into scope by a kind signatureSimon Peyton Jones2012-03-141-5/+6
| |_|/ |/| |
* | | Hurrah! This major commit adds support for scoped kind variables,Simon Peyton Jones2012-03-021-3/+5
* | | Implement "value" imports with the CAPIIan Lynagh2012-02-261-5/+15
* | | Fix parsing of FFI import declsIan Lynagh2012-02-251-3/+11
* | | Remove support for CTYPE pragmas on type synonymsIan Lynagh2012-02-221-3/+2
* | | Small refactoring: Use (Maybe Header) rather than FastStringIan Lynagh2012-02-171-5/+5
* | | Implement the CTYPE pragma; part of the CApiFFI extensionIan Lynagh2012-02-161-4/+7
| |/ |/|
* | Use HsTupleTy [] for unit tuples, uniformlySimon Peyton Jones2011-12-231-11/+11
|/
* Allow full constraint solving under a for-all (Trac #5595)Simon Peyton Jones2011-12-051-0/+1
* Support "phase control" for SPECIALISE pragmasSimon Peyton Jones2011-11-241-1/+2
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-111-24/+14
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-021-1/+2
* Layout onlySimon Peyton Jones2011-10-241-4/+5
* Handle newtypes and type functions correctly in FFI types; fixes #3008Ian Lynagh2011-10-011-3/+3
* Tidy up the shape-checking for instance typesSimon Peyton Jones2011-09-291-21/+0
* Define a TraditionalRecordSyntax extension; fixes #3356Ian Lynagh2011-09-271-0/+10
* Whitespace only in parser/RdrHsSyn.lhsIan Lynagh2011-09-271-284/+284
* Merge branch 'no-pred-ty'Max Bolingbroke2011-09-091-52/+30
|\
| * ConstraintKind -> ConstraintKindsSimon Peyton Jones2011-09-071-2/+2
| * Implement -XConstraintKindMax Bolingbroke2011-09-061-52/+30
* | Implement associated type defaultsMax Bolingbroke2011-09-091-5/+6
* | Revert "Get rid of associated-type default declarations"Max Bolingbroke2011-09-091-2/+3
|/
* Get rid of associated-type default declarationsSimon Peyton Jones2011-09-011-3/+2
* Allow associated types to have fresh parametersSimon Peyton Jones2011-09-011-12/+14
* Change TypeSig and GenericSig to take a list of names (fixes #1595).David Waern2011-06-101-1/+1
* Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-genericsJose Pedro Magalhaes2011-05-041-30/+16
|\
| * Simon's hacking on monad-comp; incompleteSimon Peyton Jones2011-04-291-30/+0
| * Preliminary monad-comprehension patch (Trac #4370)Simon Peyton Jones2011-04-281-2/+18
* | Remove HsNumTy and TypePati.Jose Pedro Magalhaes2011-05-041-5/+1
* | Add a new flag XDefaultSignatures to enable just the signatures on the defaul...Jose Pedro Magalhaes2011-05-041-3/+3
View Lorry Controller Status