summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck
Commit message (Expand)AuthorAgeFilesLines
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-249-79/+17
* Fix unifier bug: failing to decompose over-saturated type familySimon Peyton Jones2022-12-222-0/+22
* Fix an assertion check in addToEqualCtListSimon Peyton Jones2022-12-213-0/+25
* checkValidInst: Don't expand synonyms when splitting sigma typesRyan Scott2022-12-153-0/+26
* Typeable: Fix module locations of some definitions in GHC.TypesMatthew Pickering2022-12-083-0/+53
* Fix testsBodigrim2022-12-082-5/+2
* Restore show (typeRep @[]) == "[]"Krzysztof Gogolewski2022-12-082-0/+2
* Be more careful in GHC.Tc.Solver.Interact.solveOneFromTheOtherSimon Peyton Jones2022-11-302-0/+92
* Add Javascript backendSylvain Henry2022-11-295-9/+13
* Change printing of sized literals to match the proposalKrzysztof Gogolewski2022-11-292-6/+6
* Killing cc_fundeps, streamlining kind equality orientation, and type equality...Apoorv Ingle2022-11-2911-11/+58
* Fix decomposition of TyConAppswip/T22331Simon Peyton Jones2022-11-252-0/+16
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-2526-72/+72
* Convert diagnostics in GHC.Rename.Expr to proper TcRnMessage (#20115)Andrei Borzenkov2022-11-241-1/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-1131-101/+117
* Use TcRnDiagnostic in GHC.Tc.TyCl.Instance (#20117)Giles Anderson2022-11-0912-21/+21
* Testsuite: more precise test optionsSylvain Henry2022-10-262-10/+3
* TyEq:N assertion: only for saturated applicationssheaf2022-10-192-0/+24
* Clearer error msg for newtype GADTs with defaulted kindFinley McIlwaine2022-10-138-17/+33
* Tidy implicit bindsMatthew Pickering2022-10-111-1/+0
* Export symbolSing, SSymbol, and friends (CLC#85)wip/clc-85Ryan Scott2022-10-062-2/+2
* Rename Solo[constructor] to MkSoloTorsten Schmits2022-09-214-5/+5
* Scrub partiality about `NewOrData`.M Farkas-Dyck2022-09-191-1/+1
* Diagnostic codes: acccept test changessheaf2022-09-13605-1180/+1191
* Add regression test for #21550Zubin Duggal2022-09-012-0/+40
* 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
View Lorry Controller Status