summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_run
Commit message (Expand)AuthorAgeFilesLines
...
* Fix a couple of tests for GHCi/-O* (Trac #10052)Sergei Trofimovich2015-06-201-1/+2
* Amend tcrun037 after Trac #7854 fixSergei Trofimovich2015-06-201-1/+1
* Amend tcrun024, tcrun025 after Trac #7854 fixSergei Trofimovich2015-06-202-2/+2
* Rename tests so that they have a unique name.Iavor S. Diatchki2015-04-163-1/+1
* Fixes (hopefully!) T9858Iavor S. Diatchki2015-04-163-0/+21
* Do not allow Typeable on constraints (Trac #9858)Simon Peyton Jones2015-04-143-0/+10
* Fix typecheck tests (--slow)Thomas Miedema2015-03-026-1/+16
* Expose source locations via Implicit Parameters of type GHC.Location.LocationEric Seidel2015-01-193-0/+73
* Fix up test for T7861Simon Peyton Jones2015-01-093-3/+12
* Debug test case and test suite wayPeter Wortmann2014-12-161-1/+1
* Rewrite `Coercible` solverRichard Eisenberg2014-12-121-6/+9
* Add -fdefer-typed-holes flag which defers hole errors to runtime.Merijn Verstraaten2014-11-217-0/+30
* Testsuite error message changesSimon Peyton Jones2014-11-042-7/+7
* Python 3 support, second attempt (Trac #9184)Krzysztof Gogolewski2014-10-191-2/+2
* testsuite: fix T1735_Help/State.hs build failure (AMP)Sergei Trofimovich2014-10-061-0/+10
* testsuite: fix T5751 build failure (AMP)Sergei Trofimovich2014-10-061-1/+1
* testsuite: fix tcrun036 build against Prelude/Main 'traverse' clashSergei Trofimovich2014-10-061-0/+2
* Revert "Basic Python 3 support for testsuite driver (Trac #9184)"Krzysztof Gogolewski2014-10-031-2/+2
* Basic Python 3 support for testsuite driver (Trac #9184)Krzysztof Gogolewski2014-10-011-2/+2
* Unbreak TcNullaryTC testcase, by using MPTCJoachim Breitner2014-07-011-1/+1
* Promote TcNullaryTC and TcCoercible to fast testsHerbert Valerio Riedel2014-06-291-2/+2
* Simplify .gitignore filesHerbert Valerio Riedel2014-06-281-3/+0
* Disable FixEither tests in TcCoercibleJoachim Breitner2014-05-302-5/+4
* s/implict/implicit/iEdward Z. Yang2014-05-291-1/+1
* Add missing stderr file for tcrun045.Edward Z. Yang2014-05-291-0/+6
* Add .gitignore for autogenerated test files.Edward Z. Yang2014-05-291-0/+3
* Remove external coreAustin Seipp2014-05-031-5/+2
* tcrun045 should fail (implicit parameter as superclass)Simon Peyton Jones2014-04-282-1/+2
* Fix validation issue due to Coercible move (#8894)Joachim Breitner2014-03-171-1/+1
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-252-6/+6
* Allow ($) to return an unlifted type (Trac #8739)Simon Peyton Jones2014-02-183-0/+12
* Output of T7861 has changedJoachim Breitner2013-11-281-2/+2
* Testcase for Coercible and newtype families (#8548)Joachim Breitner2013-11-222-1/+10
* Add test cases for Coercing recursive newtypes (#8503)Joachim Breitner2013-11-222-5/+26
* Test coercing under under-saturated newtypesJoachim Breitner2013-11-192-6/+15
* Add examples from #8541 to testsuiteJoachim Breitner2013-11-192-0/+14
* Test #8492Krzysztof Gogolewski2013-11-013-0/+8
* Test #8119Krzysztof Gogolewski2013-10-191-0/+1
* Test #8119Krzysztof Gogolewski2013-10-193-0/+8
* Change deprecated _scc_ to {-# SCC #-} (#8170)Krzysztof Gogolewski2013-10-051-2/+2
* Fixup basic type-lits test.Iavor S. Diatchki2013-10-031-16/+18
* Update role annotation syntax in TcCoercibleReid Barton2013-09-301-1/+2
* Tests for the Coercible classJoachim Breitner2013-09-133-0/+40
* Add some tests for evaluating type-level naturals.Iavor S. Diatchki2013-09-123-0/+34
* Add stderr outputSimon Peyton Jones2013-05-211-1/+10
* Test Trac #7861Simon Peyton Jones2013-05-024-0/+16
* Tests for nullary type classes (#7642)Krzysztof Gogolewski2013-03-133-0/+15
* Test Trac #7748Simon Peyton Jones2013-03-093-0/+42
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-241-11/+11
* Remove uses of compose(s) in tests, and change how composition is handledIan Lynagh2013-02-141-8/+16
View Lorry Controller Status