summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/HsType.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix typosEric Lindblad2022-09-141-7/+7
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-14/+13
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-251-2/+2
* Instantiate top level foralls in partial type signaturesSimon Peyton Jones2022-06-201-8/+17
* TTG: Rework and improve splicesromes2022-06-011-5/+5
* Convert More Diagnostics (#20116)Ben Gamari2022-04-301-104/+14
* Keep track of promotion ticks in HsOpTywip/no-c-stubswip/matt-merge-batchsheaf2022-04-011-4/+4
* Error on anon wildcards in tcAnonWildCardOccsheaf2022-02-261-4/+14
* Kill derived constraintsRichard Eisenberg2022-02-231-1/+0
* Fix some notesMatthew Pickering2022-02-081-2/+2
* Consistently upper-case "Note ["Ben Gamari2022-02-011-2/+2
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-511/+622
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-5/+5
* Kind TyCons: require KindSignatures, not DataKindssheaf2022-01-111-20/+7
* Default kind vars in tyfams with -XNoPolyKindssheaf2021-11-081-3/+3
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-021-1/+1
* Don't default type variables in type familiessheaf2021-10-261-3/+3
* Use eqType, not tcEqType, in metavar kind checkRichard Eisenberg2021-10-021-4/+5
* compiler: Rename nameEnvElts -> nonDetNameEnvEltsBen Gamari2021-09-291-1/+1
* Compare FunTys as if they were TyConApps.Richard Eisenberg2021-09-291-1/+16
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-13/+20
* HsUniToken and HsToken for HsArrow (#19623)Vladislav Zavialov2021-06-161-1/+1
* Remove Maybe from Context in HsQualTyAlan Zimmerman2021-05-211-5/+5
* 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-4/+5
* Replace (ptext .. sLit) with `text`Sylvain Henry2021-04-291-1/+1
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-121-1/+1
* The result kind of a signature can't mention quantified varsSimon Peyton Jones2021-03-311-9/+79
* GHC Exactprint main commitAlan Zimmerman2021-03-201-32/+40
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-141-33/+74
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-011-11/+10
* Fix typosBrian Wignall2021-02-061-5/+5
* The Char kind (#11342)Daniel Rogozin2021-02-061-0/+3
* Zonk the returned kind in tcFamTyPatsSimon Peyton Jones2021-01-301-0/+31
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-1/+2
* Clone the binders of a SAKS where necessarySimon Peyton Jones2020-12-241-28/+28
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-2/+2
* Use HsOuterExplicit in instance sigs in deriving-generated codeRyan Scott2020-12-181-11/+11
* Implement type applications in patternsCale Gibbard2020-12-141-9/+19
* Delete outdated Note [Kind-checking tyvar binders for associated types]Ryan Scott2020-12-111-18/+0
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-3/+3
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-011-0/+2
* Remove flattening variablesRichard Eisenberg2020-12-011-6/+11
* Use tcSplitForAllInvisTyVars (not tcSplitForAllTyVars) in more placesRyan Scott2020-11-151-2/+2
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-2/+2
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-310/+495
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-2/+2
* Check for large tuples more thoroughlywip/T18723Ryan Scott2020-10-291-24/+11
* API Annotations: Keep track of unicode for linear arrow notationwip/az/unicode-hsscaledAlan Zimmerman2020-10-201-1/+2
View Lorry Controller Status