summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore/Expr.hs
Commit message (Expand)AuthorAgeFilesLines
* Add right-to-left rule for pattern bindingsSimon Peyton Jones2020-08-191-1/+1
* PmCheck: Better long-distance info for where bindings (#18533)Sebastian Graf2020-08-131-6/+5
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Add some tests for fail messages in do-expressions and monad-comprehensions.Cale Gibbard2020-08-071-2/+2
* A fix to an error message in monad comprehensions, and a move of dsHandleMona...Cale Gibbard2020-08-071-28/+2
* Simplify XRec definitionZubin Duggal2020-07-251-0/+1
* Remove {-# CORE #-} pragma (part of #18048)Krzysztof Gogolewski2020-07-181-2/+0
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-141-7/+5
* Replace Opt_SccProfilingOn flag with sccProfilingEnabled helper functionSylvain Henry2020-07-021-1/+1
* Don't generalize when typechecking a tuple sectionKrzysztof Gogolewski2020-06-271-14/+9
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-261-11/+11
* Enable maxBound checks for OverloadedLists (Fixes #18172)Roland Senn2020-06-251-4/+6
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-2/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-20/+34
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-1/+1
* HsToCore: Eta expand left sectionsBen Gamari2020-06-011-25/+64
* PmCheck: Pick up `EvVar`s bound in `HsWrapper`s for long-distance infoSebastian Graf2020-05-011-2/+3
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-6/+6
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-7/+10
* Do eager instantation in termsSimon Peyton Jones2020-04-221-3/+3
* `MatchResult'` -> `MatchResult`John Ericson2020-04-221-1/+1
* Remove panic in dsHandleMonadicFailureJohn Ericson2020-04-221-17/+17
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* Use FailOperator in more places, define a couple datatypes (XBindStmtRn and X...Cale Gibbard2020-04-171-9/+10
* Use trees that grow for rebindable operators for `<-` bindsJohn Ericson2020-04-171-5/+9
* Change the fail operator argument of BindStmt to be a MaybeCale Gibbard2020-04-171-11/+20
* 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-071-7/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-6/+6
* Modules: Types (#13009)Sylvain Henry2020-03-291-9/+9
* DynFlags refactoring IIISylvain Henry2020-03-251-2/+4
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-171-17/+8
* Modules: Core (#13009)Sylvain Henry2020-03-161-7/+7
* Monotonic locations (#17632)Vladislav Zavialov2020-02-291-1/+2
* PmCheck: Implement Long-distance information with Covered setsSebastian Graf2020-02-271-5/+6
* Modules: Core (#13009)Sylvain Henry2020-02-261-6/+6
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* Disentangle DynFlags and SDocSylvain Henry2020-02-201-3/+2
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-141-0/+1204
View Lorry Controller Status