summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Never Anyify during kind inferencewip/T17567Richard Eisenberg2021-01-058-83/+295
* 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
* Skip type family defaults with hs-boot and hsig filesJohn Ericson2020-10-172-5/+16
* Extend mAX_TUPLE_SIZE to 64GHC GitLab CI2020-10-151-1/+1
* Add flags for annotating Generic{,1} methods INLINE[1] (#11068)Andrzej Rybczak2020-10-153-21/+91
* Remove Proxy# argument in Data.Typeable.InternalKrzysztof Gogolewski2020-10-152-2/+2
* Unification of Nat and NaturalsHaskellMouse2020-10-132-3/+3
* Fall back to types when looking up data constructors (#18740)wip/ghc-18740-lookup-updateDaniel Rogozin2020-10-111-1/+23
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-1031-185/+190
* Cache HomeUnit in HscEnv (#17957)Sylvain Henry2020-10-095-47/+54
* Add TyCon Set/Env and use them in a few places.Andreas Klebinger2020-10-093-23/+30
* Fix desugaring of record updates on data familiesSimon Peyton Jones2020-10-091-0/+3
View Lorry Controller Status