summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore
Commit message (Expand)AuthorAgeFilesLines
* PmCheck: Pick up `EvVar`s bound in `HsWrapper`s for long-distance infowip/T18049Sebastian Graf2020-04-303-31/+42
* PmCheck: Only call checkSingle if we would report warningsSebastian Graf2020-04-291-2/+4
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-2622-108/+108
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-239-43/+66
* Do eager instantation in termsSimon Peyton Jones2020-04-221-3/+3
* `MatchResult'` -> `MatchResult`John Ericson2020-04-229-63/+61
* Generalize type of `matchCanFail`John Ericson2020-04-221-1/+1
* Inline `adjustMatchResult`John Ericson2020-04-225-15/+14
* Remove panic in dsHandleMonadicFailureJohn Ericson2020-04-222-37/+42
* Refactor the `MatchResult` type in the desugarerJonathan DK Gibbons2020-04-223-87/+110
* Modules (#13009)Sylvain Henry2020-04-1815-37/+37
* GHC.Core.Opt renamingSylvain Henry2020-04-184-4/+4
* Use FailOperator in more places, define a couple datatypes (XBindStmtRn and X...Cale Gibbard2020-04-174-18/+22
* Use trees that grow for rebindable operators for `<-` bindsJohn Ericson2020-04-177-24/+26
* Change the fail operator argument of BindStmt to be a MaybeCale Gibbard2020-04-174-16/+26
* Change zipWith to zipWithEqual in a few placesKrzysztof Gogolewski2020-04-141-1/+1
* Use conLikeUserTyVarBinders to quantify field selector typesRyan Scott2020-04-121-5/+1
* 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
View Lorry Controller Status