Commit 73edd06a authored by simonpj's avatar simonpj
Browse files

[project @ 2001-12-03 11:53:10 by simonpj]

Update expected output
parent 8ba7f42d
./tcfail034.hs:17:
tcfail034.hs:17:
Could not deduce (Integral a) from the context (Num a, Eq a)
Probable fix:
Add (Integral a) to the type signature(s) for test
arising from use of `mod' at ./tcfail034.hs:17
Add (Integral a) to the type signature(s) for `test'
arising from use of `mod' at tcfail034.hs:17
In the first argument of `(==)', namely `(x `mod` 3)'
In the definition of `test': (x `mod` 3) == 0
./tcfail067.hs:60:
tcfail067.hs:60:
Could not deduce (Show (SubRange a)) from the context (Num a)
Probable fix:
Add (Show (SubRange a)) to the instance declaration context
Or add an instance declaration for (Show (SubRange a))
arising from the instance declaration at ./tcfail067.hs:60
arising from the instance declaration at tcfail067.hs:60
In the instance declaration for `Num (SubRange a)'
./tcfail067.hs:61:
tcfail067.hs:61:
Could not deduce (Ord a)
from the context (Num (SubRange a),
Num a,
......@@ -15,13 +15,13 @@
Show (SubRange a))
Probable fix:
Add (Ord a) to the instance declaration context
arising from use of `numSubRangeNegate' at ./tcfail067.hs:61
arising from use of `numSubRangeNegate' at tcfail067.hs:61
In the definition of `negate': numSubRangeNegate
./tcfail067.hs:74:
tcfail067.hs:74:
Could not deduce (Ord a) from the context (Num a)
Probable fix:
Add (Ord a) to the type signature(s) for numSubRangeBinOp
arising from use of `SubRange' at ./tcfail067.hs:74
Add (Ord a) to the type signature(s) for `numSubRangeBinOp'
arising from use of `SubRange' at tcfail067.hs:74
In the definition of `numSubRangeBinOp':
SubRange (result, result) result
./tcfail075.hs:9:
tcfail075.hs:9:
Top-level bindings for unlifted types aren't allowed: x = 1#
When generalising the type(s) for x
When generalising the type(s) for `x'
./tcfail075.hs:12:
tcfail075.hs:12:
Couldn't match `#' against `*'
When matching types `Int#' and `t'
Expected type: Int#
Inferred type: t
In the first argument of `(+#)', namely `x'
./tcfail075.hs:15:
tcfail075.hs:15:
Couldn't match `#' against `*'
When matching types `Int#' and `t'
Expected type: Int#
Inferred type: t
In the first argument of `(-#)', namely `x'
./tcfail075.hs:17:
tcfail075.hs:17:
Couldn't match `#' against `*'
When matching types `Int#' and `t'
Expected type: Int#
......
......@@ -5,6 +5,6 @@ tcfail076.hs:18:
It unifies with `res1', which is mentioned in the environment:
cont :: a -> m res1 (bound at tcfail076.hs:18)
Signature type: forall res. (a1 -> m1 res) -> m1 res
Type to generalise: (b -> m res1) -> m res1
Type to generalise: (a1 -> m res1) -> m res1
In the first argument of `KContT', namely `(\ cont' -> cont a)'
In a lambda abstraction: KContT (\ cont' -> cont a)
tcfail095.hs:9:
Top-level bindings for unlifted types aren't allowed: x = 1#
When generalising the type(s) for x
When generalising the type(s) for `x'
......@@ -2,7 +2,7 @@
tcfail102.hs:8:
Could not deduce (Integral (Ratio a)) from the context (Integral a)
Probable fix:
Add (Integral (Ratio a)) to the type signature(s) for f
Add (Integral (Ratio a)) to the type signature(s) for `f'
Or add an instance declaration for (Integral (Ratio a))
arising from a record update at tcfail102.hs:8
In the record update: x {p = p x}
......
......@@ -8,4 +8,4 @@ tcfail103.hs:14:
Signature type: forall t. ST t Int
Type to generalise: ST s Int
When checking the type signature for `f'
When generalising the type(s) for f
When generalising the type(s) for `f'
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