summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/SimpleOpt.hs
Commit message (Expand)AuthorAgeFilesLines
* Make exprIsConApp_maybe a bit clevererwip/T23159Simon Peyton Jones2023-03-271-8/+54
* Take account of loop breakers in specLookupRuleSimon Peyton Jones2023-01-301-15/+10
* Fix loop in the interface representation of some `Unfolding` fieldsGergő Érdi2022-12-131-1/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-1/+1
* Refactor UnfoldingSource and IfaceUnfoldingSimon Peyton Jones2022-09-281-1/+1
* Fix typosKrzysztof Gogolewski2022-09-141-1/+1
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-12/+12
* Simplify: Take care with eta reduction in recursive RHSs (#21652)Sebastian Graf2022-06-201-8/+26
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-301-18/+14
* SimpleOpt: beta-reduce through castssheaf2022-05-251-21/+80
* Fix substitution in bindAuxiliaryDictSimon Peyton Jones2022-04-201-2/+2
* Specialising through specialised method calls (#19644)Sebastian Graf2022-04-121-1/+1
* Eta reduction based on evaluation context (#21261)Sebastian Graf2022-04-121-3/+3
* Drop the app invariantghc-9.5-startJoachim Breitner2022-04-091-3/+45
* Better occurrence analysis with castsSimon Peyton Jones2022-01-261-7/+8
* Canonicalize bignum literalsSylvain Henry2021-09-111-27/+4
* Get the in-scope set right during RULE matchingSimon Peyton Jones2021-08-191-2/+3
* Remove eager forcing of RuleInfo in substRuleInfoMatthew Pickering2021-08-031-1/+1
* Extend the in-scope set to silence substExpr warningsSimon Peyton Jones2021-07-281-2/+12
* Simplifier: Do Cast W/W for INLINE strong loop-breakersSebastian Graf2021-06-271-2/+2
* Optimiser: Correctly deal with strings starting with unicode characters in ex...Matthew Pickering2021-06-231-21/+17
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-7/+8
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-071-2/+2
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-281-3/+3
* 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
* Fix over-eager inlining in SimpleOptSimon Peyton Jones2021-02-141-3/+14
* Add explicit import lists to Data.List importsOleg Grenrus2021-01-291-1/+1
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-5/+5
* Bignum: match on small Integer/NaturalSylvain Henry2020-10-091-3/+14
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-291-2/+0
* Better eta-expansion (again) and don't specilise DFunsSimon Peyton Jones2020-09-221-301/+23
* Add comments about sm_dflags and simpleOptExprSylvain Henry2020-09-091-0/+8
* DynFlags: add sm_pre_inline field into SimplMode (#17957)Sylvain Henry2020-09-091-15/+9
* DynFlags: add UnfoldingOpts and SimpleOptsSylvain Henry2020-09-091-33/+52
* DynFlags: add OptCoercionOptsSylvain Henry2020-09-091-9/+14
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+2
* This patch addresses the exponential blow-up in the simplifier.Simon Peyton Jones2020-07-281-1/+1
* Use ShortByteString for FastStringDaniel Gröber2020-07-221-1/+1
* Improve debug tracing for substitutionSimon Peyton Jones2020-07-011-10/+11
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-1/+1
* Fix a buglet in Simplify.simplCastSimon Peyton Jones2020-06-231-9/+15
* Update compilerSylvain Henry2020-06-171-3/+15
* Various performance improvementsKrzysztof Gogolewski2020-06-171-2/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-11/+25
* Implement cast worker/wrapper properlySimon Peyton Jones2020-06-101-2/+1
View Lorry Controller Status