summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Rename Solo[constructor] to MkSoloTorsten Schmits2022-09-214-5/+5
* Diagnostic codes: acccept test changessheaf2022-09-1369-188/+191
* Add regression test for #21550Zubin Duggal2022-09-012-0/+40
* Print constraints in quotes (#21167)Swann Moreau2022-08-195-6/+6
* tc: warn about lazy annotations on unlifted arguments (fixes #21951)Zachary Wood2022-08-195-0/+33
* Add DeepSubsumption09Zubin Duggal2022-07-252-0/+11
* Add DeepSubsumption08Matthew Pickering2022-07-252-0/+17
* Add tests that -XHaskell98 and -XHaskell2010 enable DeepSubsumptionMatthew Pickering2022-07-253-0/+26
* Implement DeepSubsumptionSimon Peyton Jones2022-07-257-0/+156
* Cleanup BuiltInSyntax vs UserSyntaxMatthew Pickering2022-06-282-4/+0
* testsuite: Use normalise_version more consistentlyBen Gamari2022-06-271-5/+5
* Bump ghc-prim and base versionsBen Gamari2022-06-275-6/+6
* Instantiate top level foralls in partial type signaturesSimon Peyton Jones2022-06-201-1/+4
* Deprecate TypeInType extensionHaskellMouse2022-06-0610-10/+13
* Use a class to check validity of withDictwip/withdictKrzysztof Gogolewski2022-05-272-0/+18
* Generalize breakTyVarCycle to work with TyFamLHSRichard Eisenberg2022-05-263-0/+63
* Desugar RecordUpd in `tcExpr`wip/T18802CarrieMY2022-05-2511-0/+166
* base: Throw exceptions raised while closing finalized HandlesBen Gamari2022-05-191-8/+10
* Add test for #21558Matthew Pickering2022-05-172-0/+17
* Remove unused test files (#21582)Vladislav Zavialov2022-05-174-751/+0
* Add a missing guard in GHC.HsToCore.Utils.is_flat_prod_patSimon Peyton Jones2022-05-113-0/+35
* Use the wrapper for an unlifted bindingSimon Peyton Jones2022-05-102-0/+9
* Improve error reporting in generated codeSimon Peyton Jones2022-05-041-2/+4
* Refactor: simplify lexing of the dotVladislav Zavialov2022-04-091-7/+7
* Correctly report SrcLoc of redundant constraintssheaf2022-04-083-0/+11
* Add a regression test for #21323sheaf2022-04-012-0/+56
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-012-3/+2
* Change GHC.Prim to GHC.Exts in docs and testsKrzysztof Gogolewski2022-04-012-2/+2
* Unify RuntimeRep arguments in ty_co_matchsheaf2022-04-012-1/+26
* Add Red Herring to Note [What might equal later?]Richard Eisenberg2022-03-282-0/+19
* 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
View Lorry Controller Status