summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Missing fields: enhance error messages (#18869)Sylvain Henry2021-01-172-21/+41
* Show missing field types (#18869)Sylvain Henry2021-01-171-6/+10
* Never Anyify during kind inferenceRichard Eisenberg2021-01-098-83/+295
* Remove errShortString, cleanup error-related functionsAlfredo Di Napoli2021-01-092-11/+8
* Make primops for `{Int,Word}32#`John Ericson2021-01-071-3/+35
* Implement Unique supply with Addr# atomic primopSylvain Henry2021-01-051-1/+0
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-029-144/+206
* INLINE pragma for patterns (#12178)Cale Gibbard2020-12-313-18/+55
* Put hole instantiation typechecking in the module graph and fix driver batch ...John Ericson2020-12-281-23/+32
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-257-39/+76
* Refactor renamer datastructuresAdam Gundry2020-12-2411-170/+148
* Clone the binders of a SAKS where necessarySimon Peyton Jones2020-12-241-28/+28
* WorkWrap: Unbox constructors with existentials (#18982)Sebastian Graf2020-12-231-2/+2
* Fix another haddock parse errorMatthew Pickering2020-12-221-1/+1
* Kill floatEqualities completelySimon Peyton Jones2020-12-2013-932/+932
* Improve inference with linear typesKrzysztof Gogolewski2020-12-201-6/+7
* Quick Look: zonk result typeSimon Peyton Jones2020-12-192-19/+72
* Cite "Kind Inference for Datatypes"Richard Eisenberg2020-12-181-0/+3
* Use HsOuterExplicit in instance sigs in deriving-generated codeRyan Scott2020-12-184-21/+126
* Unfortunate dirty hack to overcome #18998.Richard Eisenberg2020-12-171-1/+33
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-152-22/+9
* Implement BoxedRep proposalAndrew Martin2020-12-142-9/+22
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-143-1/+10
* Move Unit related fields from DynFlags to HscEnvSylvain Henry2020-12-145-27/+26
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-143-10/+1
* Optimise nullary type constructor usageBen Gamari2020-12-143-1/+10
* Implement type applications in patternsCale Gibbard2020-12-147-45/+144
* Arrows: correctly query arrow methods (#17423)Sylvain Henry2020-12-111-12/+16
* Delete outdated Note [Kind-checking tyvar binders for associated types]Ryan Scott2020-12-112-24/+0
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-084-194/+381
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-0111-435/+408
* Remove flattening variablesRichard Eisenberg2020-12-0117-3404/+2590
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-013-4/+5
* Move Plugins into HscEnv (#17957)Sylvain Henry2020-11-212-20/+21
* Use tcSplitForAllInvisTyVars (not tcSplitForAllTyVars) in more placesRyan Scott2020-11-156-15/+22
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-1513-59/+59
* Refactor -dynamic-too handlingSylvain Henry2020-11-061-4/+9
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-0622-583/+915
* Expand type synonyms with :kind!Simon Peyton Jones2020-11-021-6/+7
* Display results of GHC.Core.Lint.lint* functions consistentlyRyan Scott2020-11-022-7/+4
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-0115-90/+78
* Make typechecker equality consider visibility in ForAllTysRyan Scott2020-10-313-6/+89
* Split HsConDecl{H98,GADT}DetailsRyan Scott2020-10-301-30/+60
* Remove unnecessary gender from comments/docsRichard Eisenberg2020-10-294-5/+5
* Check for large tuples more thoroughlywip/T18723Ryan Scott2020-10-294-26/+19
* Split GHC.Driver.TypesSylvain Henry2020-10-2930-329/+512
* Fix two constraint solving problemsSimon Peyton Jones2020-10-272-3/+27
* Fix error message location in tcCheckPatSynDeclSimon Peyton Jones2020-10-231-5/+13
* API Annotations: Keep track of unicode for linear arrow notationwip/az/unicode-hsscaledAlan Zimmerman2020-10-203-3/+4
* Minor comments, update linear types docsKrzysztof Gogolewski2020-10-201-1/+0
View Lorry Controller Status