Commit 55367ee4 authored by simonpj's avatar simonpj
Browse files

[project @ 2002-10-01 10:05:13 by simonpj]

Update expected output
parent f2c5a969
......@@ -3,4 +3,5 @@ cc001.hs:5:
Ambiguous type variable(s) `t'
in the constraint `GHC.Prim.CCallable t'
arising from an argument in the _ccall_ to `foo', namely `(undefined ())' at cc001.hs:5
In the definition of `f': _ccall_ foo (undefined ())
In a right-hand side of function `f': _ccall_ foo (undefined ())
In the definition of `f': f = _ccall_ foo (undefined ())
cc004.hs:8:
Ambiguous type variable(s) `a' in the constraint `Num a'
arising from use of `+' at cc004.hs:8
In the first argument of `return', namely `(a + 1)'
In the body of a lambda: return (a + 1)
cc004.hs:8:
Ambiguous type variable(s) `a'
in the constraint `GHC.Prim.CReturnable a'
arising from the result of the _ccall_ to `f' at cc004.hs:8
In the first argument of `thenADR', namely `_ccall_ f'
In the definition of `foo':
In a right-hand side of function `foo':
(_ccall_ f) `thenADR` (\ a -> return (a + 1))
cc004.hs:8:
cc004.hs:15:
Ambiguous type variable(s) `a' in the constraint `Num a'
arising from the literal `1' at cc004.hs:8
In the second argument of `(+)', namely `1'
arising from use of `+' at cc004.hs:15
In the first argument of `return', namely `(a + 1)'
In the body of a lambda: return (a + 1)
cc004.hs:15:
Ambiguous type variable(s) `a'
in the constraint `GHC.Prim.CReturnable a'
arising from the result of the _ccall_ to `f' at cc004.hs:15
In the first argument of `thenADR', namely `_ccall_ f'
In the definition of `bar':
In a right-hand side of function `bar':
(_ccall_ f) `thenADR` (\ a -> return (a + 1))
cc004.hs:15:
Ambiguous type variable(s) `a' in the constraint `Num a'
arising from the literal `1' at cc004.hs:15
In the second argument of `(+)', namely `1'
In the first argument of `return', namely `(a + 1)'
read014.hs:4: Warning: Definition but no type signature for `ng1'
read014.hs:4: Warning: Defined but not used: x
read014.hs:4: Warning: Definition but no type signature for `ng1'
read014.hs:6:
Warning: No explicit method nor default method for `*'
In the instance declaration for `Num (a, b)'
......
read001.hs:5: Unknown module in export list: module `OneC'
read001.hs:5: Type constructor or class not in scope: `FooDataC'
read001.hs:25: Variable not in scope: `+#'
read001.hs:38: Type constructor or class not in scope: `EqLeaf'
......
......@@ -3,4 +3,11 @@ read003.hs:4:
Occurs check: cannot construct the infinite type: t = (t, [a], t1)
Expected type: (t, [a], t1)
Inferred type: t
In a pattern binding: a
In the right-hand side of a pattern binding: a
In a pattern binding:
~(a, b, c)
| nullity b = a
| nullity c = a
| otherwise = a
where
nullity = null
start test test_do failure
++ >>
++ >>=
++ fail
-- fail
-- >>=
-- >>
end test test_do failure
start test test_do success
++ >>
++ >>=
++ return
-- return
-- >>=
-- >>
end test test_do success
start test test_fromInteger
135
end test test_fromInteger
start test test_fromRational
189 % 2
end test test_fromRational
start test test_negate
15
end test test_negate
start test test_fromInteger_pattern 1
1=5
end test test_fromInteger_pattern 1
start test test_fromInteger_pattern (-2)
(-2)=10
end test test_fromInteger_pattern (-2)
start test test_fromInteger_pattern 9
(a + 7)=35
end test test_fromInteger_pattern 9
start test test_fromRational_pattern 0.5
0.5=3 % 2
end test test_fromRational_pattern 0.5
start test test_fromRational_pattern (-0.7)
(-0.7)=21 % 10
end test test_fromRational_pattern (-0.7)
start test test_fromRational_pattern 1.7
_=51 % 10
end test test_fromRational_pattern 1.7
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