summaryrefslogtreecommitdiff
path: root/compiler/deSugar/DsBinds.hs
Commit message (Expand)AuthorAgeFilesLines
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-6/+10
* Fix unused-import warningsDavid Eichmann2018-11-221-1/+1
* Finish fix for #14880.Tobias Dammers2018-10-281-1/+1
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-241-3/+3
* A few typos [ci skip]Gabor Greif2018-08-301-1/+1
* Comments onlySimon Peyton Jones2018-07-251-2/+3
* Add comments on Typeable (n :: Nat)Simon Peyton Jones2018-07-041-1/+2
* desugar: Rip out unsafeGlobalDynFlags usage in decomposeRuleLhsBen Gamari2018-06-141-6/+7
* Don't use unsafeGlobalDynFlags in optCoercionBen Gamari2018-06-071-2/+2
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-5/+37
* Remove TcType.toTcTypeSimon Peyton Jones2018-05-211-1/+1
* TTG for HsBinds and Data instances Plan BAlan Zimmerman2018-04-131-2/+6
* Improve exhaustive checking for guards in pattern bindings and MultiIf.HE, Tao2018-03-021-0/+2
* Turn EvTerm (almost) into CoreExpr (#14691)Joachim Breitner2018-01-261-92/+2
* Cache TypeRep kinds aggressivelyDavid Feuer2017-12-011-6/+11
* Fix typo in accessor nameGabor Greif2017-10-301-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Allow CSE'ing of work-wrapped bindings (#14186)Joachim Breitner2017-09-121-4/+4
* Fix typos in diagnostics, testsuite and commentsGabor Greif2017-09-071-1/+1
* Small refactor of getRuntimeRepSimon Peyton Jones2017-08-291-3/+3
* Comments onlySimon Peyton Jones2017-08-181-1/+2
* Typofixes [ci skip]Gabor Greif2017-08-011-1/+1
* Reject top-level banged bindingsSimon Peyton Jones2017-07-311-4/+4
* Improve the desugaring of -XStrictSimon Peyton Jones2017-07-311-132/+104
* More typos in comments [ci skip]Gabor Greif2017-06-281-1/+1
* Treat banged bindings as FunBindsBen Gamari2017-06-271-11/+18
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-7/+9
* Treat banged bindings as FunBindsBen Gamari2017-05-081-2/+2
* Comments and tiny refactoringSimon Peyton Jones2017-04-281-0/+1
* No join-point from an INLINE function with wrong aritySimon Peyton Jones2017-03-171-1/+1
* Fix #12709 by not building bad applicationsRichard Eisenberg2017-03-171-2/+4
* Introduce and use mkLetRec, mkLetNonRecBen Gamari2017-03-141-2/+1
* Prohibit RULES changing constructorsDavid Feuer2017-03-021-2/+25
* Kill off the remaining Rec []Simon Peyton Jones2017-02-201-2/+2
* Type-indexed TypeableBen Gamari2017-02-181-41/+60
* Implement HasField constraint solving and modify OverloadedLabelsAdam Gundry2017-02-141-0/+4
* Introduce GHC.TypeNats module, change KnownNat evidence to be NaturalOleg Grenrus2017-02-011-1/+1
* Typos and grammar in manual/commentsGabor Greif2017-01-231-2/+2
* Update levity polymorphismRichard Eisenberg2017-01-191-17/+74
* Split mkInlineUnfolding into two functionsDavid Feuer2017-01-171-2/+2
* Fix 'SPECIALISE instance'Simon Peyton Jones2016-12-211-43/+55
* Zonk the free tvs of a RULE lhs to TyVarsSimon Peyton Jones2016-11-291-1/+1
* Fix desugaring of pattern bindings (again)Simon Peyton Jones2016-09-301-2/+1
* Clarify comment on makeCorePairMatthew Pickering2016-08-031-3/+6
* More comments about InlinePragmasMatthew Pickering2016-08-031-0/+5
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-1/+1
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-061-2/+6
* Refactor free tyvars on LHS of rulesSimon Peyton Jones2016-04-221-36/+63
* Kill some unnecessary varSetElemsBartosz Nitka2016-04-151-1/+3
* Move DFunUnfolding generation to TcInstDclsSimon Peyton Jones2016-03-231-21/+0
View Lorry Controller Status