summaryrefslogtreecommitdiff
path: root/compiler/simplCore
Commit message (Expand)AuthorAgeFilesLines
* Modules: Core operations (#13009)Sylvain Henry2020-03-1817-18981/+0
* Modules: Core (#13009)Sylvain Henry2020-03-1612-34/+35
* Remove some dead codeBrian Foley2020-03-151-10/+1
* Improve CSE.combineAltsSimon Peyton Jones2020-03-141-21/+74
* Typos in comments [skip ci]Krzysztof Gogolewski2020-03-105-11/+11
* Modules: Core (#13009)Sylvain Henry2020-02-2615-113/+113
* Treat coercions as arguments for floating and inliningAlexis King2020-02-261-8/+15
* Modules: Driver (#13009)Sylvain Henry2020-02-2110-14/+14
* Fix #17724 by having occAnal preserve used bindings.Andreas Klebinger2020-02-201-1/+6
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-13/+18
* Separate CPR analysis from the Demand analyserwip/sep-cprSebastian Graf2020-02-126-18/+29
* Module hierarchy: ByteCode and Runtime (cf #13009)Sylvain Henry2020-02-121-1/+1
* compiler: Qualify imports of Data.ListBen Gamari2020-02-083-3/+3
* Disable two warnings for files that trigger themTom Ellis2020-01-276-0/+11
* PmCheck: Formulate as translation between Clause TreesSebastian Graf2020-01-251-0/+2
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-127-24/+24
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-062-3/+3
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-045-5/+5
* Add GHC-API logging hooksSylvain Henry2019-12-185-15/+33
* Use "OrCoVar" functions lessKrzysztof Gogolewski2019-12-163-4/+4
* Split up coercionKindSimon Peyton Jones2019-12-062-7/+5
* Simplify uniqAwayBen Gamari2019-12-031-1/+0
* Drop Uniquable constraint for AnnTargetBen Gamari2019-12-031-6/+10
* Simplify: Fix pretty-printing of strictnessBen Gamari2019-12-021-2/+2
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-285-13/+13
* Reduce boolean blindness in OccInfo(OneOcc) #17482Philipp Krüger2019-11-282-19/+22
* Fix typosBrian Wignall2019-11-232-2/+2
* Give seq a more precise type and remove magicBen Gamari2019-11-191-2/+7
* Optimize MonadUnique instances based on IO (#16843)nineonine2019-11-193-56/+37
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-0/+1
* SetLevels: Don't set context level when floating casesBen Gamari2019-11-081-4/+33
* Make CSE delay inlining lessSimon Peyton Jones2019-11-011-7/+49
* Better arity for join pointsSimon Peyton Jones2019-10-282-11/+5
* Make dynflag argument for withTiming pure.Andreas Klebinger2019-10-231-9/+7
* Always enable the external interpreterJohn Ericson2019-10-041-4/+0
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-201-2/+4
* Simplify: Lazy pattern matchBen Gamari2019-09-191-1/+5
* Add a missing update of sc_hole_ty (#16312)Simon Peyton Jones2019-09-191-1/+5
* SetLevels: Fix potential panic in lvlBindBen Gamari2019-09-111-3/+3
* Remove Bag fold specialisations (#16969)Richard Lupton2019-08-191-2/+2
* Don't float unlifted join points to top levelSimon Peyton Jones2019-08-041-2/+11
* Add a note in the simplifier about in-scope set as a substitutionArnaud Spiwack2019-07-152-1/+38
* Remove dead codeKrzysztof Gogolewski2019-06-151-1/+0
* Use DeriveFunctor throughout the codebase (#15654)Krzysztof Gogolewski2019-06-122-7/+5
* Refine the GHCI macro into HAVE[_{INTERNAL, EXTERNAL}]_INTERPRETERAlp Mestanogullari2019-06-111-1/+1
* Provide details in `plusSimplCount` errorsJosh Meredith2019-05-291-1/+8
* Compute demand signatures assuming idAritySebastian Graf2019-04-302-3/+12
* Fix #16282.Eric Crockett2019-04-071-8/+8
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-221-7/+7
* Remove deprecated reinitializeGlobalsKrzysztof Gogolewski2019-03-191-7/+0
View Lorry Controller Status