summaryrefslogtreecommitdiff
path: root/compiler/specialise/Specialise.hs
Commit message (Expand)AuthorAgeFilesLines
* Remove Bag fold specialisations (#16969)Richard Lupton2019-08-191-8/+8
* Use DeriveFunctor throughout the codebase (#15654)Krzysztof Gogolewski2019-06-121-4/+2
* Remove trailing whitespaceMatthew Pickering2019-06-081-1/+1
* Let the specialiser work on dicts under lambdasSandy Maguire2019-05-261-114/+370
* Fix #16282.Eric Crockett2019-04-071-16/+23
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-12/+12
* 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
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-1/+1
* Don't use unsafeGlobalDynFlags in optCoercionBen Gamari2018-06-071-1/+1
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-0/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* 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
* Add debugPprTypeSimon Peyton Jones2017-08-311-1/+1
* Drop GHC 7.10 compatibilityRyan Scott2017-08-011-4/+0
* Fix note references and some typosGabor Greif2017-07-261-1/+1
* Typos [ci skip]Gabor Greif2017-06-131-1/+1
* 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