summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils/Zonk.hs
Commit message (Expand)AuthorAgeFilesLines
* TTG: Move MatchGroup Origin field and MatchGroupTc to GHC.Hswip/romes/ttg-matchgroup-originromes2022-05-261-4/+4
* Desugar RecordUpd in `tcExpr`wip/T18802CarrieMY2022-05-251-36/+0
* Remove LevityInfoKrzysztof Gogolewski2022-04-201-2/+1
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-011-4/+4
* TTG: TH brackets finishing touchesromes2022-03-181-28/+20
* TTG: Refactor bracket for desugaring during tcromes2022-03-181-4/+5
* Separate constructors for typed and untyped bracketsromes2022-03-181-2/+16
* TTG: Refactor HsBracketromes2022-03-181-4/+2
* TTG Pull AbsBinds and ABExport out of the main ASTromes2022-03-141-14/+12
* Kill derived constraintsRichard Eisenberg2022-02-231-17/+11
* Fix some notesMatthew Pickering2022-02-081-1/+1
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-7/+15
* Levity-polymorphic arrays and mutable variablessheaf2022-01-261-0/+3
* Correct type of static forms in hsExprTypeMatthew Pickering2022-01-181-2/+3
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-021-10/+10
* HsToken for let/in (#19623)Vladislav Zavialov2021-11-021-4/+4
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-20/+5
* Move `ol_witness` to `OverLitTc`Dr. ERDI Gergo2021-08-131-5/+5
* Use HsExpansion for overloaded list patternssheaf2021-06-291-13/+9
* Reword: representation instead of levitysheaf2021-06-101-4/+5
* 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
View Lorry Controller Status