summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Improve treatment of type applications in patternswip/T19847Simon Peyton Jones2023-02-014-0/+134
* Support "unusable UNPACK pragma" warning with -O0Krzysztof Gogolewski2023-01-311-1/+1
* Report family instance orphans correctlySimon Peyton Jones2023-01-271-2/+2
* Do newtype unwrapping in the canonicaliser and rewriterRichard Eisenberg2023-01-262-0/+22
* Enable -Wstar-is-type by default (#22759)Vladislav Zavialov2023-01-183-0/+108
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-114-42/+43
* Introduce the TypeAbstractions language flagVladislav Zavialov2023-01-111-1/+1
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-244-66/+2
* Fix unifier bug: failing to decompose over-saturated type familySimon Peyton Jones2022-12-222-0/+22
* Fix testsBodigrim2022-12-081-4/+1
* Be more careful in GHC.Tc.Solver.Interact.solveOneFromTheOtherSimon Peyton Jones2022-11-302-0/+92
* Add Javascript backendSylvain Henry2022-11-291-3/+3
* 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-292-0/+23
* Fix decomposition of TyConAppswip/T22331Simon Peyton Jones2022-11-252-0/+16
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-253-23/+23
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-114-20/+24
* Use TcRnDiagnostic in GHC.Tc.TyCl.Instance (#20117)Giles Anderson2022-11-099-16/+16
* Testsuite: more precise test optionsSylvain Henry2022-10-261-8/+1
* TyEq:N assertion: only for saturated applicationssheaf2022-10-192-0/+24
* Tidy implicit bindsMatthew Pickering2022-10-111-1/+0
* 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
View Lorry Controller Status