summaryrefslogtreecommitdiff
path: root/compiler/coreSyn/CoreLint.hs
Commit message (Expand)AuthorAgeFilesLines
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-1/+1
* Makes Lint less chatty:Simon Peyton Jones2019-11-011-11/+13
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-201-61/+114
* Break up TyCoRepBen Gamari2019-07-311-4/+6
* Fix erroneous float in CoreOptSimon Peyton Jones2019-07-091-3/+6
* Minor refactoring in CoreSimplÖmer Sinan Ağacan2019-07-091-3/+0
* Use DeriveFunctor throughout the codebase (#15654)Krzysztof Gogolewski2019-06-121-3/+2
* Compute demand signatures assuming idAritySebastian Graf2019-04-301-23/+3
* Add a safeguard to Core LintKrzysztof Gogolewski2019-04-141-3/+6
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-10/+10
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-3/+3
* Prepare source-tree for base-4.13 MFP bumpHerbert Valerio Riedel2019-01-181-0/+2
* Fix treatment of hi-boot files and dfunsSimon Peyton Jones2018-12-211-24/+37
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-2/+3
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-241-2/+2
* Adding almost devoid check for covar in ForAllCoNingning Xie2018-10-191-1/+3
* Make Lint check that for CoVars more carefullySimon Peyton Jones2018-10-041-2/+8
* Fix Lint of unsaturated type familiesSimon Peyton Jones2018-09-261-24/+26
* Coercion Quantificationningning2018-09-151-20/+87
* Allow (~) in the head of a quantified constraintsSimon Peyton Jones2018-09-131-0/+6
* Refactor coercion ruleningning2018-07-091-9/+16
* Simplify lintIdUnfoldingMatthew Pickering2018-07-061-10/+3
* Make a variant of mkCastErr for kind coercionsRyan Scott2018-07-061-7/+25
* Typofixes in docs and comments [ci skip]Gabor Greif2018-06-181-1/+1
* Fix corner case in typeKind, plus refactoringSimon Peyton Jones2018-06-151-21/+16
* Expand type synonyms when Linting a forallSimon Peyton Jones2018-06-041-7/+30
* vectorise: Put it out of its miseryBen Gamari2018-06-021-1/+0
* Better linting for typesSimon Peyton Jones2018-04-271-72/+97
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-201-3/+5
* Lint types in newFamInstRyan Scott2018-04-191-29/+83
* Allow top level ticked string literalsBartosz Nitka2018-03-061-3/+3
* Tiny refactor in Core LintSimon Peyton Jones2018-02-271-2/+3
* Fix utterly bogus TagToEnum rule in caseRulesSimon Peyton Jones2018-02-071-1/+1
* Add -ddump-ds-preoptSimon Peyton Jones2018-02-011-1/+1
* CoreLint: typo in a commentÖmer Sinan Ağacan2018-01-151-2/+2
* Refactor coercion holesSimon Peyton Jones2017-12-211-2/+5
* Remove unreliable Core Lint empty case checksDavid Feuer2017-11-091-19/+38
* Invoke lintUnfolding only on top-level unfoldings (#14430)Joachim Breitner2017-11-081-2/+10
* Allow packing constructor fieldsMichal Terepeta2017-10-291-2/+2
* Implement a dedicated exitfication pass #14152Joachim Breitner2017-10-291-0/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Canonicalise MonoidFail instances in GHCHerbert Valerio Riedel2017-09-091-1/+1
* Add debugPprTypeSimon Peyton Jones2017-08-311-4/+3
* Improve kind-application-error messageSimon Peyton Jones2017-08-291-10/+15
* Restrict Lint's complaints about recursive INLINEs somewhatSimon Peyton Jones2017-08-181-0/+1
* Use NonEmpty lists to represent lists of duplicate elementsRyan Scott2017-08-121-4/+6
* Drop GHC 7.10 compatibilityRyan Scott2017-08-011-4/+0
* Use lengthIs and friends in more placesRyan Scott2017-06-021-6/+6
* Fix #13233 by checking for lev-poly primopsRichard Eisenberg2017-05-021-2/+2
View Lorry Controller Status