summaryrefslogtreecommitdiff
path: root/compiler/hsSyn
Commit message (Expand)AuthorAgeFilesLines
* 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
* Refactor default methods (Trac #11105)Simon Peyton Jones2015-11-251-3/+4
* Add the rest of the notes for Located RdrNameAlan Zimmerman2015-11-234-2/+18
* Add a note explaining why every RdrName is LocatedAlan Zimmerman2015-11-231-0/+1
* ApiAnnotations: Make all RdrName occurences LocatedAlan Zimmerman2015-11-236-62/+75
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-182-6/+6
* Refactor HsExpr.RecordCon, RecordUpdSimon Peyton Jones2015-11-183-25/+22
* MonadFail proposal, phase 1David Luposchainsky2015-11-171-1/+1
* Implement OverloadedLabelsAdam Gundry2015-11-171-0/+5
* Implement the Strict language extensionAdam Sandberg Eriksson2015-11-141-10/+19
* APIAnnotations:add Locations in hsSyn for layoutAlan Zimmerman2015-11-133-47/+56
* Remove fun_infix from Funbind, as it is now in MatchAlan Zimmerman2015-11-115-39/+62
* Remove unused field in ConDeclJan Stolarek2015-11-111-6/+0
* Associate pattern synonyms with types in module exportsMatthew Pickering2015-11-111-9/+32
* Remove PatSynBuilderIdMatthew Pickering2015-11-073-2/+8
* ApiAnnotations: BooleanFormula is not properly LocatedAlan Zimmerman2015-11-011-4/+4
* Generate Typeable info at definition sitesBen Gamari2015-10-301-1/+5