summaryrefslogtreecommitdiff
path: root/compiler/simplCore
Commit message (Expand)AuthorAgeFilesLines
* simplCore: Ignore ticks in rule templatesBen Gamari2020-05-311-0/+19
* Treat coercions as arguments for floating and inliningAlexis King2020-02-221-8/+15
* Fix #17724 by having occAnal preserve used bindings.Andreas Klebinger2020-02-221-1/+6
* compiler: Qualify imports of Data.ListBen Gamari2020-01-123-3/+3
* 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
* Fix typosKrzysztof Gogolewski2019-03-191-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-1512-63/+63
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-2/+2
* Fix exprIsConApp_maybeSimon Peyton Jones2019-02-221-10/+10
* Don't do binder-swap for GlobalIdsSimon Peyton Jones2019-02-221-3/+8
* Make constructor wrappers inline only during the final phaseArnaud Spiwack2019-02-192-18/+58
* Comments only about the binder-swap in OccurAnalSimon Peyton Jones2019-02-081-12/+41
* Remove ExnStr and ThrowsExn businessSebastian Graf2019-02-011-2/+2
* A few typofixesGabor Greif2019-01-231-3/+2
* remove optionGabor Greif2018-12-211-1/+0
* Comments onlySimon Peyton Jones2018-12-211-9/+13
* Stomp a few typos and grammarosGabor Greif2018-12-174-11/+11
* Careful tweaking to exprOkForSpeculationSimon Peyton Jones2018-12-072-11/+34
* Fix #15953 by consistently using dumpIfSet_dyn to print debug outputChaitanya Koparkar2018-11-291-5/+4
* Rename literal constructorsSylvain Henry2018-11-222-3/+3
* Make `UniqDSet` a newtypeSebastian Graf2018-11-131-1/+2
* Finish fix for #14880.Tobias Dammers2018-10-282-4/+3
* Do not mark CoVars as dead in the occur-analSimon Peyton Jones2018-10-041-0/+23
* Allow (~) in the head of a quantified constraintsSimon Peyton Jones2018-09-131-6/+20
* Comments about join-point return typesSimon Peyton Jones2018-09-131-4/+38
* Honor INLINE on 0-arity bindings (#15578)Tobias Dammers2018-09-131-3/+13
* Be a bit more aggressive about let-to-caseSimon Peyton Jones2018-09-121-17/+35
* Make CoreMonad independent of TcEnv (#14391)Krzysztof Gogolewski2018-09-111-53/+1