summaryrefslogtreecommitdiff
path: root/compiler/deSugar
Commit message (Expand)AuthorAgeFilesLines
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-2418-462/+551
* Fix unused-import warningsDavid Eichmann2018-11-221-1/+1
* Rename literal constructorsSylvain Henry2018-11-226-30/+30
* Make `UniqDSet` a newtypeSebastian Graf2018-11-131-12/+11
* Finish fix for #14880.Tobias Dammers2018-10-281-1/+1
* plugins: search for .a files if necessarysheaf2018-10-281-40/+38
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-278-86/+138
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-241-3/+3
* Normalise EmptyCase types using the constraint solverRyan Scott2018-09-281-29/+60
* Add a recursivity check in nonVoidRyan Scott2018-09-231-49/+142
* Coercion Quantificationningning2018-09-152-3/+6
* Add support for ImplicitParams and RecursiveDo in THMichael Sloan2018-09-141-3/+60
* A few typos [ci skip]Gabor Greif2018-08-301-1/+1
* Take strict fields into account in coverage checkingRyan Scott2018-08-271-60/+257
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-215-6/+6
* Fix redundant imports of ClassBen Gamari2018-08-211-1/+0
* Add a solveEqualities to tcClassDecl1Simon Peyton Jones2018-08-211-2/+2
* Be mindful of GADT tyvar order when desugaring record updatesRyan Scott2018-08-171-8/+17
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-161-6/+6
* Filter plugin dylib locationsChristiaan Baaij2018-08-111-7/+28
* Turn on MonadFail desugaring by defaultHerbert Valerio Riedel2018-08-071-2/+6
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-5/+5
* Fix #15450 by refactoring checkEmptyCase'Ryan Scott2018-08-011-40/+97
* Plugin dependency information is stored separatelyChristiaan Baaij2018-08-012-6/+102
* Fix #15385 by using addDictsDs in matchGuardsRyan Scott2018-07-304-39/+48
* Small refactor in desugar of pattern matchingSimon Peyton Jones2018-07-275-20/+54
* Comments onlySimon Peyton Jones2018-07-251-2/+3
* Add comments on Typeable (n :: Nat)Simon Peyton Jones2018-07-041-1/+2
* TTG for IPBind had wrong extension nameAlan Zimmerman2018-06-222-2/+2
* Remove HsEqTy and XEqTyRyan Scott2018-06-201-5/+0
* Fix API Annotations for GADT constructorsAlan Zimmerman2018-06-191-2/+2
* Built-in Natural literals in CoreSylvain Henry2018-06-151-38/+48
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-4/+3
* desugar: Rip out unsafeGlobalDynFlags usage in decomposeRuleLhsBen Gamari2018-06-142-9/+10
* Don't use unsafeGlobalDynFlags in optCoercionBen Gamari2018-06-072-5/+5
* Introduce DerivingViaRyan Scott2018-06-041-8/+23
* Serialize docstrings to ifaces, display them with new GHCi :doc commandSimon Jakobi2018-06-042-1/+351
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-5/+37
* Fix broken test T14547.HE, Tao2018-06-041-12/+26
* Improve exhaustiveness checking for literal values and patterns, fix #14546HE, Tao2018-06-034-72/+141
* Fix a bad interaction between GADTs and COMPLETE setsRyan Scott2018-06-021-5/+62
* vectorise: Put it out of its miseryBen Gamari2018-06-0212-560/+15
* Implement "An API for deciding whether plugins should cause recompilation"Matthew Pickering2018-05-302-7/+20
* Remove TcType.toTcTypeSimon Peyton Jones2018-05-213-7/+6
* Normalize the element type of ListPat, fix #14547HE, Tao2018-05-081-13/+27
* Revert "Normalize the element type of ListPat, fix #14547"Ben Gamari2018-05-081-4/+1
* Normalize the element type of ListPat, fix #14547Ben Gamari2018-05-081-1/+4
* Revert "Normalize the element type of ListPat, fix #14547"Ben Gamari2018-05-081-4/+1
* Normalize the element type of ListPat, fix #14547HE, Tao2018-05-051-1/+4
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-2710-185/+278