summaryrefslogtreecommitdiff
path: root/compiler/coreSyn/CoreUtils.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: Core (#13009)Sylvain Henry2020-02-261-2564/+0
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* Separate CPR analysis from the Demand analyserwip/sep-cprSebastian Graf2020-02-121-1/+13
* Do CafInfo/SRT analysis in CmmÖmer Sinan Ağacan2020-01-311-124/+1
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-4/+4
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-2/+2
* Split up coercionKindSimon Peyton Jones2019-12-061-5/+5
* Make CorePrep.tryEtaReducePrep and CoreUtils.tryEtaReduce line upMatheus Magalhães de Alcantara2019-11-231-0/+2
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-0/+1
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-201-4/+41
* CoreUtils: Use mightBeUnliftedType in exprIsTopLevelBindableBen Gamari2019-09-191-1/+3
* Move 'Platform' to ghc-bootJohn Ericson2019-06-191-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-16/+16
* Fix map/coerce rule for newtypes with wrappersKrzysztof Gogolewski2019-03-051-1/+0
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-4/+5
* Look through newtype wrappers (Trac #16254)Krzysztof Gogolewski2019-02-191-0/+1
* Stomp a few typos and grammarosGabor Greif2018-12-171-1/+1
* Careful tweaking to exprOkForSpeculationSimon Peyton Jones2018-12-071-43/+82
* Rename literal constructorsSylvain Henry2018-11-221-4/+4
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-241-1/+1
* Comments and white spaceSimon Peyton Jones2018-10-241-3/+2
* Add RubbishLit for absent bindings of UnliftedRepSebastian Graf2018-10-141-4/+7
* Fix dataToTag# argument evaluationÖmer Sinan Ağacan2018-10-101-17/+0
* Fix get getIdFromTrivialExprSimon Peyton Jones2018-09-231-8/+14
* Coercion Quantificationningning2018-09-151-9/+12
* Allow (~) in the head of a quantified constraintsSimon Peyton Jones2018-09-131-3/+15
* A few typofixes in commentsGabor Greif2018-06-291-1/+1
* Built-in Natural literals in CoreSylvain Henry2018-06-151-8/+11
* Fix corner case in typeKind, plus refactoringSimon Peyton Jones2018-06-151-6/+6
* Add note documenting refineDefaultAltMatthew Pickering2018-05-131-0/+88
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-201-1/+1
* CoreUtils.filterAlts: Correct docsSimon Jakobi2018-04-071-2/+0
* Improve documentation for refineDefaultAltSimon Jakobi2018-04-071-5/+6
* Fix seq# case of exprOkForSpeculationSimon Peyton Jones2018-03-201-1/+23
* Allow top level ticked string literalsBartosz Nitka2018-03-061-7/+22
* Comments onlySimon Peyton Jones2018-02-271-0/+2
* Fix the lone-variable case in callSiteInlineSimon Peyton Jones2018-01-251-30/+72
* Fix quadratic behavior of prepareAltsBartosz Nitka2018-01-151-4/+11
* Typos in commentsGabor Greif2018-01-031-2/+2
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-1/+1
* Typofix in commentGabor Greif2017-12-131-1/+1
* Fix nasty bug in w/w for absence analysisSimon Peyton Jones2017-10-031-11/+21
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Bottoming expressions should not be expandableSimon Peyton Jones2017-08-251-27/+47
* Restrict exprOkForSpeculation/case to unlifted typesSimon Peyton Jones2017-08-251-45/+85
* Introduce -fcatch-bottomsBen Gamari2017-07-201-0/+1
* Spelling fixesGabor Greif2017-07-201-1/+1
* Use lengthIs and friends in more placesRyan Scott2017-06-021-4/+4
* Make let and app consistent in exprIsCheapXSimon Peyton Jones2017-04-121-18/+30
* Fix name of NoteBen Gamari2017-04-061-1/+1