summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Type-indexed TypeableBen Gamari2017-02-181-2/+4
* Generalize kind of the (->) tyconBen Gamari2017-02-182-7/+1
* Typos [ci skip]Gabor Greif2017-02-151-1/+1
* Allow type defaulting for multi-param type classes with ExtendedDefaultRulesvivid-synth2017-02-144-0/+71
* zonkCt tries to maintain the canonical form of a Ct.Christiaan Baaij2017-02-113-0/+43
* testsuite: Add testcase for #13248Ben Gamari2017-02-092-0/+13
* Spelling fixesGabor Greif2017-02-021-1/+1
* Fix broken testsPhil Ruffwind2017-01-301-0/+1
* Typos and grammar in manual/commentsGabor Greif2017-01-231-1/+1
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-52/+17
* Revert "Remove unnecessary isTyVar tests in TcType"Ryan Scott2017-01-222-0/+12
* Show explicit quantifiers in conflicting definitions errorPhil de Joux2017-01-201-2/+0
* Add 'type family (m :: Symbol) <> (n :: Symbol)'Oleg Grenrus2017-01-202-0/+29
* Update levity polymorphismRichard Eisenberg2017-01-194-0/+25
* Typos in manual, comments and testsGabor Greif2017-01-122-2/+2
* Typos in comments (and in a test)Gabor Greif2017-01-091-1/+1
* Fix zonk_eq_types in TcCanonicalSimon Peyton Jones2017-01-092-0/+81
* Parse holes as infix operatorsÖmer Sinan Ağacan2017-01-083-0/+38
* Check family instance consistency of hs-boot families later, fixes #11062.Edward Z. Yang2016-12-174-0/+13
* Reshuffle levity polymorphism checks.Richard Eisenberg2016-12-172-0/+10
* base: Bump version to 4.10.0.0Ben Gamari2016-12-152-2/+2
* Show constraints when reporting typed holesMaciej Bielecki2016-12-155-0/+117
* Make dropDerivedSimples restore [WD] constraintsSimon Peyton Jones2016-12-122-0/+31
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-072-8/+8
* Test Trac #12919Vladislav Zavialov2016-12-062-0/+23
* Test Trac #12925Simon Peyton Jones2016-12-052-1/+13
* Fix an asymptotic bug in the occurrence analyserSimon Peyton Jones2016-12-051-0/+1
* Typos in commentsGabor Greif2016-12-012-2/+2
* Replace -fshow-source-paths with -fhide-source-pathsSylvain Henry2016-11-292-6/+6
* Another major constraint-solver refactoringSimon Peyton Jones2016-11-253-5/+47
* A few typos in commentsGabor Greif2016-11-211-1/+1
* Test for type synonym loops on TyCon.Edward Z. Yang2016-11-164-0/+1036
* Kill Type pretty-printerBen Gamari2016-11-131-1/+1
* Make default output less verbose (source/object paths)Sylvain HENRY2016-11-112-8/+8
* Fix Trac #12797: approximateWCSimon Peyton Jones2016-11-022-0/+16
* Typos in commentsGabor Greif2016-10-311-6/+6
* Fundeps work even for unary type classesSimon Peyton Jones2016-10-263-0/+28
* Prioritise class-level equality costraintsSimon Peyton Jones2016-10-244-0/+207
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-214-5/+39
* Test Trac #12507Simon Peyton Jones2016-10-212-0/+17
* Refactor typechecking of pattern bindingsSimon Peyton Jones2016-10-213-0/+62
* testsuite: Eliminate unnecessary compile_timeout_multiplierBen Gamari2016-10-171-1/+1
* The Backpack patch.Edward Z. Yang2016-10-082-3/+0
* Tc267, tests what happens if you forgot to knot-tie.Edward Z. Yang2016-10-086-0/+29
* Fix impredicativity (again)Simon Peyton Jones2016-09-305-5/+96
* Fix a bug in occurs checkingSimon Peyton Jones2016-09-301-5/+5
* Print foralls in user formatSimon Peyton Jones2016-09-262-4/+4
* Be less picky about reporing inaccessible codeSimon Peyton Jones2016-09-123-0/+37
* Remove redundant-constraints from -Wall (#10635)Adam C. Foltzer2016-08-316-5/+30
* Add -fdefer-out-of-scope-variables flag (#12170).Eugene Akentyev2016-08-313-0/+9
View Lorry Controller Status