summaryrefslogtreecommitdiff
path: root/compiler/GHC/Types
Commit message (Expand)AuthorAgeFilesLines
* Fix several note references, part 2Krzysztof Gogolewski2022-05-053-3/+3
* Assume at least one evaluation for nested SubDemands (#21081, #21133)wip/T21081Sebastian Graf2022-05-031-138/+357
* Fix several note referencesKrzysztof Gogolewski2022-05-022-3/+4
* exprIsDeadEnd: Use isDeadEndAppSig to check if a function appliction is botto...Andreas Klebinger2022-05-011-4/+4
* StgLint: Check that functions are applied to compatible runtime repsAndreas Klebinger2022-05-011-2/+43
* Convert More Diagnostics (#20116)Ben Gamari2022-04-302-1/+8
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-1/+1
* Fixes to rubbish literalsKrzysztof Gogolewski2022-04-221-1/+1
* Remove LevityInfoKrzysztof Gogolewski2022-04-203-99/+9
* Eta reduction based on evaluation context (#21261)Sebastian Graf2022-04-121-1/+7
* Improve seq[D]VarSetSimon Jakobi2022-04-081-2/+2
* Rename [] to List (#21294)Vladislav Zavialov2022-04-072-2/+19
* Add warnings for file header pragmas that appear in the body of a module (#20...Zubin Duggal2022-04-062-0/+8
* Keep track of promotion ticks in HsOpTywip/no-c-stubswip/matt-merge-batchsheaf2022-04-012-8/+51
* Minor cleanupKrzysztof Gogolewski2022-04-011-22/+2
* Refactor handling of global initializersBen Gamari2022-04-011-5/+50
* Refactor: make primtypes independent of PrimRepsKrzysztof Gogolewski2022-03-301-3/+59
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-1/+1
* Add the OPAQUE pragmaChristiaan Baaij2022-03-252-5/+89
* hi haddock: Lex and store haddock docs in interface filesZubin Duggal2022-03-233-5/+21
* Avoid some SOURCE importsSylvain Henry2022-03-201-1/+1
* Demand: Let `Boxed` win in `lubBoxity` (#21119)Sebastian Graf2022-03-161-92/+110
* Convert Diagnostics in GHC.Tc.Gen.ForeignAaron Allen2022-03-162-0/+9
* DmdAnal: Don't unbox recursive data types (#11545)Sebastian Graf2022-03-141-0/+21
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-143-1/+49
* Demand: Document why we need three additional equations of multSubDmdSebastian Graf2022-03-111-17/+20
* Add an inline pragma to lookupVarEnvMatthew Pickering2022-03-101-0/+5
* Expand and improve the Note [Strict Worker Ids].Andreas Klebinger2022-03-071-5/+20
* Ticky profiling improvements.Matthew Pickering2022-03-021-0/+3
* Core Lint: ensure primops can be eta-expandedsheaf2022-02-262-1/+46
* Derive Enum instances for CCallConv and SafetySylvain Henry2022-02-251-4/+9
* Suggestions due to hlintMatthew Pickering2022-02-241-2/+1
* Kill derived constraintsRichard Eisenberg2022-02-232-3/+8
* Track object file dependencies for TH accurately (#20604)Zubin Duggal2022-02-202-0/+10
* Tag inference work.Andreas Klebinger2022-02-125-19/+228
* Add late cost centre supportAndreas Klebinger2022-02-101-1/+8
* Fix some notesMatthew Pickering2022-02-081-1/+1
* Add Outputable instance for MessagesSimon Peyton Jones2022-02-041-2/+11
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-042-0/+23
* More accurate unboxingSimon Peyton Jones2022-02-021-3/+9
* Fix a few Note inconsistenciesBen Gamari2022-02-015-2/+5
* Consistently upper-case "Note ["Ben Gamari2022-02-014-8/+8
* StgToCmm: decouple DynFlags, add StgToCmmConfigdoyougnu2022-01-311-0/+26
* Rework the handling of SkolemInfoMatthew Pickering2022-01-292-4/+8
* Improve boxity in deferAfterPreciseExceptionSimon Peyton Jones2022-01-281-5/+56
* CorePrep: Don't try to wrap partial applications of primops in profiling ticks.Andreas Klebinger2022-01-261-0/+4
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-173-89/+278
* Untangled GHC.Types.Id.Make from the driverSylvain Henry2022-01-121-25/+16
* Abstract BangOptsSylvain Henry2022-01-121-23/+43
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-112-2/+3