summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore/Arrows.hs
Commit message (Expand)AuthorAgeFilesLines
* Put BufSpan into RealSrcSpanwip/az/locateda-epa-improve-2023-03-27Alan Zimmerman2023-04-261-1/+1
* Don't specialise incoherent instance applicationsGergő Érdi2023-02-271-2/+2
* Minor refactorKrzysztof Gogolewski2023-02-041-11/+8
* Misc cleanupKrzysztof Gogolewski2023-01-051-1/+1
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-2/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-38/+47
* TTG: Move MatchGroup Origin field and MatchGroupTc to GHC.Hswip/romes/ttg-matchgroup-originromes2022-05-261-8/+8
* Fix error when using empty case in arrow notationJakob Bruenker2022-04-011-8/+23
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-011-61/+141
* HsToken for let/in (#19623)Vladislav Zavialov2021-11-021-1/+1
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-49/+7
* Reject GADT pattern matches in arrow notationsheaf2021-10-091-4/+4
* Refactor HsStmtContext and remove HsDoRnArtyom Kuznetsov2021-08-101-2/+2
* Reword: representation instead of levitysheaf2021-06-101-1/+1
* Introduce `hsExprType :: HsExpr GhcTc -> Type` in the new modulewip/hsExprTypeRyan Scott2021-06-081-1/+1
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-031-9/+7
* HsToken for HsPar, ParPat, HsCmdPar (#19523)Vladislav Zavialov2021-05-231-1/+1
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-071-2/+2
* GHC Exactprint main commitAlan Zimmerman2021-03-201-25/+32
* Run linear Lint on the desugarer output (part of #19165)Krzysztof Gogolewski2021-03-051-4/+0
* Add explicit import lists to Data.List importsOleg Grenrus2021-01-291-1/+1
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-1/+1
* Factorize and document binder collect functionsSylvain Henry2021-01-221-99/+10
* Arrows: collect evidence bindersSylvain Henry2021-01-221-3/+12
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-6/+5
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-261-2/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-30/+31
* Allow LambdaCase to be used as a command in proc notationAlexis King2020-04-301-36/+55
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-4/+4
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-4/+4
* 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-6/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-3/+3
* Minor cleanupKrzysztof Gogolewski2020-03-291-1/+1
* Modules: Types (#13009)Sylvain Henry2020-03-291-5/+5
* Modules: Core (#13009)Sylvain Henry2020-03-161-2/+2
* Modules: Core (#13009)Sylvain Henry2020-02-261-4/+4
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-141-0/+1270
View Lorry Controller Status