summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Fix unused-import warningsDavid Eichmann2018-11-223-4/+2
* Rename literal constructorsSylvain Henry2018-11-226-28/+28
* Finish fix for #14880.Tobias Dammers2018-10-281-1/+1
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-243-4/+4
* Comments and white spaceSimon Peyton Jones2018-10-241-3/+2
* Adding almost devoid check for covar in ForAllCoNingning Xie2018-10-191-1/+3
* Add RubbishLit for absent bindings of UnliftedRepSebastian Graf2018-10-141-4/+7
* Fix dataToTag# argument evaluationÖmer Sinan Ağacan2018-10-102-84/+4
* Make Lint check that for CoVars more carefullySimon Peyton Jones2018-10-041-2/+8
* Make GHC (the library) flexible in the choice of integer libraryJoachim Breitner2018-10-031-2/+3
* Fix Lint of unsaturated type familiesSimon Peyton Jones2018-09-261-24/+26
* Fix get getIdFromTrivialExprSimon Peyton Jones2018-09-231-8/+14
* Coercion Quantificationningning2018-09-158-54/+141
* Allow (~) in the head of a quantified constraintsSimon Peyton Jones2018-09-135-45/+89
* Honor INLINE on 0-arity bindings (#15578)Tobias Dammers2018-09-131-1/+72
* Simplify callSiteInline a littleSimon Peyton Jones2018-08-211-17/+16
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-214-9/+9
* Set strictness correctly for JoinIdsSimon Peyton Jones2018-08-211-1/+27
* Turn on MonadFail desugaring by defaultHerbert Valerio Riedel2018-08-071-1/+2
* Fix some casts.Richard Eisenberg2018-07-231-3/+3
* Refactor coercion ruleningning2018-07-093-12/+23
* Simplify lintIdUnfoldingMatthew Pickering2018-07-061-10/+3
* Make a variant of mkCastErr for kind coercionsRyan Scott2018-07-061-7/+25
* A few typofixes in commentsGabor Greif2018-06-291-1/+1
* Typofixes in docs and comments [ci skip]Gabor Greif2018-06-182-2/+2
* Built-in Natural literals in CoreSylvain Henry2018-06-154-25/+83
* Fix corner case in typeKind, plus refactoringSimon Peyton Jones2018-06-152-27/+22
* Make seq# evaluatedness look through castsDavid Feuer2018-06-111-1/+2
* WorkWrap: Rip out unsafeGlobalDynFlags usage in mkWwInlineRuleBen Gamari2018-06-071-3/+3
* Don't use unsafeGlobalDynFlags in optCoercionBen Gamari2018-06-072-32/+38
* Let the simplifier know that seq# forcesDavid Feuer2018-06-061-1/+11
* Expand type synonyms when Linting a forallSimon Peyton Jones2018-06-041-7/+30
* vectorise: Put it out of its miseryBen Gamari2018-06-025-70/+5
* Optimizations for CmmBlockElim.klebinger.andreas@gmx.at2018-06-021-0/+2
* Define MCoercion typeningning2018-05-302-14/+15
* Comments about the substition invariantSimon Peyton Jones2018-05-251-20/+14
* Revert "Simplify callSiteInline a little"Ben Gamari2018-05-151-16/+17
* Fix performance regressions from #14737Tobias Dammers2018-05-141-0/+6
* Add note documenting refineDefaultAltMatthew Pickering2018-05-131-0/+88
* Fix #15038Ömer Sinan Ağacan2018-05-101-2/+34
* Split TrieMap into a general (TrieMap) and core specific (CoreTrieMap) module.klebinger.andreas@gmx.at2018-05-051-365/+27
* Simplify callSiteInline a littleSimon Peyton Jones2018-05-041-17/+16
* Set arity for absentErrorDavid Feuer2018-05-021-20/+23
* Preserve join-point arity in CoreOptSimon Peyton Jones2018-05-011-2/+21
* Don't crash when pretty-printing bad joinsSimon Peyton Jones2018-05-011-1/+9
* Better linting for typesSimon Peyton Jones2018-04-271-72/+97
* Comments only: the FVAnn invariantSimon Peyton Jones2018-04-271-6/+19
* Remove unnecessary check in simplCastTobias Dammers2018-04-201-4/+8
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-204-17/+19
* Lint types in newFamInstRyan Scott2018-04-191-29/+83
View Lorry Controller Status