summaryrefslogtreecommitdiff
path: root/compiler/specialise
Commit message (Expand)AuthorAgeFilesLines
* Prepare source-tree for base-4.13 MFP bumpHerbert Valerio Riedel2019-01-181-1/+3
* Stomp a few typos and grammarosGabor Greif2018-12-171-5/+5
* Fix unused-import warningsDavid Eichmann2018-11-221-1/+0
* Finish fix for #14880.Tobias Dammers2018-10-281-1/+1
* Coercion Quantificationningning2018-09-151-1/+0
* Define activeAfterInitial, activeDuringFinalSimon Peyton Jones2018-09-051-6/+6
* Comments onlySimon Peyton Jones2018-08-311-1/+1
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-212-3/+3
* Revert "Don't inline functions with RULES too early"Ben Gamari2018-08-011-42/+7
* Don't inline functions with RULES too earlySimon Peyton Jones2018-07-311-7/+42
* Typofixes in docs and comments [ci skip]Gabor Greif2018-06-181-1/+1
* Don't use unsafeGlobalDynFlags in optCoercionBen Gamari2018-06-071-1/+1
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-0/+1
* vectorise: Put it out of its miseryBen Gamari2018-06-021-1/+1
* SpecConstr: accommodate casts in value argumentsSimon Peyton Jones2018-04-021-9/+47
* Fix two obscure bugs in rule matchingSimon Peyton Jones2018-03-211-65/+88
* Also check local rules with -frules-checkMatthew Pickering2018-03-191-5/+5
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-1/+1
* Catch a few more typos in commentsGabor Greif2017-10-301-2/+2
* Fix typo in accessor nameGabor Greif2017-10-301-1/+1
* Fix an exponential-blowup case in SpecConstrSimon Peyton Jones2017-10-271-20/+33
* Add more pprTrace to SpecConstr (debug only)Simon Peyton Jones2017-10-271-3/+11
* Do not bind coercion variables in SpecConstr rulesSimon Peyton Jones2017-10-121-2/+42
* Rules: Show the binder type in the unbound template binder errorBen Gamari2017-09-261-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-193-0/+6
* Allow CSE'ing of work-wrapped bindings (#14186)Joachim Breitner2017-09-121-1/+1
* Canonicalise MonoidFail instances in GHCHerbert Valerio Riedel2017-09-091-1/+1
* Fix typos in diagnostics, testsuite and commentsGabor Greif2017-09-071-1/+1
* Add debugPprTypeSimon Peyton Jones2017-08-312-8/+7
* Drop GHC 7.10 compatibilityRyan Scott2017-08-011-4/+0
* Fix note references and some typosGabor Greif2017-07-261-1/+1
* Spelling fixesGabor Greif2017-07-201-1/+1
* Typos [ci skip]Gabor Greif2017-06-131-1/+1
* Stop the specialiser generating loopy codeSimon Peyton Jones2017-06-071-173/+240
* Use lengthIs and friends in more placesRyan Scott2017-06-021-1/+1
* Typos [ci skip]Gabor Greif2017-05-101-2/+2
* Make CallInfo into a data type with fieldsSimon Peyton Jones2017-05-091-21/+36
* Fix loss-of-SpecConstr bugSimon Peyton Jones2017-05-021-86/+107
* Improve SpecConstr when there are many opportunitiesSimon Peyton Jones2017-05-021-43/+113
* Prefer #if defined to #ifdefBen Gamari2017-04-281-1/+1
* Typos in comments [ci skip]Gabor Greif2017-04-051-1/+1
* Print module when dumping rulesMatthew Pickering2017-03-291-2/+2
* Allow unbound Refl binders in a RULESimon Peyton Jones2017-03-291-10/+37
* Typos in comments (notes too) [ci skip]Gabor Greif2017-03-241-1/+1
* No join-point from an INLINE function with wrong aritySimon Peyton Jones2017-03-172-1/+3
* Typos in changelog and commentsGabor Greif2017-03-071-1/+1
* Typos in comments and manualGabor Greif2017-03-061-1/+1
* Add VarSet.anyDVarSet, allDVarSetSimon Peyton Jones2017-02-281-1/+1
* Make Specialise work with castsSimon Peyton Jones2017-02-281-9/+26
* Stop uniques ending up in SPEC rule namesSimon Peyton Jones2017-02-271-4/+5