summaryrefslogtreecommitdiff
path: root/compiler/GHC/Rename/HsType.hs
Commit message (Expand)AuthorAgeFilesLines
* Keep track of promotion ticks in HsOpTywip/no-c-stubswip/matt-merge-batchsheaf2022-04-011-35/+45
* hi haddock: Lex and store haddock docs in interface filesZubin Duggal2022-03-231-2/+5
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-151-14/+8
* Error on anon wildcards in tcAnonWildCardOccsheaf2022-02-261-38/+24
* Fix some notesMatthew Pickering2022-02-081-2/+2
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-3/+4
* Implement -Wforall-identifier (#20609)Vladislav Zavialov2021-11-121-2/+4
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-021-1/+1
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-25/+42
* Do not reassociate lexical negation (#19838)Vladislav Zavialov2021-06-191-7/+11
* HsUniToken and HsToken for HsArrow (#19623)Vladislav Zavialov2021-06-161-7/+8
* Change representation of field selector occurencesShayne Fletcher2021-05-231-8/+6
* Remove Maybe from Context in HsQualTyAlan Zimmerman2021-05-211-23/+23
* 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-5/+5
* More specific error messages for annotations (fixes #19740)Jaro Reinders2021-05-051-2/+2
* Replace (ptext .. sLit) with `text`Sylvain Henry2021-04-291-5/+4
* Propagate free variables in extract_lctxt correctlyRyan Scott2021-04-291-1/+1
* Fix #19649 by using filterInScopeM in rnFamEqnRyan Scott2021-04-081-1/+1
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-051-2/+1
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-1/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-201-63/+76
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-011-13/+24
* The Char kind (#11342)Daniel Rogozin2021-02-061-0/+1
* Add explicit import lists to Data.List importsOleg Grenrus2021-01-291-1/+1
* Remove unused extension pragmas from the compiler code baseHécate2021-01-171-1/+0
* Refactor renamer datastructuresAdam Gundry2020-12-241-7/+8
* Use HsOuterExplicit in instance sigs in deriving-generated codeRyan Scott2020-12-181-4/+49
* Implement type applications in patternsCale Gibbard2020-12-141-21/+104
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-115/+78
* Split HsConDecl{H98,GADT}DetailsRyan Scott2020-10-301-5/+19
* Split GHC.Driver.TypesSylvain Henry2020-10-291-3/+3
* API Annotations: Keep track of unicode for linear arrow notationwip/az/unicode-hsscaledAlan Zimmerman2020-10-201-7/+7
* Make DataKinds the sole arbiter of kind-level literals (and friends)Ryan Scott2020-10-141-13/+11
* Linear types: fix quantification in GADTs (#18790)Krzysztof Gogolewski2020-10-101-2/+6
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-5/+4
* Refactor: remove rnHsDocVladislav Zavialov2020-10-011-5/+2
* Remove outdated comment in rnHsTyKiVladislav Zavialov2020-09-271-4/+0
* Don't rearrange (->) in the renamerVladislav Zavialov2020-09-271-36/+26
* Make the forall-or-nothing rule only apply to invisible foralls (#18660)Ryan Scott2020-09-081-13/+39
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Clean up the inferred type variable restrictionRyan Scott2020-07-301-39/+10
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-7/+34
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-17/+39
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-2/+2
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-101-104/+121
* Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvarsRyan Scott2020-06-051-26/+60
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-241-4/+4
* Fix #18145 and also avoid needless work with implicit varsJohn Ericson2020-05-231-59/+56
View Lorry Controller Status