summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt
Commit message (Expand)AuthorAgeFilesLines
* Fix typosBrian Wignall2021-02-061-1/+1
* Arrows: correctly query arrow methods (#17423)Sylvain Henry2020-12-112-38/+0
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-082-0/+17
* Remove flattening variablesRichard Eisenberg2020-12-013-7/+10
* Add -Wnoncanonical-{monad,monoid}-instances to standardWarningsFumiaki Kinoshita2020-10-142-12/+9
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-244-23/+20
* Make GADT constructors adhere to the forall-or-nothing rule properlyRyan Scott2020-06-097-39/+62
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-055-13/+22
* Do eager instantation in termsSimon Peyton Jones2020-04-221-3/+3
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-2/+2
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* Remove prefix arrow support for GADTs (#17211)Krzysztof Gogolewski2019-11-252-7/+0
* testsuite: Add test for #17423Ben Gamari2019-11-012-0/+38
* Report better suggestion for GADT data constructorSimon Peyton Jones2019-03-154-4/+17
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-1514-14/+14
* testsuite: Use makefile_testBen Gamari2019-01-301-3/+3
* Revert "Batch merge"Ben Gamari2019-01-301-3/+3
* Batch mergeBen Gamari2019-01-301-3/+3
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-1510-16/+34
* Better error reporting for inaccessible codeSimon Peyton Jones2018-08-243-0/+24
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-144-8/+12
* Turn "inaccessible code" error into a warningTobias Dammers2018-06-025-27/+23
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-301-4/+4
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-182-0/+21
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-3/+1
* Wombling around in Trac #14808Simon Peyton Jones2018-03-051-0/+6
* Rename the types in a GADT constructor in toposorted orderRyan Scott2018-02-182-0/+13
* Fix #14719 by using the setting the right SrcSpanRyan Scott2018-01-263-0/+27
* typecheck: Clarify errors mentioned in #14385Ben Gamari2017-10-253-3/+3
* Fix #14320 by looking through HsParTy in more placesRyan Scott2017-10-072-0/+16
* Track the order of user-written tyvars in DataConRyan Scott2017-10-031-1/+1
* Also show types that subsume a hole as valid substitutions for that hole.Matthías Páll Gissurarson2017-09-211-0/+12
* Suggest how to fix illegally nested foralls in GADT constructor type signaturesRyan Scott2017-08-173-1/+55
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-3/+3
* Some tidying up of type pretty-printingSimon Peyton Jones2017-05-261-1/+1
* Re-engineer Given flatten-skolemsSimon Peyton Jones2017-05-262-10/+2
* Ensure that insolubles are fully rewrittenSimon Peyton Jones2017-05-193-0/+16
* Typos in comments [ci skip]Gabor Greif2017-04-111-1/+1
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-8/+8
* tests: remove extra_files.py (#12223)Reid Barton2017-02-261-2/+2
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-16/+4
* Spelling fixes in comments [ci skip]Gabor Greif2017-01-181-1/+1
* Take account of kinds in promoteTcTypeSimon Peyton Jones2016-10-241-3/+3
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-213-22/+22
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-2016-206/+205
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-204-83/+83
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-152-37/+37
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-136-120/+120
* Testsuite: benign test fixesThomas Miedema2016-04-282-1/+6
View Lorry Controller Status