summaryrefslogtreecommitdiff
path: root/compiler/specialise/Specialise.hs
Commit message (Expand)AuthorAgeFilesLines
* Stop the specialiser generating loopy codeSimon Peyton Jones2017-06-071-173/+240
* Make CallInfo into a data type with fieldsSimon Peyton Jones2017-05-091-21/+36
* 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-171-1/+2
* Typos in comments and manualGabor Greif2017-03-061-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
* Spelling in comments [ci skip]Gabor Greif2017-02-101-1/+1
* Join pointsLuke Maurer2017-02-011-4/+19
* Typos in manual and comments [ci skip]Gabor Greif2017-01-171-2/+2
* Fix 'SPECIALISE instance'Simon Peyton Jones2016-12-211-17/+12
* Replace INLINEABLE by INLINABLE (#12613)Joachim Breitner2016-09-241-7/+7
* 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
* 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-151-1/+1
* Rename cmpType to nonDetCmpTypeBartosz Nitka2016-06-141-2/+2
* Implement deterministic CallInfoSetBartosz Nitka2016-06-061-37/+74
* Kill varEnvElts in specImportsBartosz Nitka2016-05-121-10/+18
* Tidy up handling of coercion variablesSimon Peyton Jones2016-03-241-4/+10
* Get the right in-scope set in specUnfoldingSimon Peyton Jones2016-02-261-5/+16
* A few more typos in non-codeGabor Greif2016-02-191-1/+1
* (Another) minor refactoring of substitutionsSimon Peyton Jones2016-02-181-6/+6
* Another batch of typo fixes in non-codeGabor Greif2016-02-111-1/+1
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-271-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-11/+11
* Remove some redundant definitions/constraintsHerbert Valerio Riedel2015-12-311-1/+0
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-3/+0
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-27/+33
* MonadFail proposal, phase 1David Luposchainsky2015-11-171-0/+8
* Make Monad/Applicative instances MRP-friendlyHerbert Valerio Riedel2015-10-171-2/+2
* Rename SpecInfo to RuleInfo (upon SPJ's advice).Edward Z. Yang2015-10-101-1/+1
* Move orphan instance/rule warnings to typechecker/desugarer.Edward Z. Yang2015-10-081-0/+20
* Testsuite: don't warn about missing specialisationsThomas Miedema2015-09-021-0/+1
* Warn about missed specialisations for importsSimon Peyton Jones2015-08-051-16/+49
* Typos in comments [skip ci]Gabor Greif2015-08-031-1/+1
* Avoid out-of-scope top-level IdsSimon Peyton Jones2015-07-211-16/+15
* Specialise: Avoid unnecessary recomputation of free variable informationBen Gamari2015-07-061-22/+34
* Add -fcross-module-specialise flagBen Gamari2015-06-281-10/+54
|\
| * Add -fcross-module-specialise flagBen Gamari2015-06-281-10/+54
* | Filter orphan rules based on imports, fixes #10294 and #10420.Edward Z. Yang2015-06-201-7/+17
|/
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-2/+1
* Revert multiple commitsAustin Seipp2015-05-141-1/+2
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-2/+1
* compiler: de-lhs specialise/Austin Seipp2014-12-031-0/+2131
View Lorry Controller Status