summaryrefslogtreecommitdiff
path: root/compiler/simplCore
Commit message (Expand)AuthorAgeFilesLines
* 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
* Preserve specialisations despite CSESimon Peyton Jones2018-09-051-11/+57
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-215-15/+15
* Set strictness correctly for JoinIdsSimon Peyton Jones2018-08-211-3/+6
* Fix PrelRules.caseRules to account for out-of-range tagsSimon Peyton Jones2018-07-251-12/+21
* Record some notes about "innocuous" transformationsSimon Peyton Jones2018-06-252-1/+75
* Remove unused BottomFound from TickSimon Peyton Jones2018-06-251-3/+0
* More misc commentsSimon Peyton Jones2018-06-251-0/+3
* Typofixes in docs and comments [ci skip]Gabor Greif2018-06-181-2/+2
* Don't use unsafeGlobalDynFlags in optCoercionBen Gamari2018-06-071-2/+3
* Remove ad-hoc special case in occAnalSimon Peyton Jones2018-06-071-39/+36
* Comments onlySimon Peyton Jones2018-06-071-26/+28
* Let the simplifier know that seq# forcesDavid Feuer2018-06-061-36/+72
* Improve extendTvSubst assertionMatthew Pickering2018-06-041-1/+1
* Refactor SetLevels.abstractVarsSimon Peyton Jones2018-06-041-14/+6
* Do a late CSE passSimon Peyton Jones2018-06-041-0/+6
* Extended the plugin system to run plugins on more representationsBoldizsar Nemeth2018-06-021-0/+37
* vectorise: Put it out of its miseryBen Gamari2018-06-023-70/+8
* Implement "An API for deciding whether plugins should cause recompilation"Matthew Pickering2018-05-302-5/+6
* Define MCoercion typeningning2018-05-301-4/+4
* Minor refactoringGabor Greif2018-05-291-1/+1
* Don't expose strictness when sm_inline is FalseSimon Peyton Jones2018-05-232-28/+55
* Improve performance of CallArityJoachim Breitner2018-05-221-1/+1
* Less Tc inside simplCore (Phase 1 for #14391)Artem Pelenitsyn2018-05-151-6/+18
* Fix performance regressions from #14737Tobias Dammers2018-05-141-21/+49
* Small refactoring in ExitifySimon Peyton Jones2018-05-081-60/+73
* Split TrieMap into a general (TrieMap) and core specific (CoreTrieMap) module.klebinger.andreas@gmx.at2018-05-051-1/+1
* Exitify: Do not trip over shadowing (fixes #15110)Joachim Breitner2018-05-011-4/+19
* Minor refactoring in ExitifySimon Peyton Jones2018-04-271-32/+39
* Rename a local variableSimon Peyton Jones2018-04-271-2/+2
* Refactor in OccurAnalSimon Peyton Jones2018-04-271-28/+29
* Comments onlySimon Peyton Jones2018-04-272-2/+3
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-201-30/+44
* Minor comments in CSESimon Peyton Jones2018-04-171-8/+8
* No need for sortQuantVars in Exitify after allJoachim Breitner2018-04-111-6/+3
* In Exitify, zap idInfo of abstracted variables (fixes #15005)Joachim Breitner2018-04-101-1/+8