summaryrefslogtreecommitdiff
path: root/compiler/deSugar/DsMeta.hs
Commit message (Expand)AuthorAgeFilesLines
* Implement HasField constraint solving and modify OverloadedLabelsAdam Gundry2017-02-141-1/+1
* More typos in comments [skip ci]Gabor Greif2017-02-081-1/+1
* Template Haskell support for COMPLETE pragmasMatthew Pickering2017-01-261-1/+20
* COMPLETE pragmas for enhanced pattern exhaustiveness checkingMatthew Pickering2017-01-261-0/+1
* Typos in comments [ci skip]Gabor Greif2017-01-251-1/+1
* Don't quantify implicit type variables when quoting type signatures in THRyan Scott2017-01-231-25/+55
* Fix another forward reference to a NoteRyan Scott2016-12-211-2/+2
* Rename TH constructors for deriving strategiesRyan Scott2016-12-091-3/+3
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-11/+12
* 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
View Lorry Controller Status