summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-1511-65/+65
* Change the warning in substTy back to an assertionKrzysztof Gogolewski2019-03-111-1/+1
* Always do the worker/wrapper split for NOINLINEsSebastian Graf2019-03-071-7/+6
* Fix map/coerce rule for newtypes with wrappersKrzysztof Gogolewski2019-03-052-28/+8
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-235-12/+17
* Fix exprIsConApp_maybeSimon Peyton Jones2019-02-221-43/+62
* Improve the very simple optimiser slightlySimon Peyton Jones2019-02-201-0/+10
* Look through newtype wrappers (Trac #16254)Krzysztof Gogolewski2019-02-192-7/+52
* Make constructor wrappers inline only during the final phaseArnaud Spiwack2019-02-192-26/+163
* Disable binder swap in OccurAnal (Trac #16288)Krzysztof Gogolewski2019-02-191-5/+38
* Remove ExnStr and ThrowsExn businessSebastian Graf2019-02-012-6/+3
* Use ByteString to represent Cmm string literals (#16198)Sylvain Henry2019-01-312-2/+2
* A few typofixesGabor Greif2019-01-233-3/+3
* Prepare source-tree for base-4.13 MFP bumpHerbert Valerio Riedel2019-01-182-2/+4
* Simplify Core output with -dsuppress-type-signaturesÖmer Sinan Ağacan2018-12-241-1/+7
* Fix treatment of hi-boot files and dfunsSimon Peyton Jones2018-12-211-24/+37
* Stomp a few typos and grammarosGabor Greif2018-12-171-1/+1
* Careful tweaking to exprOkForSpeculationSimon Peyton Jones2018-12-072-44/+83
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-2/+3
* 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
View Lorry Controller Status