TcTypeable: Try to reuse KindReps
[ghc.git] / testsuite / tests / typecheck /
2017-03-02  Edward Z. YangPrevent users from defining instances for abstract...
2017-03-02  Edward Z. YangProperly represent abstract classes in Class and IfaceDecl
2017-03-01  Simon Peyton JonesImprove pretty-printing of types
2017-02-28  Ben GamariAdd Eq instances for TrName, Module
2017-02-27  Edward Z. YangTreat all TyCon with hole names as skolem abstract.
2017-02-26  Reid Bartontests: remove extra_files.py (#12223)
2017-02-26  Reid Bartontests: manually move some extra_files into *.T files
2017-02-23  Ryan ScottAdd instances for (:~~:) mirroring those for (:~:)
2017-02-21  Simon Peyton JonesTest Trac #13300
2017-02-21  Simon Peyton JonesGather constraints locally in checkMain
2017-02-18  Ben GamariType-indexed Typeable
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-18  Edward Z. YangSay 'data' explicitly in IfAbstractTyCon output.
2017-02-15  Gabor GreifTypos [ci skip]
2017-02-14  vivid-synthAllow type defaulting for multi-param type classes...
2017-02-12  Christiaan BaaijzonkCt tries to maintain the canonical form of a Ct.
2017-02-10  Ryan ScottRefactor DeriveAnyClass's instance context inference
2017-02-10  Simon Peyton JonesChange rewritableTyVarsOfType to anyRewritableTyVar
2017-02-09  Simon Peyton JonesGuard rewritableTyVarsOfType
2017-02-09  Ben Gamaritestsuite: Add testcase for #13248
2017-02-09  Gabor GreifTweaks and typos in manual, note refs, comments
2017-02-06  Matthew PickeringDon't return empty initial uncovered set for an unsat...
2017-02-02  Gabor GreifSpelling fixes
2017-02-02  Oleg GrenrusIntroduce GHC.TypeNats module, change KnownNat evidence...
2017-01-30  Ryan ScottCheck that a default type signature aligns with the...
2017-01-30  Phil RuffwindFix broken tests
2017-01-23  Bartosz NitkaMake checkFamInstConsistency faster
2017-01-23  Gabor GreifTypos and grammar in manual/comments
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2017-01-22  Ryan ScottRevert "Remove unnecessary isTyVar tests in TcType"
2017-01-20  Phil de JouxShow explicit quantifiers in conflicting definitions...
2017-01-20  Oleg GrenrusAdd 'type family (m :: Symbol) <> (n :: Symbol)'
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-18  Gabor GreifTypos in comments only [ci skip]
2017-01-12  Simon Peyton JonesFix top-level constraint handling (Trac #12921)
2017-01-12  Gabor GreifTypos in manual, comments and tests
2017-01-09  Gabor GreifTypos in comments (and in a test)
2017-01-09  Simon Peyton JonesFix zonk_eq_types in TcCanonical
2017-01-08  Ömer Sinan AğacanParse holes as infix operators
2017-01-02  sjorn3Disallow users to write instances of KnownNat and KnownSym
2016-12-18  Sergei TrofimovichT12035j: disable on NOSMP targets
2016-12-18  Edward Z. YangCheck family instance consistency of hs-boot families...
2016-12-17  Richard EisenbergReshuffle levity polymorphism checks.
2016-12-15  Ben Gamaritestsuite: Add test for #12966
2016-12-15  Ben Gamaribase: Bump version to 4.10.0.0
2016-12-15  Maciej BieleckiShow constraints when reporting typed holes
2016-12-12  Simon Peyton JonesMake dropDerivedSimples restore [WD] constraints
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-12-06  Vladislav ZavialovTest Trac #12919
2016-12-05  Simon Peyton JonesTest Trac #12925
2016-12-05  Simon Peyton JonesFix an asymptotic bug in the occurrence analyser
2016-12-01  Gabor GreifTypos in comments
2016-11-29  Sylvain HenryReplace -fshow-source-paths with -fhide-source-paths
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-21  Gabor GreifA few typos in comments
2016-11-17  Edward Z. YangTest for type synonym loops on TyCon.
2016-11-15  Gabor GreifTypos in comments, notes and manual
2016-11-13  Ben GamariKill Type pretty-printer
2016-11-12  Sylvain HENRYMake default output less verbose (source/object paths)
2016-11-04  Simon Peyton JonesTake account of injectivity when doing fundeps
2016-11-02  Simon Peyton JonesFix Trac #12797: approximateWC
2016-10-31  Gabor GreifTypos in comments
2016-10-26  Simon Peyton JonesFundeps work even for unary type classes
2016-10-24  Simon Peyton JonesPrioritise class-level equality costraints
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-21  Simon Peyton JonesTest Trac #12507
2016-10-21  Simon Peyton JonesRefactor typechecking of pattern bindings
2016-10-19  Simon Peyton JonesTest for newtype with unboxed argument
2016-10-17  Ben Gamaritestsuite: Eliminate unnecessary compile_timeout_multiplier
2016-10-14  Ben GamariClean up handling of known-key Names in interface files
2016-10-13  Simon Peyton JonesFurther improve error handling in TcRn monad
2016-10-12  Ryan ScottAdd test for #12589
2016-10-08  Edward Z. YangDistinguish between UnitId and InstalledUnitId.
2016-10-08  Edward Z. YangThe Backpack patch.
2016-10-08  Edward Z. YangTc267, tests what happens if you forgot to knot-tie.
2016-10-06  Ryan ScottRemove unused T12124.srderr
2016-10-05  Simon Peyton JonesImprove error handling in TcRnMonad
2016-09-30  Simon Peyton JonesMake tcrun042 fail
2016-09-30  Simon Peyton JonesFix impredicativity (again)
2016-09-30  Simon Peyton JonesFix a bug in occurs checking
2016-09-28  Gabor GreifComments and manual only: spelling
2016-09-26  Simon Peyton JonesPrint foralls in user format
2016-09-12  Simon Peyton JonesTestsuite wibbles, to the same files
2016-09-12  Simon Peyton JonesTest wibbles for commit 03541cba
2016-09-12  Simon Peyton JonesBe less picky about reporing inaccessible code
2016-08-31  Adam C. FoltzerRemove redundant-constraints from -Wall (#10635)
2016-08-31  Eugene AkentyevAdd -fdefer-out-of-scope-variables flag (#12170).
2016-08-21  Edward Z. YangWe also need to retypecheck before when we do parallel...
2016-08-21  Edward Z. YangRetypecheck both before and after finishing hs-boot...
2016-08-21  Edward Z. YangAxe initIfaceTc, tie the knot through HPT (or if_rec_ty...
2016-08-17  Simon Peyton JonesNot-in-scope variables are always errors
2016-08-01  Annie CherkaevRelevant Bindings no longer reports shadowed bindings...
2016-07-21  Gabor GreifCorrect a few mistyped words in prose/comments
2016-07-20  Ben GamariAdd another testcase for #12082
2016-07-20  Ben Gamaritestsuite: Add regression test for #12381
2016-07-20  Ben GamariInstEnv: Ensure that instance visibility check is lazy
2016-07-14  Joachim BreitnertidyOccNames: Rename variables fairly
2016-07-05  Simon Peyton JonesTest Trac #12133
2016-07-05  Simon Peyton JonesCheck generic-default method for ambiguity
2016-06-29  Simon Peyton JonesTest Trac #12185
next