summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore
Commit message (Expand)AuthorAgeFilesLines
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-0712-140/+7
* Modules: type-checker (#13009)Sylvain Henry2020-04-0719-55/+55
* Major improvements to the specialiserSimon Peyton Jones2020-04-031-1/+1
* PmCheck: Adjust recursion depth for inhabitation testSebastian Graf2020-04-011-9/+33
* Minor cleanupKrzysztof Gogolewski2020-03-292-3/+3
* Modules: Types (#13009)Sylvain Henry2020-03-2921-142/+137
* DynFlags refactoring IIISylvain Henry2020-03-257-61/+80
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-3/+3
* Refactoring: use Platform instead of DynFlags when possibleSylvain Henry2020-03-191-16/+18
* PmCheck: Use ConLikeSet to model negative infoSebastian Graf2020-03-192-17/+45
* Modules: Core operations (#13009)Sylvain Henry2020-03-184-5/+5
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-171-17/+8
* Modules: Core (#13009)Sylvain Henry2020-03-1618-77/+77
* Remove some dead codeBrian Foley2020-03-151-14/+1
* Remove unused field var_inline (#17915)Krzysztof Gogolewski2020-03-141-5/+2
* pretty-printer: Properly parenthesise LastStmtKirill Elagin2020-03-121-1/+1
* Use a Set to represent WaysSylvain Henry2020-03-111-0/+1
* Refactor interpreterDynamic and interpreterProfiledSylvain Henry2020-03-111-4/+4
* Split GHC.Iface.Utils moduleSylvain Henry2020-03-111-1/+1
* Misc cleanupKrzysztof Gogolewski2020-03-101-32/+0
* Monotonic locations (#17632)Vladislav Zavialov2020-02-295-12/+13
* PmCheck: Implement Long-distance information with Covered setsSebastian Graf2020-02-279-150/+166
* Modules: Core (#13009)Sylvain Henry2020-02-2620-69/+69
* Comments, small refactorKrzysztof Gogolewski2020-02-241-4/+1
* Remove Ord SrcLoc, Ord SrcSpanVladislav Zavialov2020-02-243-32/+29
* Modules: Driver (#13009)Sylvain Henry2020-02-2115-23/+23
* TH: wrapGenSyns, don't split the element type too muchMatthew Pickering2020-02-211-3/+5
* Use TTG for HsSplicedT constructorKrzysztof Gogolewski2020-02-201-1/+0
* Use concatMap(M) instead of `concat . map` and the monadic variantÖmer Sinan Ağacan2020-02-201-1/+2
* Disentangle DynFlags and SDocSylvain Henry2020-02-201-3/+2
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-1421-10/+14528
* Fix long distance info for record updatesSebastian Graf2020-02-101-5/+19
* Introduce IsPass; refactor wrappers.Richard Eisenberg2020-02-081-1/+1
* PmCheck: Record type constraints arising from existentials in `PmCoreCt`sSebastian Graf2020-02-052-106/+134
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+2
* PmCheck: Properly handle constructor-bound type variablesSebastian Graf2020-01-254-84/+129
* PmCheck: Formulate as translation between Clause TreesSebastian Graf2020-01-253-515/+491
* replace dead html link (fixes #17661)Adam Wespiser2020-01-161-1/+1
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-6/+6
* Add GHC-API logging hooksSylvain Henry2019-12-181-1/+1
* Use "OrCoVar" functions lessKrzysztof Gogolewski2019-12-161-2/+2
* Remove HasSrcSpan (#17494)Vladislav Zavialov2019-11-301-14/+14
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-1/+1
* Check EmptyCase by simply adding a non-void constraintSebastian Graf2019-11-053-298/+290
* Separate `LPat` from `Pat` on the type-levelSebastian Graf2019-11-021-17/+23
* Much simpler language for PmCheckSebastian Graf2019-10-112-426/+339
* PmCheck: Look up parent data family TyCon when populating `PossibleMatches`Sebastian Graf2019-10-081-23/+70
* PmCheck: Identify some semantically equivalent expressionsSebastian Graf2019-10-082-27/+85
* Move pattern match checker modules to GHC.HsToCore.PmCheckSebastian Graf2019-09-305-0/+3776
View Lorry Controller Status