summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck
Commit message (Expand)AuthorAgeFilesLines
...
* Use TcRnDiagnostic in GHC.Tc.TyCl.Class (#20117)Giles Anderson2022-08-293-0/+12
* Print constraints in quotes (#21167)Swann Moreau2022-08-1997-216/+219
* tc: warn about lazy annotations on unlifted arguments (fixes #21951)Zachary Wood2022-08-195-0/+33
* testsuite: Add test for #21583Bryan Richter2022-08-183-0/+113
* driver: Don't create LinkNodes when -no-link is enabledMatthew Pickering2022-07-281-5/+5
* 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-258-5/+161
* Cleanup BuiltInSyntax vs UserSyntaxMatthew Pickering2022-06-282-4/+0
* testsuite: Use normalise_version more consistentlyBen Gamari2022-06-272-6/+6
* 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
* Remove TcRnUnknownMessage usage from GHC.Rename.Env #20115uhbif192022-06-091-1/+1
* Deprecate TypeInType extensionHaskellMouse2022-06-0630-41/+52
* Use a class to check validity of withDictwip/withdictKrzysztof Gogolewski2022-05-2713-37/+83
* Generalize breakTyVarCycle to work with TyFamLHSRichard Eisenberg2022-05-263-0/+63
* Desugar RecordUpd in `tcExpr`wip/T18802CarrieMY2022-05-2517-7/+251
* 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
View Lorry Controller Status