summaryrefslogtreecommitdiff
path: root/testsuite/tests/roles
Commit message (Expand)AuthorAgeFilesLines
...
* Add kind equalities to GHC.Richard Eisenberg2015-12-118-137/+78
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-4/+4
* New expected test output for 32 bit platformsErik de Castro Lopo2015-11-237-0/+328
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-184-8/+13
* Bump ghc-prim version to 0.5.0.0 (closes #11043)Herbert Valerio Riedel2015-11-016-6/+6
* Bump `base` version to 4.9.0.0 (closes #11026)Herbert Valerio Riedel2015-11-016-6/+6
* Generate Typeable info at definition sitesBen Gamari2015-10-307-5/+176
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-297-176/+5
* Generate Typeable info at definition sitesBen Gamari2015-10-297-5/+176
* Show minimal complete definitions in ghci (#10847)Moritz Kiefer2015-09-173-0/+7
* Fix testsBen Gamari2015-07-161-0/+2
* Remove some horrible munging of origins for CoercibleSimon Peyton Jones2015-06-182-76/+45
* Bump base version to 4.8.2.0Herbert Valerio Riedel2015-04-256-6/+6
* Change default roles in hs-boot files. (#9204)Richard Eisenberg2015-04-246-4/+18
* Rename role annotations w.r.t only local decls.Richard Eisenberg2015-04-242-0/+6
* Don't use self {-# SOURCE #-} import in test-cases.Edward Z. Yang2015-04-226-4/+10
* Do proper depth checking in the flattener to avoid looping.Richard Eisenberg2015-03-231-1/+1
* Minor bump `base` version to 4.8.1.0Herbert Valerio Riedel2015-03-236-6/+6
* Bump ghc-prim to 0.4.0.0Herbert Valerio Riedel2015-03-206-46/+46
* A raft of small changes associated with -XConstrainedClassMethodsSimon Peyton Jones2015-03-041-0/+1
* Rewrite `Coercible` solverRichard Eisenberg2014-12-122-86/+76
* Fix #9220 by adding role annotations.Richard Eisenberg2014-11-204-1/+101
* Testsuite wibbles due to #9204Richard Eisenberg2014-11-121-0/+1
* Fix #9204 by outputting extra info on boot file mismatch.Richard Eisenberg2014-11-121-1/+1
* Test #9204 in roles/should_fail/T9204Richard Eisenberg2014-11-125-1/+25
* Testsuite error message changesSimon Peyton Jones2014-11-042-49/+42
* Use correct precedence when printing contexts with class operatorsSimon Peyton Jones2014-10-071-1/+1
* Bump `base` version to 4.8.0.0 for realHerbert Valerio Riedel2014-09-096-6/+6
* testsuite: normalise integer library name for T8958Sergei Trofimovich2014-08-302-2/+2
* Do not zero out version number when processing wired-in packages.Edward Z. Yang2014-08-226-6/+12
* Complete work on new OVERLAPPABLE/OVERLAPPING pragmas (Trac #9242)Simon Peyton Jones2014-07-311-1/+1
* Fix #9062.Richard Eisenberg2014-06-111-2/+1
* Make FunPtr's role be phantom; add comments.Richard Eisenberg2014-06-111-0/+1
* Do pretty-printing of TyThings via IfaceDecl (Trac #7730)Simon Peyton Jones2014-06-037-148/+69
* Print for-alls more often (Trac #9018)Simon Peyton Jones2014-04-281-3/+3
* Suppress uniques to stop output wobbling (test for Trac #8958)Simon Peyton Jones2014-04-092-50/+50
* Fix #8958.Richard Eisenberg2014-04-053-0/+63
* Update expected test outputs to match new format of pretty-printingDr. ERDI Gergo2014-03-193-48/+48
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-259-18/+18
* Fix #8773.Richard Eisenberg2014-02-138-10/+35
* Update output: More elaborate GND error messagesJoachim Breitner2013-12-041-1/+2
* Wibbles to output caused by change in checking role annotationsRichard Eisenberg2013-12-023-12/+5
* Update testsuite for nicer Coercible messageJoachim Breitner2013-12-021-7/+6
* Coercible-base GND: update error messagesJoachim Breitner2013-11-221-5/+8
* Wibbles to output regarding role annotations.Richard Eisenberg2013-10-232-12/+12
* Update tests to reflect new check for GeneralizedNewtypeDerivingRichard Eisenberg2013-10-235-15/+12
* Error wibbles now that we print roles in :infoSimon Peyton Jones2013-10-081-11/+3
* Error messsage wibblificationSimon Peyton Jones2013-10-042-24/+24
* Further testsuite wibbles following changes to kind suppressionSimon Peyton Jones2013-10-021-3/+3
* Update to tests due to change in syntax for role annotations.Richard Eisenberg2013-09-1732-0/+430