summaryrefslogtreecommitdiff
path: root/compiler/hsSyn
Commit message (Expand)AuthorAgeFilesLines
* Tidy up the printing of single-predicate contextsSimon Peyton Jones2014-06-201-50/+31
* Use UnicodeSyntax when printingJoachim Breitner2014-06-063-11/+11
* Make the matcher and wrapper Ids in PatSyn into LocalIds, not GlobalIdsSimon Peyton Jones2014-06-061-1/+1
* TypoMateusz Kowalczyk2014-06-061-1/+1
* Fix egregious instantiation bug in matchOneConLike (fixing Trac #9023)Simon Peyton Jones2014-06-053-14/+23
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-155-5/+8
* In splitHsFunType, take account of prefix (->)Simon Peyton Jones2014-05-121-7/+24
* Remove external coreAustin Seipp2014-05-031-10/+2
* Instead of tracking Origin in LHsBindsLR, track it in MatchGroupDr. ERDI Gergo2014-04-134-34/+33
* Simplify and tidy up the handling of tuple namesSimon Peyton Jones2014-04-041-21/+4
* Make Outputable instance for HsDocString usefulMateusz Kowalczyk2014-02-251-1/+1
* Use NoGen plan for unboxed-tuple bindingsSimon Peyton Jones2014-02-181-29/+29
* Apply changes relative to TH.Pred becoming a TH.Type's synonym (issue #7021)YoEight2014-02-091-10/+6
* Squash some spelling issuesGabor Greif2014-01-261-1/+1
* Implement pattern synonymsDr. ERDI Gergo2014-01-207-28/+148
* Bring kind variables into the type-checker's scope as well as type variablesSimon Peyton Jones2014-01-101-2/+2
* Comments onlySimon Peyton Jones2013-12-301-3/+6
* Fix #8607.Richard Eisenberg2013-12-261-24/+28
* Typecheck typed TH splices properly (fix Trac #8577)Simon Peyton Jones2013-12-051-0/+3
* Fix location of spliced-in role annotations.Richard Eisenberg2013-12-021-1/+1
* Comments onlySimon Peyton Jones2013-11-281-1/+4
* Roleify TcCoercionJoachim Breitner2013-11-271-6/+4
* In toHsType, filter out kind variablesJoachim Breitner2013-11-251-1/+2
* Another raft of Template Haskell clean-upSimon Peyton Jones2013-11-256-51/+51
* Implement GeneralizedNewtypeDeriving in terms of `coerce`.Richard Eisenberg2013-11-221-1/+47
* Improve pretty-printing of pending splicesSimon Peyton Jones2013-11-221-7/+7
* Fix oversight in comverting tuples from TH to HsSyn (Trac #8507)Simon Peyton Jones2013-11-071-1/+1
* Revert "Fix Trac #7667.", restoring the refined fix.Richard Eisenberg2013-10-231-1/+0
* Refine fix for #7667.Richard Eisenberg2013-10-231-12/+16
* Fix Trac #7667.Richard Eisenberg2013-10-151-13/+13
* Remove deprecated _scc_ (#8170)Krzysztof Gogolewski2013-10-051-1/+1
* Add full support for declaration splices.Geoffrey Mainland2013-10-042-6/+14
* Add support for pattern splices.Geoffrey Mainland2013-10-044-3/+22
* Clean up smart constructors for splices.Geoffrey Mainland2013-10-041-6/+9
* Track TH stage in the renamer.Geoffrey Mainland2013-10-041-9/+62
* Track the typed/untyped distinction in the current TH stage.Geoffrey Mainland2013-10-041-0/+4
* Differentiate typed and untyped splices and brackets in the abstract syntax.Geoffrey Mainland2013-10-042-4/+14
* Add TH support for annotations (#8340)Austin Seipp2013-10-011-0/+13
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-012-2/+2
* Implement checkable "minimal complete definitions" (#7633)Twan van Laarhoven2013-09-181-0/+16
* Change role annotation syntax.Richard Eisenberg2013-09-174-44/+89
* Fix AMP warnings.Austin Seipp2013-09-111-1/+9
* Haddockify documentation in HsBinds and HsExprDan Frumin2013-08-302-77/+110
* Added support for writing and checking closed type families is hs-boot files.Richard Eisenberg2013-08-051-1/+5
* Refactor checking for GADT-like datacons' return typesRichard Eisenberg2013-08-041-1/+15
* Implement "roles" into GHC.Richard Eisenberg2013-08-023-15/+31
* Fix Trac #8028.Richard Eisenberg2013-07-021-0/+3
* Fix Trac #7939, and add kind inference to closed type families.Richard Eisenberg2013-06-281-0/+12
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-212-44/+43
* Improve pretty-printing of inline-family pragmas; fixes Trac #7906Simon Peyton Jones2013-05-151-1/+1