summaryrefslogtreecommitdiff
path: root/compiler/hsSyn
Commit message (Expand)AuthorAgeFilesLines
...
* Refactor in TcMatchesSimon Peyton Jones2016-03-312-9/+10
* Show: Restore redundant parentheses around recordsBen Gamari2016-03-241-4/+2
* Fix #11711.Richard Eisenberg2016-03-171-3/+5
* Fix #11648.Richard Eisenberg2016-03-143-13/+28
* Refactor visible type application.Richard Eisenberg2016-03-142-42/+47
* Fix printing of an `IfacePatSyn`Rik Steenkamp2016-03-051-12/+0
* Reconstruct record expression in bidir pattern synonymMatthew Pickering2016-02-251-3/+6
* Fix typosRik Steenkamp2016-02-161-1/+1
* Improve pretty-printing of HsWrappersSimon Peyton Jones2016-02-122-26/+36
* Simplify AbsBinds wrappingSimon Peyton Jones2016-02-121-32/+6
* Allow foralls in instance declsSimon Peyton Jones2016-02-082-171/+195
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-277-56/+141
* Split off -Wunused-type-variables from -Wunused-matchesRyanGlScott2016-01-261-6/+6
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-188-213/+210
* Work SourceText in for all integer literalsAlan Zimmerman2016-01-162-4/+7
* Fix some typosRik Steenkamp2016-01-162-5/+4
* Fix #11405.Richard Eisenberg2016-01-152-1/+29
* fix -ddump-splices to parenthesize ((\x -> x) a) correctlyYuri de Wit2016-01-091-2/+4
* Change Template Haskell representation of GADTs.Jan Stolarek2016-01-061-16/+12
* Remove some redundant definitions/constraintsHerbert Valerio Riedel2015-12-311-1/+0
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-314-23/+0
* Update a few references to GHC 7.12Ben Gamari2015-12-291-1/+1
* Visible type applicationRichard Eisenberg2015-12-244-20/+85
* Tidy up and comment wildcards in family instancesSimon Peyton Jones2015-12-231-21/+29
* Add a pattern-syn form of PromotionErrSimon Peyton Jones2015-12-231-15/+0
* Comments and white spaceSimon Peyton Jones2015-12-231-1/+1
* Revert "Allow as-patterns in pattern synonym declarations."Simon Peyton Jones2015-12-231-32/+0
* Refactor named wildcards (again)Simon Peyton Jones2015-12-222-40/+49
* Fix typechecking for pattern synonym signaturesSimon Peyton Jones2015-12-221-7/+2
* Rework Template Haskell's handling of strictnessRyanGlScott2015-12-221-8/+16
* Make HsAppsType contents LocatedAlan Zimmerman2015-12-223-17/+22
* Add proper GADTs support to Template HaskellJan Stolarek2015-12-214-51/+131
* Warn about unused type variables in type familiesMichał Sośnicki2015-12-211-6/+6
* Add Location to RdrName in FieldOccAlan Zimmerman2015-12-213-17/+27
* Allow as-patterns in pattern synonym declarations.Matthew Pickering2015-12-201-0/+32
* Add -fprint-typechecker-elaboration flag (fixes #10662)Eugene Akentyev2015-12-171-7/+15
* Update haddock submoduleBen Gamari2015-12-161-6/+0
* Use Cxt for deriving clauses in TH (#10819)Ben Gamari2015-12-141-7/+5
* Refactor type families in Template HaskellJohn Leo2015-12-121-10/+19
* Implement -fwarn-missing-pat-syn-sigsMatthew Pickering2015-12-121-2/+11
* Add kind equalities to GHC.Richard Eisenberg2015-12-116-223/+254
* Fix infix record field fixity (#11167 and #11173).Adam Gundry2015-12-112-0/+5
* More typos in comments/docsGabor Greif2015-12-091-1/+1
* An assortment of typosGabor Greif2015-12-081-3/+3
* Comments about polymorphic recursionSimon Peyton Jones2015-12-081-8/+46
* Refactor ConDeclAlan Zimmerman2015-12-075-103/+102
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-032-1/+62
* Comments only (isIrrefutablePat)Simon Peyton Jones2015-12-021-2/+6
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-018-403/+560
* Implement warnings for Semigroups as parent of MonoidDavid Luposchainsky2015-11-291-0/+10