summaryrefslogtreecommitdiff
path: root/compiler/parser/RdrHsSyn.lhs
Commit message (Expand)AuthorAgeFilesLines
* Add parser support for explicitly bidirectional pattern synonymsDr. ERDI Gergo2014-07-291-5/+37
* New parser for pattern synonym declarations:Dr. ERDI Gergo2014-07-291-1/+20
* Entirely re-jig the handling of default type-family instances (fixes Trac #9063)Simon Peyton Jones2014-07-151-21/+53
* Fix egregious instantiation bug in matchOneConLike (fixing Trac #9023)Simon Peyton Jones2014-06-051-1/+1
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-0/+2
* Instead of tracking Origin in LHsBindsLR, track it in MatchGroupDr. ERDI Gergo2014-04-131-2/+2
* Implement pattern synonymsDr. ERDI Gergo2014-01-201-4/+4
* Revert "Simplify the plumbing for checkValidTyCl"Richard Eisenberg2013-12-181-12/+5
* Another raft of Template Haskell clean-upSimon Peyton Jones2013-11-251-10/+13
* Allow optional 'family' and 'instance' keywords in associated type instancesSimon Peyton Jones2013-11-071-32/+45
* Improve a parser error message (Trac #8506)Simon Peyton Jones2013-11-061-14/+17
* Reject negative type-level integers created via TH (#8412)Krzysztof Gogolewski2013-10-121-17/+8
* Add full support for declaration splices.Geoffrey Mainland2013-10-041-5/+7
* Add support for pattern splices.Geoffrey Mainland2013-10-041-0/+1
* Clean up smart constructors for splices.Geoffrey Mainland2013-10-041-1/+1
* Differentiate typed and untyped splices and brackets in the abstract syntax.Geoffrey Mainland2013-10-041-3/+3
* Simplify the plumbing for checkValidTyClSimon Peyton Jones2013-10-041-6/+14
* Change role annotation syntax.Richard Eisenberg2013-09-171-8/+35
* Make sure type literals aren't negative (#8306)Austin Seipp2013-09-161-9/+15
* Give language pragma suggestions without -XJoachim Breitner2013-09-141-9/+9
* Add basic support for GHCJSAustin Seipp2013-09-061-1/+4
* Dead code elimination.Austin Seipp2013-08-181-4/+0
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-2/+6
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-20/+12
* Rearrange the typechecking of arrows, especially arrow "forms"Simon Peyton Jones2013-03-041-2/+2
* Add OverloadedLists, allowing list syntax to be overloadedSimon Peyton Jones2013-02-141-2/+2
* Improve an error message; fixes #984Ian Lynagh2013-02-011-51/+57
* A couple of small refactoringsIan Lynagh2013-02-011-7/+10
* Refactor HsExpr.MatchGroupSimon Peyton Jones2013-01-041-4/+4
* Implement overlapping type family instances.Richard Eisenberg2012-12-211-50/+66
* This big patch re-factors the way in which arrow-syntax is handledSimon Peyton Jones2012-10-031-5/+94
* 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
View Lorry Controller Status