summaryrefslogtreecommitdiff
path: root/compiler/hsSyn
Commit message (Expand)AuthorAgeFilesLines
* 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
* Make splitHsAppTys look through parentheses, fixing Trac #7903Simon Peyton Jones2013-05-151-0/+1
* Fix kind quantification (again)Simon Peyton Jones2013-05-031-3/+3
* Typos in commentsSimon Peyton Jones2013-04-231-4/+4
* Add comments to describe AbsBindsSimon Peyton Jones2013-04-221-3/+61
* Display operators using parentheses/backticks in error messages (#7848)Krzysztof Gogolewski2013-04-212-14/+14
* Detab modules with tabs on 5 lines or fewerIan Lynagh2013-04-061-11/+4
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-03-041-2/+2
|\
| * Fix missing backticks and parentheses in error messages; fixes #7734Ian Lynagh2013-03-031-2/+2
* | Rearrange the typechecking of arrows, especially arrow "forms"Simon Peyton Jones2013-03-042-5/+15
|/
* Fix a TODO in the compilerIan Lynagh2013-02-261-12/+6
* Fix #7710: do not AutoDeriveTypeable for synonyms and type familiesJose Pedro Magalhaes2013-02-211-3/+14
* Merge branch 'master' of darcs.haskell.org:/home/darcs/ghcSimon Peyton Jones2013-02-141-1/+1
|\
| * Better pretty-printing for HsType, fixes Trac #7645Simon Peyton Jones2013-02-141-1/+1