summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Lint.hs
Commit message (Expand)AuthorAgeFilesLines
* Optimiser: avoid introducing bad rep-polysheaf2022-05-261-2/+3
* CoreLint - When checking for levity polymorphism look through more ticks.Andreas Klebinger2022-05-041-2/+9
* Add INLINE pragmas for Enum helper methodsSimon Peyton Jones2022-04-281-1/+59
* Drop the app invariantghc-9.5-startJoachim Breitner2022-04-091-11/+3
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-3/+3
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-4/+4
* Worker/wrapper: Preserve float barriers (#21150)Sebastian Graf2022-03-131-1/+1
* Don't allow Float#/Double# literal patternssheaf2022-03-051-2/+2
* Core Lint: collect args through floatable tickssheaf2022-03-011-1/+11
* Core Lint: ensure primops can be eta-expandedsheaf2022-02-261-8/+126
* Add late cost centre supportAndreas Klebinger2022-02-101-0/+1
* Fix some notesMatthew Pickering2022-02-081-2/+2
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-041-2/+2
* Fix a few Note inconsistenciesBen Gamari2022-02-011-4/+4
* Fix typosKrzysztof Gogolewski2021-12-251-1/+1
* Increase type sharingBen Gamari2021-11-171-5/+4
* Update comment in Lint.hs Andreas Klebinger2021-11-011-1/+1
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-28/+28
* Add `-dsuppress-core-sizes` flag (#20342)Sylvain Henry2021-09-281-3/+5
* compiler: Ensure that all CoreTodos have SCCsBen Gamari2021-09-171-1/+1
* Only dump Core stats when requested to do so (#20342)Sylvain Henry2021-09-081-1/+3
* Linear types: fix linting of multiplicities (#19165)Krzysztof Gogolewski2021-08-041-14/+20
* Dynflags: introduce DiagOptsSylvain Henry2021-07-011-1/+3
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-12/+2
* Put tracing functions into their own moduleSylvain Henry2021-06-221-28/+34
* 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
View Lorry Controller Status