summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile
Commit message (Expand)AuthorAgeFilesLines
* 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
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-192-2/+2
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-074-0/+40
* Bring tcTyConScopedTyVars into scope in tcClassDecl2Ryan Scott2021-04-302-0/+12
* Expand synonyms in mkCastTy when necessaryRyan Scott2021-04-292-0/+21
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-122-5/+5
* Test #19665 as expect_broken, with commentaryRichard Eisenberg2021-04-102-0/+21
* Tweak kick-out condition K2b to deal with LHSsRichard Eisenberg2021-04-102-0/+25
* Correct warning for deprecated and unrecognised flagsAlfredo Di Napoli2021-04-054-6/+6
* Add missing axiom exports for CharToNat/NatToCharVladislav Zavialov2021-04-012-2/+8
* Data.List specialization to []Oleg Grenrus2021-04-011-2/+2
View Lorry Controller Status