summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Subst.hs
Commit message (Expand)AuthorAgeFilesLines
* Misc cleanupKrzysztof Gogolewski2023-04-171-9/+9
* Abstract over the right free varsSimon Peyton Jones2022-12-211-2/+10
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-5/+7
* Be more careful when reporting unbound RULE bindersSimon Peyton Jones2022-11-191-1/+1
* Make the specialiser handle polymorphic specialisationSimon Peyton Jones2022-10-251-1/+2
* Fix binder-swap bugSimon Peyton Jones2022-10-251-1/+0
* Fix typosEric Lindblad2022-09-141-1/+1
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-165/+33
* Make the specialiser deal better with specialised methodsSimon Peyton Jones2022-07-221-1/+5
* Rename `HsToCore.{Coverage -> Ticks}`John Ericson2022-06-021-1/+1
* Fix several note referencesKrzysztof Gogolewski2022-05-021-3/+3
* Fix substitution in bindAuxiliaryDictSimon Peyton Jones2022-04-201-22/+11
* Specialising through specialised method calls (#19644)Sebastian Graf2022-04-121-5/+14
* Suggestions due to hlintMatthew Pickering2022-02-241-2/+1
* Revert "Convert lookupIdSubst panic back to a warning (#20200)"Matthew Pickering2021-11-251-6/+4
* Fix GHC.Core.Subst.substDVarSetSimon Peyton Jones2021-08-261-17/+17
* Convert lookupIdSubst panic back to a warning (#20200)Krzysztof Gogolewski2021-08-231-3/+5
* Get the in-scope set right during RULE matchingSimon Peyton Jones2021-08-191-7/+1
* Fix lookupIdSubst call during RULE matchingKrzysztof Gogolewski2021-08-151-4/+3
* Remove eager forcing of RuleInfo in substRuleInfoMatthew Pickering2021-08-031-8/+32
* Simplifier: Do Cast W/W for INLINE strong loop-breakersSebastian Graf2021-06-271-1/+1
* Put tracing functions into their own moduleSylvain Henry2021-06-221-3/+5
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-5/+2
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-10/+11
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-1/+1
* Fix Haddock referenceBen Gamari2021-04-181-1/+1
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-0/+1
* rename Tickish to CoreTickishLuite Stegeman2021-03-201-1/+1
* remove superfluous 'id' type parameter from GenTickishLuite Stegeman2021-03-201-1/+1
* Save the type of breakpoints in the Breakpoint tick in STGLuite Stegeman2021-03-201-2/+2
* Add explicit import lists to Data.List importsOleg Grenrus2021-01-291-1/+1
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-1/+1
* Better eta-expansion (again) and don't specilise DFunsSimon Peyton Jones2020-09-221-0/+5
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+3
* Improve debug tracing for substitutionSimon Peyton Jones2020-07-011-32/+30
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-2/+2
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-6/+6
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-7/+11
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-4/+4
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Major improvements to the specialiserSimon Peyton Jones2020-04-031-2/+1
* Re-engineer the binder-swap transformationSimon Peyton Jones2020-04-021-1/+1
* Modules: Types (#13009)Sylvain Henry2020-03-291-7/+7
* Modules: Core (#13009)Sylvain Henry2020-03-161-9/+10
* Modules: Core (#13009)Sylvain Henry2020-02-261-0/+758
View Lorry Controller Status