summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Modules: Core (#13009)Sylvain Henry2020-02-2615-16546/+0
* Treat coercions as arguments for floating and inliningAlexis King2020-02-261-2/+26
* Comments, small refactorKrzysztof Gogolewski2020-02-241-20/+12
* Modules: Driver (#13009)Sylvain Henry2020-02-218-12/+12
* Disentangle DynFlags and SDocSylvain Henry2020-02-201-60/+49
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-206-21/+91
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-143-3/+3
* Separate CPR analysis from the Demand analyserwip/sep-cprSebastian Graf2020-02-126-9/+31
* Fix an outdated note linkArnaud Spiwack2020-02-091-1/+1
* Do CafInfo/SRT analysis in CmmÖmer Sinan Ağacan2020-01-311-124/+1
* Disable two warnings for files that trigger themTom Ellis2020-01-276-0/+10
* Better documentation for mkEtaWW [skip ci]Sebastian Graf2020-01-161-11/+24
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-125-22/+22
* Print Core type applications with no whitespace after @ (#17643)Ryan Scott2020-01-081-4/+4
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-065-12/+12
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-045-5/+5
* Module hierarchy (#13009): StgSylvain Henry2019-12-312-1734/+1
* Add GHC-API logging hooksSylvain Henry2019-12-184-6/+9
* Do more validity checks for quantified constraintsRichard Eisenberg2019-12-161-1/+1
* Use "OrCoVar" functions lessKrzysztof Gogolewski2019-12-162-0/+4
* Split up coercionKindSimon Peyton Jones2019-12-064-12/+11
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-282-5/+5
* Reduce boolean blindness in OccInfo(OneOcc) #17482Philipp Krüger2019-11-281-5/+6
* Fix typosBrian Wignall2019-11-231-1/+1
* Make CorePrep.tryEtaReducePrep and CoreUtils.tryEtaReduce line upMatheus Magalhães de Alcantara2019-11-232-20/+10
* Take care to not eta-reduce jumps in CorePrepMatheus Magalhães de Alcantara2019-11-231-2/+6
* Optimize MonadUnique instances based on IO (#16843)nineonine2019-11-191-2/+2
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-132-2/+2
* CoreTidy: hide tidyRuleÖmer Sinan Ağacan2019-11-051-1/+1
* Makes Lint less chatty:Simon Peyton Jones2019-11-011-11/+13
* Better arity for join pointsSimon Peyton Jones2019-10-284-11/+27
* Make dynflag argument for withTiming pure.Andreas Klebinger2019-10-231-2/+2
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-162-4/+3
* Note [Don't flatten tuples from HsSyn] in MkCoreRichard Eisenberg2019-10-031-10/+25
* Make small INLINE functions behave properlyÖmer Sinan Ağacan2019-10-011-3/+3
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-205-161/+326
* Fix PmOracle.addVarCoreCt in-scope setSimon Peyton Jones2019-09-201-1/+1
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-202-4/+4
* CoreUtils: Use mightBeUnliftedType in exprIsTopLevelBindableBen Gamari2019-09-191-1/+3
* Remove Bag fold specialisations (#16969)Richard Lupton2019-08-191-1/+1
* Make add_info attach unfoldings (#16615)Tobias Dammers2019-08-152-28/+93
* Remove unused imports of the form 'import foo ()' (Fixes #17065)James Foster2019-08-152-2/+0
* GHCi supports not-necessarily-lifted join pointsRichard Eisenberg2019-08-141-0/+10
* Break up TyCoRepBen Gamari2019-07-313-13/+16
* Apply a missing substitution in mkEtaWW (#16979)Simon Peyton Jones2019-07-301-8/+21
* Fix erroneous float in CoreOptSimon Peyton Jones2019-07-093-7/+66
* Minor refactoring in CoreSimplÖmer Sinan Ağacan2019-07-091-3/+0
* Don't eta-expand unsaturated primopsBen Gamari2019-06-251-3/+16
* [skip ci] Typo fix: b*ar*nches -> b*ra*nchesSiddharth Bhat2019-06-251-1/+1
* Move 'Platform' to ghc-bootJohn Ericson2019-06-192-2/+2