summaryrefslogtreecommitdiff
path: root/compiler/specialise
Commit message (Expand)AuthorAgeFilesLines
* 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
* Occurrence-analyse the result of rule firingsSimon Peyton Jones2017-02-261-6/+3
* Add -fspec-constr-keenSimon Peyton Jones2017-02-261-7/+50
* More tracing in SpecConstrSimon Peyton Jones2017-02-231-4/+10
* Generalize kind of the (->) tyconBen Gamari2017-02-181-0/+6
* Spelling in comments [ci skip]Gabor Greif2017-02-101-1/+1
* Add some commented-out tracing in SpecConstrSimon Peyton Jones2017-02-081-5/+9
* Ditch static flagsSylvain Henry2017-02-022-18/+21
* Join pointsLuke Maurer2017-02-013-15/+37
* Typos in comments only [ci skip]Gabor Greif2017-01-181-1/+1
* Typos in manual and comments [ci skip]Gabor Greif2017-01-171-2/+2
* Fix 'SPECIALISE instance'Simon Peyton Jones2016-12-211-17/+12
* Move InId/OutId to CoreSynSimon Peyton Jones2016-12-211-9/+0
* Allow use of the external interpreter in stage1.Shea Levy2016-12-201-16/+3
* Revert "Allow use of the external interpreter in stage1."Tamar Christina2016-12-191-3/+16
* Allow use of the external interpreter in stage1.Shea Levy2016-12-171-16/+3
* Typos in commentsGabor Greif2016-12-161-1/+1