summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt
Commit message (Expand)AuthorAgeFilesLines
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-051-8/+8
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-176-12/+12
* User's guide: newtype decls can use GADTSyntaxsheaf2022-01-022-0/+7
* Add a warning for GADT match + NoMonoLocalBinds (#20485)Krzysztof Gogolewski2021-11-234-0/+41
* Desugarer: Bring existentials in scope when substituting into record GADTsRyan Scott2021-08-252-0/+20
* Driver Rework PatchMatthew Pickering2021-06-032-5/+3
* GHC Exactprint main commitAlan Zimmerman2021-03-203-4/+4
* Use GHC2021 as default languageJoachim Breitner2021-03-109-4/+9
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-012-13/+10
* 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