summaryrefslogtreecommitdiff
path: root/compiler/deSugar/DsMeta.hs
Commit message (Expand)AuthorAgeFilesLines
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Allow CSE'ing of work-wrapped bindings (#14186)Joachim Breitner2017-09-121-1/+1
* Refactor type family instance abstract syntax declarationsRyan Scott2017-08-291-11/+13
* Use field names for all uses of datacon MatchSimon Peyton Jones2017-07-311-5/+6
* Improve the desugaring of -XStrictSimon Peyton Jones2017-07-311-1/+0
* Merge types and kinds in DsMetaRyan Scott2017-07-281-125/+58
* Add Template Haskell support for overloaded labelsMatthew Pickering2017-07-111-1/+7
* Support signatures at the kind level in Template HaskellRyan Scott2017-06-121-0/+13
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-112/+119
* Make XNegativeLiterals treat -0.0 as negative 0Nolan2017-05-081-3/+4
* 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
View Lorry Controller Status