summaryrefslogtreecommitdiff
path: root/compiler/specialise/SpecConstr.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: Core operations (#13009)Sylvain Henry2020-03-181-2360/+0
* Modules: Core (#13009)Sylvain Henry2020-03-161-5/+5
* Modules: Core (#13009)Sylvain Henry2020-02-261-13/+13
* Modules: Driver (#13009)Sylvain Henry2020-02-211-2/+2
* Separate CPR analysis from the Demand analyserwip/sep-cprSebastian Graf2020-02-121-1/+3
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+2
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-4/+4
* Use "OrCoVar" functions lessKrzysztof Gogolewski2019-12-161-2/+2
* Drop Uniquable constraint for AnnTargetBen Gamari2019-12-031-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-14/+14
* Finish fix for #14880.Tobias Dammers2018-10-281-1/+1
* Coercion Quantificationningning2018-09-151-1/+0
* Comments onlySimon Peyton Jones2018-08-311-1/+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
* 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
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Fix typos in diagnostics, testsuite and commentsGabor Greif2017-09-071-1/+1
* Use lengthIs and friends in more placesRyan Scott2017-06-021-1/+1
* Typos [ci skip]Gabor Greif2017-05-101-2/+2
* Fix loss-of-SpecConstr bugSimon Peyton Jones2017-05-021-86/+107
* Improve SpecConstr when there are many opportunitiesSimon Peyton Jones2017-05-021-43/+113
* Typos in comments [ci skip]Gabor Greif2017-04-051-1/+1
* Typos in changelog and commentsGabor Greif2017-03-071-1/+1
* Add -fspec-constr-keenSimon Peyton Jones2017-02-261-7/+50
* More tracing in SpecConstrSimon Peyton Jones2017-02-231-4/+10
* Add some commented-out tracing in SpecConstrSimon Peyton Jones2017-02-081-5/+9
* Ditch static flagsSylvain Henry2017-02-021-6/+9
* Join pointsLuke Maurer2017-02-011-9/+14
* Typos in comments only [ci skip]Gabor Greif2017-01-181-1/+1
* 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
* Replace INLINEABLE by INLINABLE (#12613)Joachim Breitner2016-09-241-1/+1
* 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
* Axe RecFlag on TyCons.Edward Z. Yang2016-06-301-4/+4
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-1/+1
* Demand Analyzer: Do not set OneShot information (second try)Joachim Breitner2016-04-061-1/+1
* Typos in non-codeGabor Greif2016-03-301-1/+1
* SpecConstr: Transport strictness data to specialization’s argument’s bindersJoachim Breitner2016-03-291-1/+25
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-15/+15
* Remote GHCi, -fexternal-interpreterSimon Marlow2015-12-171-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-5/+5
* Make callToPats deterministic in SpecConstrBartosz Nitka2015-12-041-2/+8