diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-31 09:15:41 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-31 09:15:41 +0000 |
| commit | fcb4fe57e4bf83b7869ec24750eaac116e16df03 (patch) | |
| tree | e4fd370178500e43386572da5d62250ce430f7f8 /testsuite/tests/typecheck/should_fail/T5689.stderr | |
| parent | f28972a13e9e1a25a1102a4ccd5955b0a60bb243 (diff) | |
| download | haskell-fcb4fe57e4bf83b7869ec24750eaac116e16df03.tar.gz | |
Wibbles to error messages
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T5689.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T5689.stderr | 49 |
1 files changed, 39 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T5689.stderr b/testsuite/tests/typecheck/should_fail/T5689.stderr index ca4562eca4..4bd1210784 100644 --- a/testsuite/tests/typecheck/should_fail/T5689.stderr +++ b/testsuite/tests/typecheck/should_fail/T5689.stderr @@ -1,10 +1,39 @@ - -T5689.hs:10:36: - Couldn't match expected type `Bool' with actual type `t' - Relevant bindings include - r :: IORef (t -> t) (bound at T5689.hs:7:14) - v :: t (bound at T5689.hs:10:28) - In the expression: v - In the expression: if v then False else True - In the second argument of `writeIORef', namely - `(\ v -> if v then False else True)' +
+T5689.hs:10:36:
+ Couldn't match expected type `Bool' with actual type `t'
+ Relevant bindings include
+ r :: IORef (t -> t) (bound at T5689.hs:7:14)
+ v :: t (bound at T5689.hs:10:28)
+ In the expression: v
+ In the expression: if v then False else True
+ In the second argument of `writeIORef', namely
+ `(\ v -> if v then False else True)'
+
+T5689.hs:10:43:
+ Couldn't match expected type `t' with actual type `Bool'
+ Relevant bindings include
+ r :: IORef (t -> t) (bound at T5689.hs:7:14)
+ v :: t (bound at T5689.hs:10:28)
+ In the expression: False
+ In the expression: if v then False else True
+ In the second argument of `writeIORef', namely
+ `(\ v -> if v then False else True)'
+
+T5689.hs:10:54:
+ Couldn't match expected type `t' with actual type `Bool'
+ Relevant bindings include
+ r :: IORef (t -> t) (bound at T5689.hs:7:14)
+ v :: t (bound at T5689.hs:10:28)
+ In the expression: True
+ In the expression: if v then False else True
+ In the second argument of `writeIORef', namely
+ `(\ v -> if v then False else True)'
+
+T5689.hs:14:23:
+ Couldn't match expected type `t' with actual type `Bool'
+ Relevant bindings include
+ r :: IORef (t -> t) (bound at T5689.hs:7:14)
+ c :: t -> t (bound at T5689.hs:12:13)
+ In the first argument of `c', namely `True'
+ In the second argument of `($)', namely `c True'
+ In a stmt of a 'do' block: print $ c True
|