summaryrefslogtreecommitdiff
path: root/compiler/specialise
Commit message (Expand)AuthorAgeFilesLines
* 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
* Replace INLINEABLE by INLINABLE (#12613)Joachim Breitner2016-09-242-8/+8
* Fix #12442.Richard Eisenberg2016-09-231-2/+2
* Comments and white spaceSimon Peyton Jones2016-09-131-1/+1
* extend '-fmax-worker-args' limit to specialiser (Trac #11565)Sergei Trofimovich2016-09-021-4/+8
* Introduce BootUnfolding, set when unfolding is absent due to hs-boot file.Edward Z. Yang2016-08-211-0/+1
* More typos in commentsGabor Greif2016-07-221-3/+3
* Axe RecFlag on TyCons.Edward Z. Yang2016-06-301-4/+4
* Typos in comments [skip ci]Gabor Greif2016-06-221-2/+2
* Don't quantify over Refl in a RULESimon Peyton Jones2016-06-211-6/+29
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-152-2/+2
* Rename cmpType to nonDetCmpTypeBartosz Nitka2016-06-141-2/+2
* Implement deterministic CallInfoSetBartosz Nitka2016-06-061-37/+74
* Localize orphan-related nondeterminismBartosz Nitka2016-06-021-2/+2
* Document some benign nondeterminismBartosz Nitka2016-05-241-1/+3
* Refactor some ppr functions to use pprUFMBartosz Nitka2016-05-121-2/+4