summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils/Zonk.hs
Commit message (Expand)AuthorAgeFilesLines
* WIP: HsToken for let/inwip/hs-token-letVladislav Zavialov2021-06-101-4/+4
* Introduce `hsExprType :: HsExpr GhcTc -> Type` in the new modulewip/hsExprTypeRyan Scott2021-06-081-79/+9
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-031-7/+4
* HsToken for HsPar, ParPat, HsCmdPar (#19523)Vladislav Zavialov2021-05-231-7/+7
* Change representation of field selector occurencesShayne Fletcher2021-05-231-4/+2
* Changes to HsRecField'Shayne Fletcher2021-05-191-9/+9
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-10/+12
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-071-2/+8
* Fix handling ze_meta_tv_env in GHC.Tc.Utils.ZonkSimon Peyton Jones2021-04-151-31/+42
* GHC Exactprint main commitAlan Zimmerman2021-03-201-48/+55
* Implement record dot syntaxwip/joachim/bump-haddockShayne Fletcher2021-03-061-9/+19
* Fix typechecking time bug for large rationals (#15646)Andreas Klebinger2021-02-271-3/+9
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-20/+65
* Fix typosBrian Wignall2021-02-061-1/+1
* Make PatSyn immutableSimon Peyton Jones2021-01-291-3/+3
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-2/+2
* Factorize and document binder collect functionsSylvain Henry2021-01-221-2/+2
* Remove unused extension pragmas from the compiler code baseHécate2021-01-171-1/+0
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-9/+12
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-251-2/+10
* Refactor renamer datastructuresAdam Gundry2020-12-241-5/+9
* Implement type applications in patternsCale Gibbard2020-12-141-4/+4
* Split GHC.Driver.TypesSylvain Henry2020-10-291-16/+25
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-7/+6
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-3/+8
* Use LIdP rather than (XRec p (IdP p))Simon Peyton Jones2020-08-251-6/+4
* Add right-to-left rule for pattern bindingsSimon Peyton Jones2020-08-191-2/+2
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-141-8/+10
* Don't generalize when typechecking a tuple sectionKrzysztof Gogolewski2020-06-271-1/+1
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-261-5/+5
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-2/+2
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-46/+46
* Various performance improvementsKrzysztof Gogolewski2020-06-171-2/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-15/+28
* Allow LambdaCase to be used as a command in proc notationAlexis King2020-04-301-0/+4
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-5/+5
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-23/+36
* Do eager instantation in termsSimon Peyton Jones2020-04-221-2/+3
* Modules (#13009)Sylvain Henry2020-04-181-3/+3
* Use FailOperator in more places, define a couple datatypes (XBindStmtRn and X...Cale Gibbard2020-04-171-5/+10
* Use trees that grow for rebindable operators for `<-` bindsJohn Ericson2020-04-171-7/+7
* Change the fail operator argument of BindStmt to be a MaybeCale Gibbard2020-04-171-2/+7
* Change zipWith to zipWithEqual in a few placesKrzysztof Gogolewski2020-04-141-1/+2
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-30/+8
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+1919
View Lorry Controller Status