summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Add a test for Trac #13951wip/T11371Krzysztof Gogolewski2019-03-082-0/+20
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-9/+9
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-1/+1
* Implement -Wredundant-record-wildcards and -Wunused-record-wildcardsMatthew Pickering2019-02-141-0/+1
* Fix #16188Richard Eisenberg2019-02-125-0/+193
* Fix #14729 by making the normaliser homogeneousRichard Eisenberg2019-02-083-0/+51
* Reject oversaturated VKAs in type family equationsRyan Scott2019-02-012-19/+0
* testsuite: Use makefile_testBen Gamari2019-01-301-16/+13
* Revert "Batch merge"Ben Gamari2019-01-301-13/+16
* Batch mergeBen Gamari2019-01-301-16/+13
* testsuite: Add tests from #11982Ben Gamari2019-01-274-0/+45
* Don't invoke dataConSrcToImplBang on newtypesRyan Scott2019-01-122-0/+14
* Visible kind applicationmynguyen2019-01-037-2/+146
* Add solveLocalEqualities to tcHsPatSigTypeSimon Peyton Jones2018-12-202-0/+8
* Stomp a few typos and grammarosGabor Greif2018-12-171-5/+5
* Enable rebindable fail with overloaded stringsShayne Fletcher2018-12-113-0/+22
* Fix #16008 with a pinch of addConsistencyConstraintsRyan Scott2018-12-112-0/+17
* Wibble to Taming the Kind Inference MonsterSimon Peyton Jones2018-12-072-4/+4
* Add test cases for #7503, #14451Ryan Scott2018-12-033-0/+48
* Fix #15954 by rejigging check_type's orderRyan Scott2018-12-031-2/+3
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-292-8/+6
* Add built-in syntax suggestions, and refactor to allow library useMatthías Páll Gissurarson2018-11-0111-50/+101
* Lower precedence for {-# UNPACK #-}Vladislav Zavialov2018-11-012-0/+22
* Remove a zonkTcTyVarToTyVarSimon Peyton Jones2018-10-252-0/+7
* Improve output from -ddump-typesSimon Peyton Jones2018-10-242-3/+4
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-1542-77/+128
* Better -ddump-typesSimon Peyton Jones2018-10-042-9/+5
* testsuite: Add test for #15368Ben Gamari2018-09-053-0/+57
* Add a test for Trac #15586Krzysztof Gogolewski2018-09-042-0/+13
* Accommodate API change in transSuperClassesSimon Peyton Jones2018-08-231-1/+0
* Fix a typo in TcValidity.checkFamInstRhsSimon Peyton Jones2018-08-232-1/+9
* Initialise cec_suppress properlySimon Peyton Jones2018-08-201-30/+0
* Be mindful of GADT tyvar order when desugaring record updatesRyan Scott2018-08-172-4/+16
* testsuite: Add (broken) test for #15473Ben Gamari2018-08-072-0/+13
* fix timeout related i686 validation issuesAlp Mestanogullari2018-08-061-1/+1
* Allow scoped type variables refer to typesJoachim Breitner2018-08-052-9/+9
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-022-0/+36
* Add an expect_broken test for #14185Krzysztof Gogolewski2018-07-272-0/+31
* Treat isConstraintKind more consistentlySimon Peyton Jones2018-07-252-0/+18
* Set GenSigCtxt for the argument part of tcSubTypeSimon Peyton Jones2018-07-251-4/+4
* Clone relevant constraints to avoid side-effects on HoleDests. Fixes #15370.Matthías Páll Gissurarson2018-07-243-0/+63
* Fix a nasty bug in piResultTysSimon Peyton Jones2018-07-242-0/+10
* Stop marking soluble ~R# constraints as insolubleSimon Peyton Jones2018-07-233-0/+29
* Do not imply NoStarIsType by TypeOperators/TypeInTypeVladislav Zavialov2018-07-162-10/+10
* Unwrap casts before checking vars in eager unifierRichard Eisenberg2018-07-101-3/+3
* Mark AutoDeriveTypeable as deprecatedKrzysztof Gogolewski2018-07-061-1/+1
* Refactor validity checking for constraintsSimon Peyton Jones2018-07-053-4/+13
* base: Add missing instances for Data.Ord.DownBen Gamari2018-06-193-5/+5
* Typofixes in docs and comments [ci skip]Gabor Greif2018-06-181-1/+1
* Preserve parenthesis in function application in typecheckerZubin Duggal2018-06-163-1/+57
View Lorry Controller Status