summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck
Commit message (Expand)AuthorAgeFilesLines
* 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-043-7/+13
* Convert More Diagnostics (#20116)Ben Gamari2022-04-307-7/+7
* Make mkFunCo take AnonArgFlags into accountRyan Scott2022-04-303-0/+16
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-4/+6
* Refactor: simplify lexing of the dotVladislav Zavialov2022-04-091-7/+7
* Correctly report SrcLoc of redundant constraintssheaf2022-04-083-0/+11
* Add test for #21338sheaf2022-04-083-0/+74
* Ensure implicit parameters are liftedsheaf2022-04-013-0/+16
* Add a regression test for #21323sheaf2022-04-012-0/+56
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-018-3/+75
* Change GHC.Prim to GHC.Exts in docs and testsKrzysztof Gogolewski2022-04-0111-12/+12
* Unify RuntimeRep arguments in ty_co_matchsheaf2022-04-012-1/+26
* Add test for T21306Matthew Pickering2022-03-293-0/+55
* Add Red Herring to Note [What might equal later?]Richard Eisenberg2022-03-282-0/+19
* Add a regression test for #21130sheaf2022-03-163-0/+45
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-1512-5/+12
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-144-4/+4
* Always generalise top-level bindingsSimon Peyton Jones2022-03-073-0/+12
* Make Constraint not *apart* from Type.Richard Eisenberg2022-03-022-9/+2
* Make inert_cycle_breakers into a stack.Richard Eisenberg2022-03-022-0/+21
* Kill derived constraintsRichard Eisenberg2022-02-2388-238/+1166
* 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-0513-74/+74
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-042-10/+10
* Unbreak T13168 on windowsMatthew Pickering2022-02-031-2/+1
* T13168: Filter out rtsopts for consistency between dynamic and static waysMatthew Pickering2022-02-032-5/+1
* Rework the handling of SkolemInfoMatthew Pickering2022-01-2930-25/+419
* 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-1719-52/+58
* Fix parsing & printing of unboxed sumssheaf2022-01-111-7/+5
* Kind TyCons: require KindSignatures, not DataKindssheaf2022-01-117-0/+61
* Check quoted TH names are in the correct namespacesheaf2022-01-041-6/+6
* Multiple Home UnitsMatthew Pickering2021-12-282-7/+7
* Fix typosKrzysztof Gogolewski2021-12-251-1/+1
* testsuite: Remove reqlib modifierMatthew Pickering2021-12-224-94/+0
* Add regression test for T20189Matthew Pickering2021-12-173-0/+20
* Use HasCallStack and error in GHC.List and .NonEmptyOleg Grenrus2021-12-125-37/+47
* Re-export GHC.Types from GHC.Extssheaf2021-12-071-2/+1
* Revert "Data.List specialization to []"Matthew Pickering2021-12-031-2/+2
* Allow boring class declarations in hs-boot filessheaf2021-11-2512-0/+92
* Enable UnboxedTuples in `genInst`, Fixes #20524CarrieMY2021-11-253-0/+27
* Add a warning for GADT match + NoMonoLocalBinds (#20485)Krzysztof Gogolewski2021-11-231-1/+1
View Lorry Controller Status