summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-1512-5/+12
* Always generalise top-level bindingsSimon Peyton Jones2022-03-073-0/+12
* Make inert_cycle_breakers into a stack.Richard Eisenberg2022-03-022-0/+21
* Kill derived constraintsRichard Eisenberg2022-02-2326-183/+478
* Tag inference work.Andreas Klebinger2022-02-121-1/+1
* Relax TyEq:N: allow out-of-scope newtype DataConsheaf2022-02-084-0/+49
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-052-8/+8
* Rework the handling of SkolemInfoMatthew Pickering2022-01-293-1/+10
* Add test supplied in T20996 which uses data family result kind polymorphismDavid Feuer2022-01-272-0/+112
* Ensure that order of instances doesn't mattersheaf2022-01-262-0/+64
* Add test for using type families with static pointersMatthew Pickering2022-01-182-1/+18
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-174-23/+25
* Kind TyCons: require KindSignatures, not DataKindssheaf2022-01-114-0/+44
* testsuite: Remove reqlib modifierMatthew Pickering2021-12-224-94/+0
* Use HasCallStack and error in GHC.List and .NonEmptyOleg Grenrus2021-12-125-37/+47
* Revert "Data.List specialization to []"Matthew Pickering2021-12-031-2/+2
* Allow boring class declarations in hs-boot filessheaf2021-11-257-0/+55
* CmmSink: Be more aggressive in removing no-op assignments.Andreas Klebinger2021-11-234-0/+752
* Include "not more specific" info in overlap msgsheaf2021-11-202-12/+9
* Use local instances with least superclass depthRichard Eisenberg2021-11-122-0/+7
* Improve redundant-constraints warningRichard Eisenberg2021-11-124-2/+72
* testsuite: Convert hole fit performance tests into proper perf testsMatthew Pickering2021-11-115-758/+0
* Clarify hs-boot file default method restrictionssheaf2021-11-104-0/+30
* Default kind vars in tyfams with -XNoPolyKindssheaf2021-11-083-0/+38
* HsToken for let/in (#19623)Vladislav Zavialov2021-11-022-4/+9
* undefined: Neater CallStack in error messageJoachim Breitner2021-10-241-2/+1
* Use tcEqType in GHC.Core.Unify.uVarsheaf2021-10-222-0/+19
* Care about specificity in pattern type argsRichard Eisenberg2021-10-192-0/+14
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-174-33/+2
* Add defaulting plugins.Andrei Barbu2021-10-081-3/+3
* Improve overlap error for polykinded constraintssheaf2021-10-062-6/+6
* Eradicate TcRnUnknownMessage from GHC.Tc.DerivAlfredo Di Napoli2021-10-051-1/+2
* Speed up valid hole-fits by adding early abort and checks.Matthías Páll Gissurarson2021-10-057-0/+781
* Add a regression test for #17723sheaf2021-10-044-0/+32
* Compare FunTys as if they were TyConApps.Richard Eisenberg2021-09-292-0/+20
* Add `-dsuppress-core-sizes` flag (#20342)Sylvain Henry2021-09-281-0/+2
* Emit warning if bang is applied to unlifted typesTito Sacchi2021-09-175-0/+30
* Only dump Core stats when requested to do so (#20342)Sylvain Henry2021-09-081-2/+0
* Add and use new constructors to TcRnMessageAlfredo Di Napoli2021-09-073-6/+6
* Don't look for TypeError in type family argumentssheaf2021-08-182-1/+27
* TypeError is OK on the RHS of a type synonymwip/T20181Simon Peyton Jones2021-08-152-1/+10
* Detect TypeError when checking for insolubilitysheaf2021-08-153-0/+19
* Add rewriting to typechecking pluginssheaf2021-08-132-8/+12
* Tc: Allow Typeable in quantified constraintsJakob Brünker2021-06-272-0/+18
* Enable TcPlugin tests on Windowssheaf2021-06-231-4/+4
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-223-5/+5
* Deprecate -Wmissing-monadfail-instances (#17875)Krzysztof Gogolewski2021-06-191-1/+1
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-056-2/+90
* Make some simple primops levity-polymorphicsheaf2021-06-042-0/+22
* Added new regresion test for #18036 from ticket #19865.Baldur Blöndal2021-05-192-0/+34
View Lorry Controller Status