summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Arrow.hs
Commit message (Expand)AuthorAgeFilesLines
* Only store Name in FunRhs rather than Id with knot-tied fieldsMatthew Pickering2023-01-061-1/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-5/+6
* TTG: Move MatchGroup Origin field and MatchGroupTc to GHC.Hswip/romes/ttg-matchgroup-originromes2022-05-261-2/+2
* Fix several note references, part 2Krzysztof Gogolewski2022-05-051-1/+1
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-29/+9
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-011-67/+83
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-1/+9
* Introduce ConcreteTv metavariablessheaf2022-03-021-14/+13
* Consistently upper-case "Note ["Ben Gamari2022-02-011-1/+1
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-1/+2
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-021-4/+4
* HsToken for let/in (#19623)Vladislav Zavialov2021-11-021-2/+2
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-6/+26
* Reject GADT pattern matches in arrow notationsheaf2021-10-091-5/+7
* Remove NoGhcTc usage from HsMatchContextArtyom Kuznetsov2021-09-281-1/+1
* GHC.Tc.Gen Diagnostics Conversion (Part 1)Aaron Allen2021-08-271-4/+2
* Make CallStacks work better with RebindableSyntaxSimon Peyton Jones2021-07-271-4/+4
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-3/+6
* Introduce `hsExprType :: HsExpr GhcTc -> Type` in the new modulewip/hsExprTypeRyan Scott2021-06-081-1/+1
* HsToken for HsPar, ParPat, HsCmdPar (#19523)Vladislav Zavialov2021-05-231-2/+2
* GHC Exactprint main commitAlan Zimmerman2021-03-201-11/+16
* Arrows: correctly query arrow methods (#17423)Sylvain Henry2020-12-111-12/+16
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-5/+5
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-1/+2
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-7/+7
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-9/+10
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-7/+8
* Explicit SpecificityGert-Jan Bottu2020-05-211-1/+1
* Allow LambdaCase to be used as a command in proc notationAlexis King2020-04-301-6/+21
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-3/+3
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-2/+2
* Do eager instantation in termsSimon Peyton Jones2020-04-221-9/+9
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* Use trees that grow for rebindable operators for `<-` bindsJohn Ericson2020-04-171-1/+1
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-5/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+442
View Lorry Controller Status