summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/T4175.stdout
Commit message (Expand)AuthorAgeFilesLines
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-04-051-0/+1
* Print explicit foralls in type family eqns when appropriateRyan Scott2018-11-261-4/+3
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-151-5/+5
* Built-in Natural literals in CoreSylvain Henry2018-06-151-3/+3
* Generalise constraint on `instance Monoid (Maybe a)` to SemigroupHerbert Valerio Riedel2017-09-191-1/+1
* Make Semigroup a superclass of Monoid (re #14191)Herbert Valerio Riedel2017-09-071-0/+3
* Allow associated types to pattern-match in non-class-bound variablesRyan Scott2017-03-141-4/+5
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-16/+16
* Check local type family instances against all imported onesReid Barton2017-02-141-1/+1
* Use UniqDFM for InstEnvBartosz Nitka2016-07-081-13/+13
* SCC analysis for instances as well as types/classesSimon Peyton Jones2016-04-201-56/+56
* Tighten checking for associated type instancesSimon Peyton Jones2016-04-191-57/+56
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-7/+3
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-181-11/+11
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-5/+10
* Generate Typeable info at definition sitesBen Gamari2015-10-301-3/+1
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-1/+3
* Generate Typeable info at definition sitesBen Gamari2015-10-291-3/+1
* Export `Monoid(..)`/`Foldable(..)`/`Traversable(..)` from PreludeHerbert Valerio Riedel2014-09-211-0/+2
* Move `Maybe`-typedef into GHC.BaseHerbert Valerio Riedel2014-09-161-6/+6
* Export `Traversable()` and `Foldable()` from PreludeHerbert Valerio Riedel2014-09-151-0/+2
* Make Applicative a superclass of MonadAustin Seipp2014-09-091-0/+1
* Do pretty-printing of TyThings via IfaceDecl (Trac #7730)Simon Peyton Jones2014-06-031-13/+13
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-24/+24
* Increase coverage of #4175Patrick Palka2013-11-141-18/+23
* Wibbles to output regarding role annotations.Richard Eisenberg2013-10-231-6/+1
* Error wibbles now that we print roles in :infoSimon Peyton Jones2013-10-081-2/+9
* Error messsage wibblificationSimon Peyton Jones2013-10-041-4/+4
* Updates to support closed type families.Richard Eisenberg2013-06-211-52/+46
* Initial test for Trac #4175Simon Peyton Jones2013-03-151-0/+52
View Lorry Controller Status