summaryrefslogtreecommitdiff
path: root/compiler/deSugar
Commit message (Expand)AuthorAgeFilesLines
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-1511-30/+30
* Stop inferring over-polymorphic kindsSimon Peyton Jones2019-03-091-11/+4
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-2/+2
* Visible dependent quantificationRyan Scott2019-03-011-5/+12
* Expression/command ambiguity resolutionVladislav Zavialov2019-02-231-2/+0
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-234-9/+9
* API Annotations: AnnAt disconnected for TYPEAPPAlan Zimmerman2019-02-081-3/+3
* Fix #14729 by making the normaliser homogeneousRichard Eisenberg2019-02-081-2/+6
* Use ByteString to represent Cmm string literals (#16198)Sylvain Henry2019-01-312-3/+4
* Fix typo in DsExprwip/ds-expr-typoMatthew Pickering2019-01-181-1/+1
* Refactor GHCi UI to fix #11606, #12091, #15721, #16096Ömer Sinan Ağacan2019-01-131-15/+4
* Run typed splices in the zonkerMatthew Pickering2019-01-111-0/+1
* Visible kind applicationmynguyen2019-01-031-29/+79
* Stomp a few typos and grammarosGabor Greif2018-12-171-1/+1
* Support registering Plugins through the GHC APIDaniel Gröber2018-12-111-1/+1
* Warn on all out-of-range literals in pats/exprsAlec Theriault2018-12-035-88/+181
* Fix #15953 by consistently using dumpIfSet_dyn to print debug outputChaitanya Koparkar2018-11-291-4/+2
* [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
View Lorry Controller Status