summaryrefslogtreecommitdiff
path: root/testsuite/tests/rebindable
Commit message (Expand)AuthorAgeFilesLines
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-151-0/+1
* Include "not more specific" info in overlap msgsheaf2021-11-201-3/+3
* Update expected stderr for affected tests, which are not under Tc directoryCarrieMY2021-07-281-3/+3
* Make CallStacks work better with RebindableSyntaxSimon Peyton Jones2021-07-276-0/+111
* Deprecate -Wmissing-monadfail-instances (#17875)Krzysztof Gogolewski2021-06-194-4/+0
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-192-0/+30
* Add -Wnoncanonical-{monad,monoid}-instances to standardWarningsFumiaki Kinoshita2020-10-141-7/+6
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-145-0/+85
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-4/+4
* testsuite: Fix -Wcompat-unqualified-imports issuesBen Gamari2020-02-081-1/+1
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-2213-49/+53
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-154-4/+4
* rebindable-clash-warning-fix : correct warning logicShayne Fletcher2018-12-285-0/+37
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-154-0/+4
* Turn on MonadFail desugaring by defaultHerbert Valerio Riedel2018-08-071-1/+1
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-1/+1
* testsuite: Add testcase for #14670Ben Gamari2018-01-212-0/+12
* Minimise provided dictionaries in pattern synonymsSimon Peyton Jones2017-11-081-1/+2
* Remove unneeded reqlibs for mtl and parsec in the GHC testsuiteRyan Scott2017-08-171-2/+2
* Fix broken testsPhil Ruffwind2017-01-301-10/+10
* rename: Don't require 'fail' in non-monadic contextsBen Gamari2016-12-232-1/+10
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-18/+18
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-6/+6
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-208-798/+798
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-2/+2
* Fix deriving Ord when RebindableSyntax is enabledAndrew Farmer2016-05-212-0/+17
* Kill non-deterministic foldUFM in TrieMap and TcAppMapBartosz Nitka2016-05-041-7/+10
* Testsuite: fixup lots of testsThomas Miedema2016-04-261-31/+31
* Testsuite: delete empty files [skip ci]Thomas Miedema2016-02-252-0/+0
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-231-1/+1
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-232-68/+68
* Testsuite: delete compiler_lt/le/gt/ge setup functionsThomas Miedema2016-02-171-1/+1
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-272-14/+15
* Rename -Wmissing-monadfail-instance to plural-formHerbert Valerio Riedel2016-01-251-1/+1
* Narrow scope of special-case for unqualified printing of names in core librariesBen Gamari2015-12-151-63/+63
* Add testcase for #11216Ben Gamari2015-12-142-0/+7
* Improve MonadFail errors by mentioning the patternDavid Luposchainsky2015-11-181-0/+1
* MonadFail proposal, phase 1David Luposchainsky2015-11-173-24/+28
* Improve error messages for ambiguous type variablesDavid Kraeutmann2015-10-071-12/+14
* Improve the error messages for class instance errorsSimon Peyton Jones2015-09-021-3/+3
* Testsuite: delete remaining only_compiler_types(['ghc']) setupsThomas Miedema2015-07-141-1/+0
* Improve error message for Typeable k (T k)Simon Peyton Jones2015-06-261-6/+6
* Error msg wibbles from reduced module prefixesSimon Peyton Jones2015-04-071-66/+66
* Test Trac #10112Simon Peyton Jones2015-03-022-0/+17
* Test Trac #5821Simon Peyton Jones2015-01-142-2/+2
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-062-73/+74
* Modify a couple of error messages slightlySimon Peyton Jones2015-01-061-66/+66
* ghc generates more user-friendly error messagesMike Izbicki2014-11-191-0/+3
* Testsuite error message changesSimon Peyton Jones2014-11-041-8/+4
* Make Applicative a superclass of MonadAustin Seipp2014-09-091-2/+12