summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Lint.hs
Commit message (Expand)AuthorAgeFilesLines
* Reword: representation instead of levitysheaf2021-06-101-19/+20
* Do not add unfoldings to lambda-bindersSimon Peyton Jones2021-06-101-4/+2
* Make Logger independent of DynFlagsSylvain Henry2021-06-071-34/+24
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+0
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-2/+3
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-071-11/+25
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-041-6/+8
* Replace (ptext .. sLit) with `text`Sylvain Henry2021-04-291-4/+1
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-1/+10
* Compute Severity of diagnostics at birthAlfredo Di Napoli2021-04-011-1/+1
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-3/+3
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-281-3/+3
* Generate GHCi bytecode from STG instead of Core and support unboxedLuite Stegeman2021-03-201-5/+6
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-0/+1
* Save the type of breakpoints in the Breakpoint tick in STGLuite Stegeman2021-03-201-4/+4
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-141-0/+1
* Run linear Lint on the desugarer output (part of #19165)Krzysztof Gogolewski2021-03-051-4/+12
* Refactor LoggerSylvain Henry2021-02-131-23/+32
* Fix typosBrian Wignall2021-02-061-2/+2
* The Char kind (#11342)Daniel Rogozin2021-02-061-0/+1
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-39/+39
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-1/+1
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-9/+9
* DmdAnal: Annotate top-level function bindings with demands (#18894)Sebastian Graf2020-12-121-15/+0
* Introduce -fprof-callers flagBen Gamari2020-11-211-0/+1
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-4/+4
* Display results of GHC.Core.Lint.lint* functions consistentlyRyan Scott2020-11-021-39/+36
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-3/+1
* Split GHC.Driver.TypesSylvain Henry2020-10-291-4/+8
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-7/+9
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Turn on -XMonoLocalBinds by default (#18430)Sebastian Graf2020-09-021-0/+1
* Allow unsaturated runRW# applicationsBen Gamari2020-08-181-35/+15
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+2
* Fix minor typos in a Core.hs noteChaitanya Koparkar2020-07-181-1/+1
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-19/+205
* Fix a typo in LintSimon Peyton Jones2020-06-281-7/+7
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-1/+1
* Various performance improvementsKrzysztof Gogolewski2020-06-171-6/+7
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-110/+282
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-3/+3
* Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvarsRyan Scott2020-06-051-1/+1
* Add `isInScope` check to `lintCoercion`fendor2020-06-011-1/+6
* Allow simplification through runRW#Ben Gamari2020-05-291-28/+100
* Make Lint check return type of a join pointSimon Peyton Jones2020-05-291-7/+31
* Rename GHC.Core.Arity into GHC.Core.Opt.AritySylvain Henry2020-05-241-3/+3
* Lint should say when it is checking a ruleBen Price2020-05-211-1/+5
* DmdAnal: Improve handling of precise exceptionsSebastian Graf2020-05-151-4/+4
View Lorry Controller Status