diff options
| author | Dimitrios.Vytiniotis <dimitris@microsoft.com> | 2012-04-04 14:41:11 +0100 |
|---|---|---|
| committer | Dimitrios.Vytiniotis <dimitris@microsoft.com> | 2012-04-04 14:41:11 +0100 |
| commit | 0b3c3c81792c88ee40687f86bed4935e721dabe0 (patch) | |
| tree | dcf508fb11769f971af2476a7630420322c93e09 /testsuite/tests/parser/should_fail/readFail003.stderr | |
| parent | 02fb36f5a28f2a1e38df7beacc65c0af82562e9a (diff) | |
| download | haskell-0b3c3c81792c88ee40687f86bed4935e721dabe0.tar.gz | |
Error message modifications following ghc-new-solver modifications
Diffstat (limited to 'testsuite/tests/parser/should_fail/readFail003.stderr')
| -rw-r--r-- | testsuite/tests/parser/should_fail/readFail003.stderr | 48 |
1 files changed, 36 insertions, 12 deletions
diff --git a/testsuite/tests/parser/should_fail/readFail003.stderr b/testsuite/tests/parser/should_fail/readFail003.stderr index 7ef9ce150e..fe8ce00577 100644 --- a/testsuite/tests/parser/should_fail/readFail003.stderr +++ b/testsuite/tests/parser/should_fail/readFail003.stderr @@ -1,12 +1,36 @@ -
-readFail003.hs:4:27:
- Occurs check: cannot construct the infinite type:
- t0 = (t0, [a0], [a1])
- In the expression: a
- In a pattern binding:
- ~(a, b, c)
- | nullity b = a
- | nullity c = a
- | otherwise = a
- where
- nullity = null
+ +readFail003.hs:4:27: + Occurs check: cannot construct the infinite type: + t0 = (t0, [a0], [a1]) + In the expression: a + In a pattern binding: + ~(a, b, c) + | nullity b = a + | nullity c = a + | otherwise = a + where + nullity = null + +readFail003.hs:5:27: + Occurs check: cannot construct the infinite type: + t0 = (t0, [a0], [a1]) + In the expression: a + In a pattern binding: + ~(a, b, c) + | nullity b = a + | nullity c = a + | otherwise = a + where + nullity = null + +readFail003.hs:6:27: + Occurs check: cannot construct the infinite type: + t0 = (t0, [a0], [a1]) + In the expression: a + In a pattern binding: + ~(a, b, c) + | nullity b = a + | nullity c = a + | otherwise = a + where + nullity = null |