Commit 78b25ae2 authored by simonpj's avatar simonpj
Browse files

[project @ 2005-10-20 09:09:03 by simonpj]

Update output
parent c5ccfd5e
tc162.hs:16:8:
Couldn't match `forall s. Bug s a' against `Bug s a1'
When checking the pattern: Bug _
In the definition of `runBug': runBug (Bug _) = undefined
tc162.hs:21:9:
Couldn't match `forall s. BugN s a' against `BugN s a1'
When checking the pattern: BugN _
In the definition of `runBugN': runBugN (BugN _) = undefined
tc162.hs:26:7:
Couldn't match `forall a b. Foo a b' against `Foo a b'
When checking the pattern: Foo {foo = foo}
In the definition of `baz': baz s (Foo {foo = foo}) = putStrLn s
......@@ -3,6 +3,7 @@ tcfail067.hs:12:15:
No instance for (Ord a)
arising from use of `SubRange' at tcfail067.hs:12:15-43
Probable fix: add (Ord a) to the type signature(s) for `subRangeValue'
When checking the pattern: SubRange (lower, upper) value
In the definition of `subRangeValue':
subRangeValue (SubRange (lower, upper) value) = value
......@@ -10,12 +11,14 @@ tcfail067.hs:15:10:
No instance for (Ord a)
arising from use of `SubRange' at tcfail067.hs:15:10-25
Probable fix: add (Ord a) to the type signature(s) for `subRange'
When checking the pattern: SubRange r value
In the definition of `subRange': subRange (SubRange r value) = r
tcfail067.hs:46:11:
Could not deduce (Ord a) from the context (Show a)
arising from use of `SubRange' at tcfail067.hs:46:11-39
Probable fix: add (Ord a) to the type signature(s) for `showRange'
When checking the pattern: SubRange (lower, upper) value
In the definition of `showRange':
showRange (SubRange (lower, upper) value)
= (show value) ++ (" :" ++ ((show lower) ++ (".." ++ (show upper))))
......
......@@ -2,5 +2,6 @@
tcfail083.hs:8:38:
Constructor `Bar' does not have field `baz'
When checking the pattern: Bar {flag = f, baz = b}
When checking the pattern: State {bar = Bar {flag = f, baz = b}}
In the definition of `display':
display (State {bar = Bar {flag = f, baz = b}}) = print (f, b)
......@@ -4,15 +4,13 @@ tcfail104.hs:9:14:
Quantified type variable `a' escapes
Expected type: forall a1. a1 -> a1
Inferred type: a -> a
When checking the pattern: x :: forall a. a -> a
In a lambda abstraction: \ (x :: forall a. a -> a) -> x
In the definition of `f':
f v = (if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x)) id 'c'
tcfail104.hs:15:14:
Inferred type is less polymorphic than expected
Quantified type variable `a' escapes
Expected type: forall a1. a1 -> a1
Inferred type: a -> a
When checking the pattern: x :: forall a. a -> a
In a lambda abstraction: \ (x :: forall a. a -> a) -> x
In the definition of `g':
g v = (if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x)) id 'c'
tcfail124.hs:6:7:
Couldn't match `forall a. (Eq a) => [a]' against `[a]'
When checking the pattern: x : _
In the definition of `f1': f1 (xs@(x : _)) = x
tcfail124.hs:9:3:
......@@ -10,4 +11,5 @@ tcfail124.hs:9:3:
tcfail124.hs:12:4:
Couldn't match `forall a. (Eq a) => [a]' against `[a]'
When checking the pattern: x : []
In the definition of `f3': f3 (x : []) = x
......@@ -3,4 +3,5 @@ tcfail125.hs:11:3:
No instance for (Show a)
arising from use of `LiftObs' at tcfail125.hs:11:3-13
Probable fix: add (Show a) to the type signature(s) for `f'
When checking the pattern: LiftObs _ _
In the definition of `f': f (LiftObs _ _) = "yes"
tcfail126.hs:20:14:
Couldn't match `forall (m :: * -> *). (Monad m) => Bar m' against `Bar m'
When checking the pattern: Bar run op
When checking the pattern: Foo (Bar run op)
In the definition of `runProg': runProg (Foo (Bar run op)) = run (prog op)
......@@ -2,4 +2,5 @@
tcfail145.hs:9:5:
Couldn't match `forall a. [a] -> [a]' against `forall a. a -> a'
Polymorphic types must match exactly in patterns
When checking the pattern: f :: forall a. [a] -> [a]
In the definition of `foo': foo (f :: forall a. [a] -> [a]) = f undefined
tcrun026.hs:17:28:
Couldn't match `forall x. L x' against `L x'
When checking the pattern: L x
When checking the pattern: FA (L x)
In a case alternative: FA (L x) -> "foo" ++ x
In the case expression: case my_nil of FA (L x) -> "foo" ++ x
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment