Commit bea137eb authored by simonpj's avatar simonpj
Browse files

[project @ 2003-01-24 13:25:46 by simonpj]

Update expected output
parent 02b37d70
......@@ -4,7 +4,7 @@ tcfail008.hs:3:
arising from the literal `2' at tcfail008.hs:3
Possible cause: the monomorphism restriction applied to the following:
o :: [a] (bound at tcfail008.hs:3)
Probable fix: give these definitions an explicit type signature
Probable fix: give these definition(s) an explicit type signature
In the second argument of `(:)', namely `2'
In a right-hand side of function `o': 1 : 2
In the definition of `o': o = 1 : 2
......@@ -4,6 +4,6 @@ tcfail018.hs:5:
arising from the literal `1' at tcfail018.hs:5
Possible cause: the monomorphism restriction applied to the following:
a :: a (bound at tcfail018.hs:5)
Probable fix: give these definitions an explicit type signature
Probable fix: give these definition(s) an explicit type signature
In the right-hand side of a pattern binding: 1
In a pattern binding: (a : []) = 1
......@@ -4,4 +4,4 @@ tcfail043.hs:15:
`Ord_ a' arising from use of `gt' at tcfail043.hs:38
Possible cause: the monomorphism restriction applied to the following:
search :: a -> [a] -> Bool (bound at tcfail043.hs:38)
Probable fix: give these definitions an explicit type signature
Probable fix: give these definition(s) an explicit type signature
......@@ -4,6 +4,6 @@ tcfail093.hs:14:
arising from use of `call' at tcfail093.hs:14
Possible cause: the monomorphism restriction applied to the following:
dup :: () -> Int -> h (bound at tcfail093.hs:14)
Probable fix: give these definitions an explicit type signature
Probable fix: give these definition(s) an explicit type signature
In a right-hand side of function `dup': call primDup
In the definition of `dup': dup () = call primDup
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