summaryrefslogtreecommitdiff
path: root/compiler/hsSyn/HsUtils.hs
Commit message (Expand)AuthorAgeFilesLines
* Refactor type family instance abstract syntax declarationsRyan Scott2017-08-291-1/+2
* Revise function arity mismatch errors involving TypeApplicationsRyan Scott2017-08-221-1/+4
* Use field names for all uses of datacon MatchSimon Peyton Jones2017-07-311-3/+6
* Reject top-level banged bindingsSimon Peyton Jones2017-07-311-6/+10
* Improve the desugaring of -XStrictSimon Peyton Jones2017-07-311-47/+29
* Refactoring around FunRhsSimon Peyton Jones2017-07-311-1/+3
* Treat banged bindings as FunBindsBen Gamari2017-06-271-3/+12
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-145/+152
* Revert "Treat banged bindings as FunBinds"Ben Gamari2017-05-121-2/+2
* Fix collect_lpat's treatment of HsSplicedPatsRyan Scott2017-05-111-0/+3
* Treat banged bindings as FunBindsBen Gamari2017-05-081-2/+6
* Make XNegativeLiterals treat -0.0 as negative 0Nolan2017-05-081-5/+5
* Fix #13233 by checking for lev-poly primopsRichard Eisenberg2017-05-021-2/+5
* Explicitly capture whether a splice has a dollar prefixAlan Zimmerman2017-02-271-4/+4
* TH-spliced class instances are pretty-printed incorrectly post-#3384Alan Zimmerman2017-02-101-1/+1
* Update levity polymorphismRichard Eisenberg2017-01-191-1/+73
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-18/+25
* Fix used-variable calculation (Trac #12548)Simon Peyton Jones2016-12-051-1/+7
* Typos in commentsGabor Greif2016-10-171-1/+1
* Remove dead code “mkHsConApp”Joachim Breitner2016-10-061-8/+1
* Fix impredicativity (again)Simon Peyton Jones2016-09-301-4/+4
* Remove uses of mkMatchGroupNameMatthew Pickering2016-09-111-6/+2
* Generalise type of mkMatchGroup to unify with mkMatchGroupNameMatthew Pickering2016-09-111-6/+4
* Fix scoping of type variables in instancesSimon Peyton Jones2016-08-261-1/+28
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-0/+1
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-2/+2
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-1/+1
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-061-15/+21
* Fix deriving Ord when RebindableSyntax is enabledAndrew Farmer2016-05-211-1/+6
* Add TH support for pattern synonyms (fixes #8761)Dominik Bollmann2016-05-121-22/+16
* SCC analysis for instances as well as types/classesSimon Peyton Jones2016-04-201-8/+13
* Refactor visible type application.Richard Eisenberg2016-03-141-18/+8
* Allow foralls in instance declsSimon Peyton Jones2016-02-081-65/+0
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-27/+53
* Fix #11405.Richard Eisenberg2016-01-151-0/+1
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-5/+0
* Visible type applicationRichard Eisenberg2015-12-241-4/+22
* Comments and white spaceSimon Peyton Jones2015-12-231-1/+1
* Make HsAppsType contents LocatedAlan Zimmerman2015-12-221-5/+7
* Add Location to RdrName in FieldOccAlan Zimmerman2015-12-211-2/+5
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-25/+98
* Refactor ConDeclAlan Zimmerman2015-12-071-4/+22
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-50/+62
* ApiAnnotations: Make all RdrName occurences LocatedAlan Zimmerman2015-11-231-8/+9
* APIAnnotations:add Locations in hsSyn for layoutAlan Zimmerman2015-11-131-18/+24
* Remove fun_infix from Funbind, as it is now in MatchAlan Zimmerman2015-11-111-4/+15
* Generate Typeable info at definition sitesBen Gamari2015-10-301-1/+5
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-5/+1
* Generate Typeable info at definition sitesBen Gamari2015-10-291-1/+5
* Record pattern synonymsMatthew Pickering2015-10-291-7/+14