summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore
Commit message (Expand)AuthorAgeFilesLines
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-132-10/+9
* Rename Package into UnitSylvain Henry2020-06-131-1/+1
* Enhance UnitId useSylvain Henry2020-06-132-3/+3
* Add allowVirtualUnits field in PackageStateSylvain Henry2020-06-131-1/+2
* Refactor homeUnitSylvain Henry2020-06-131-1/+1
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-106-10/+10
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-052-2/+7
* Fix documentation on type families not being extractedLuke Lau2020-06-041-12/+8
* Clean up boot vs non-boot disambiguating typesJohn Ericson2020-06-042-4/+5
* Rename the singleton tuple GHC.Tuple.Unit to GHC.Tuple.SoloTom Ellis2020-06-011-11/+11
* Modify file paths to module paths for new module hierarchyTakenobu Tani2020-06-012-3/+3
* Clean up file paths for new module hierarchyTakenobu Tani2020-06-012-3/+3
* HsToCore: Eta expand left sectionsBen Gamari2020-06-011-25/+64
* Allow simplification through runRW#Ben Gamari2020-05-291-1/+0
* Avoid unnecessary allocations due to tracing utilitiesBen Gamari2020-05-281-0/+1
* Coverage: Factor out addMixEntryBen Gamari2020-05-251-26/+20
* Coverage: Don't produce ModBreaks if not HscInterpretedBen Gamari2020-05-251-6/+10
* Coverage: Make ccIndices strictBen Gamari2020-05-251-1/+1
* Coverage: Make tickBoxCount strictBen Gamari2020-05-251-1/+1
* Coverage: Drop redundant ad-hoc boot module checkBen Gamari2020-05-251-2/+1
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-242-2/+2
* Rename GHC.Core.Arity into GHC.Core.Opt.AritySylvain Henry2020-05-241-1/+1
* Explicit SpecificityGert-Jan Bottu2020-05-212-68/+100
* Improve some folds over Uniq[D]FMSimon Jakobi2020-05-141-3/+3
* Factor out HsPatSigType for pat sigs/RULE term sigs (#16762)Ryan Scott2020-05-131-3/+3
* Fix specialisation for DFunsSimon Peyton Jones2020-05-081-4/+3
* Refactor hole constraints.Richard Eisenberg2020-05-061-1/+1
* PmCheck: Pick up `EvVar`s bound in `HsWrapper`s for long-distance infoSebastian Graf2020-05-013-31/+42
* PmCheck: Only call checkSingle if we would report warningsSebastian Graf2020-05-011-2/+4
* Allow LambdaCase to be used as a command in proc notationAlexis King2020-04-302-36/+57
* Unit: split and rename modulesSylvain Henry2020-04-308-10/+9
* Refactoring unit management codeSylvain Henry2020-04-303-12/+14
* 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
View Lorry Controller Status