diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-02 16:35:42 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-02 16:35:42 +0000 |
commit | 64880bb7693ca9a97e26a292b5d3fe402f72c143 (patch) | |
tree | 87885e83aab4d79fdc15922eba28ea0e63f622c1 /testsuite/tests/gadt/rw.stderr | |
parent | 7a29e7e2e17b47360adfca59d049b77f8ec3f0f7 (diff) | |
download | haskell-64880bb7693ca9a97e26a292b5d3fe402f72c143.tar.gz |
Modified error output and new tests for PolyKinds commit
Diffstat (limited to 'testsuite/tests/gadt/rw.stderr')
-rw-r--r-- | testsuite/tests/gadt/rw.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/gadt/rw.stderr b/testsuite/tests/gadt/rw.stderr index 752d0fd8a3..c6e800b910 100644 --- a/testsuite/tests/gadt/rw.stderr +++ b/testsuite/tests/gadt/rw.stderr @@ -3,7 +3,7 @@ rw.hs:14:47: Couldn't match expected type `a' with actual type `Int' `a' is a rigid type variable bound by the type signature for writeInt :: T a -> IORef a -> IO () - at rw.hs:13:1 + at rw.hs:12:14 In the second argument of `writeIORef', namely `(1 :: Int)' In the expression: writeIORef ref (1 :: Int) In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int) @@ -12,7 +12,7 @@ rw.hs:19:51: Couldn't match type `a' with `Bool' `a' is a rigid type variable bound by the type signature for readBool :: T a -> IORef a -> IO () - at rw.hs:17:1 + at rw.hs:16:14 Expected type: a -> Bool Actual type: Bool -> Bool In the second argument of `(.)', namely `not' |