summaryrefslogtreecommitdiff
path: root/compiler/coreSyn/CoreLint.hs
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Enable lint checking of levity polymorphic coercionsBen Gamari2017-04-061-1/+5
* Disable bogus lint checks about levity polimorphic coerionsJoachim Breitner2017-03-311-5/+1
* Allow unbound Refl binders in a RULESimon Peyton Jones2017-03-291-5/+13
* Spelling in comments only [ci skip]Gabor Greif2017-03-281-1/+1
* Fix #13458Richard Eisenberg2017-03-271-8/+18
* Improve Lint a littleSimon Peyton Jones2017-03-171-5/+13
* Introduce putLogMsgBen Gamari2017-03-151-3/+3
* Emit Core lint warnings on stderr, fix #13342Ben Fiedler2017-03-111-2/+4
* Join points can be levity-polymorphicSimon Peyton Jones2017-03-081-12/+17
* Improve Core Lint, mainly for join pointsSimon Peyton Jones2017-02-211-38/+69
* Type-indexed TypeableBen Gamari2017-02-181-1/+1
* Generalize kind of the (->) tyconBen Gamari2017-02-181-8/+25
* Improve checking of joins in Core LintSimon Peyton Jones2017-02-161-123/+130
* Ditch static flagsSylvain Henry2017-02-021-9/+11
* Join pointsLuke Maurer2017-02-011-48/+289
* Allow top-level string literals in Core (#8472)Takano Akio2017-01-201-3/+19
* Update levity polymorphismRichard Eisenberg2017-01-191-14/+21
* Desugar static forms to makeStatic calls.Facundo Domínguez2017-01-131-51/+51
* Revert "Have addModFinalizer expose the local type environment."Facundo Domínguez2017-01-061-50/+50
* Have addModFinalizer expose the local type environment.Facundo Domínguez2017-01-061-50/+50
* Use the right in-scope setSimon Peyton Jones2017-01-061-2/+3
* Ensure nested binders have Internal NamesSimon Peyton Jones2017-01-051-31/+30
* Move InId/OutId to CoreSynSimon Peyton Jones2016-12-211-14/+2
* Lint DFunUnfoldingsSimon Peyton Jones2016-12-211-2/+14
* Rename RuntimeRepPolymorphism to LevityPolymorphismSimon Peyton Jones2016-11-301-1/+1
* Typos in commentsGabor Greif2016-11-291-1/+1
* Kill Type pretty-printerBen Gamari2016-11-131-1/+1
* Degrade "case scrutinee not known to diverge for sure" Lint error to warningJoachim Breitner2016-08-251-1/+1
* Misspellings in comments [skip ci]Gabor Greif2016-08-141-1/+1
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-7/+5
* Stop the simplifier from removing StaticPtr binds.Facundo Domínguez2016-06-281-4/+1
* Have Core linter accept programs using StaticPointers and -fhpc.Facundo Domínguez2016-06-231-1/+1
* Typos in comments [skip ci]Gabor Greif2016-06-221-1/+1
* CoreLint: Slightly improve case type annotation error msgsÖmer Sinan Ağacan2016-06-171-1/+3
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-10/+11
* Report term sizes with -v3 even when -ddump is enabledÖmer Sinan Ağacan2016-06-081-6/+7
* Kill varEnvElts in tcPragExprBartosz Nitka2016-05-181-2/+8
* Comments about static formsSimon Peyton Jones2016-05-101-7/+21
* Explain linter optimization for StaticPtr checks.Facundo Domínguez2016-05-051-0/+8
View Lorry Controller Status