summaryrefslogtreecommitdiff
path: root/compiler/hsSyn
Commit message (Expand)AuthorAgeFilesLines
* Remove a few redundant `-fno-warn-tabs`sHerbert Valerio Riedel2014-09-251-6/+0
* `M-x delete-trailing-whitespace` & `M-x untabify`Herbert Valerio Riedel2014-09-242-73/+73
* Export `Monoid(..)`/`Foldable(..)`/`Traversable(..)` from PreludeHerbert Valerio Riedel2014-09-211-1/+1
* Clean up Coercible handling, and interaction of data families with newtypesSimon Peyton Jones2014-09-191-3/+12
* Add -fwarn-context-quantification (#4426)Krzysztof Gogolewski2014-09-182-11/+27
* Export `Traversable()` and `Foldable()` from PreludeHerbert Valerio Riedel2014-09-151-2/+5
* Make Applicative a superclass of MonadAustin Seipp2014-09-092-1/+9
* PostTcType replaced with TypeAnnotAlan Zimmerman2014-09-0612-368/+633
* hsSyn: detabify/dewhitespace HsLitAustin Seipp2014-08-201-60/+52
* Remove NonParametricKinds (#9200)Richard Eisenberg2014-08-122-1/+53
* Change definition of CUSK for data and class definitions (#9200).Richard Eisenberg2014-08-121-1/+6
* Refactor PatSynBind so that we can pass around PSBs instead of several argumentsDr. ERDI Gergo2014-07-292-30/+35
* Add parser support for explicitly bidirectional pattern synonymsDr. ERDI Gergo2014-07-291-8/+10
* Implement OVERLAPPING and OVERLAPPABLE pragmas (see #9242)Iavor S. Diatchki2014-07-271-8/+10
* Fixed issue with detection of duplicate record fieldsGintautas Miliauskas2014-07-241-12/+19
* Rename PackageId to PackageKey, distinguishing it from Cabal's PackageId.Edward Z. Yang2014-07-211-2/+2
* Entirely re-jig the handling of default type-family instances (fixes Trac #9063)Simon Peyton Jones2014-07-152-40/+76
* Remove dead code. Fix comment typo.Jan Stolarek2014-06-302-4/+2
* Overlapable pragmas for individual instances (#9242)Iavor S. Diatchki2014-06-292-5/+21
* 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