summaryrefslogtreecommitdiff
path: root/compiler/deSugar/DsMeta.hs
Commit message (Expand)AuthorAgeFilesLines
* Typos in commentsGabor Greif2016-11-291-2/+2
* Handle types w/ type variables in signatures inside patterns (DsMeta)Mikhail Vorozhtsov2016-11-051-8/+6
* Implement deriving strategiesRyan Scott2016-09-301-19/+38
* Template Haskell support for TypeApplicationsRyan Scott2016-08-291-0/+6
* Template Haskell support for unboxed sumsRyan Scott2016-08-231-0/+29
* Support SCC pragmas in declaration contextÖmer Sinan Ağacan2016-07-201-2/+2
* Have addModFinalizer expose the local type environment.Facundo Domínguez2016-07-061-0/+1
* Allow one type signature for multiple pattern synonymsMatthew Pickering2016-07-011-1/+1
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-7/+7
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-061-1/+1
* Add TH support for pattern synonyms (fixes #8761)Dominik Bollmann2016-05-121-12/+117
* StaticPointers: Allow closed vars in the static form.Facundo Domínguez2016-05-021-1/+1
* SCC analysis for instances as well as types/classesSimon Peyton Jones2016-04-201-3/+3
* Add TemplateHaskell support for Overlapping pragmasIavor S. Diatchki2016-04-171-4/+25
* Fix #11797.Richard Eisenberg2016-04-121-6/+7
* Fix suggestions for unbound variables (#11680)Jason Eisenberg2016-04-101-2/+2
* Refactor in TcMatchesSimon Peyton Jones2016-03-311-1/+1
* Fix #11648.Richard Eisenberg2016-03-141-6/+13
* Refactor visible type application.Richard Eisenberg2016-03-141-2/+2
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-5/+5
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-1/+1
* Work SourceText in for all integer literalsAlan Zimmerman2016-01-161-6/+6
* Fix #11405.Richard Eisenberg2016-01-151-0/+1
* Fix Template Haskell's handling of infix GADT constructorsRyanGlScott2016-01-081-2/+4
* Change Template Haskell representation of GADTs.Jan Stolarek2016-01-061-17/+7
* Comments and white spaceSimon Peyton Jones2015-12-231-3/+3
* Refactor named wildcards (again)Simon Peyton Jones2015-12-221-7/+0
* Rework Template Haskell's handling of strictnessRyanGlScott2015-12-221-13/+22
* Add proper GADTs support to Template HaskellJan Stolarek2015-12-211-203/+143
* Use Cxt for deriving clauses in TH (#10819)Ben Gamari2015-12-141-14/+14
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-48/+45
* Refactor ConDeclAlan Zimmerman2015-12-071-21/+77
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-72/+112
* ApiAnnotations: Make all RdrName occurences LocatedAlan Zimmerman2015-11-231-20/+20
* Refactor HsExpr.RecordCon, RecordUpdSimon Peyton Jones2015-11-181-2/+2
* Implement OverloadedLabelsAdam Gundry2015-11-171-0/+1
* APIAnnotations:add Locations in hsSyn for layoutAlan Zimmerman2015-11-131-16/+19
* Remove PatSynBuilderIdMatthew Pickering2015-11-071-1/+1
* Disambiguate record selectors by type signatureAdam Gundry2015-10-301-1/+5
* Record pattern synonymsMatthew Pickering2015-10-291-1/+1
* Add typed holes support in Template Haskell.Jan Stolarek2015-10-161-5/+19
* Implement DuplicateRecordFieldsAdam Gundry2015-10-161-5/+20
* Rename package key to unit ID, and installed package ID to component ID.Edward Z. Yang2015-10-141-1/+1
* Allow TH quoting of assoc type defaults.Richard Eisenberg2015-09-201-10/+19
* ApplicativeDo transformationSimon Marlow2015-09-171-1/+1
* Injective type familiesJan Stolarek2015-09-031-56/+124
* Implementation of StrictData language extensionAdam Sandberg Eriksson2015-07-271-6/+6
* Do not treat prim and javascript imports as C imports in TH and QQLuite Stegeman2015-07-201-3/+5
* Support wild cards in TH splicesThomas Winant2015-07-201-7/+28
* Handle Char#, Addr# in TH quasiquoter (fixes #10620)RyanGlScott2015-07-171-0/+13