diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-04-07 17:33:44 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-04-07 17:48:48 +0100 |
| commit | e6e0415befc9784f8631360fe51b34232ad589e9 (patch) | |
| tree | d7b417fc1b859b5ba083e8dee00cd09af87c5e3d /testsuite/tests/typecheck/should_fail/TcCoercibleFail.stderr | |
| parent | eacda9244913709ed025767418468b4cfc878cf9 (diff) | |
| download | haskell-e6e0415befc9784f8631360fe51b34232ad589e9.tar.gz | |
More error message wibbles
..due to suppressing base-package module names.
Needs a submodule update on array.
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/TcCoercibleFail.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/TcCoercibleFail.stderr | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/TcCoercibleFail.stderr b/testsuite/tests/typecheck/should_fail/TcCoercibleFail.stderr index 41cc7cc47d..da367d227d 100644 --- a/testsuite/tests/typecheck/should_fail/TcCoercibleFail.stderr +++ b/testsuite/tests/typecheck/should_fail/TcCoercibleFail.stderr @@ -28,8 +28,7 @@ TcCoercibleFail.hs:16:8: TcCoercibleFail.hs:18:8: Couldn't match representation of type ‘Int’ with that of ‘Down Int’ Relevant role signatures: type role Down representational - The data constructor ‘Data.Ord.Down’ - of newtype ‘Down’ is not in scope + The data constructor ‘Down’ of newtype ‘Down’ is not in scope In the expression: coerce In the expression: coerce $ one :: Down Int In an equation for ‘foo4’: foo4 = coerce $ one :: Down Int |