Commit 112cafa2 authored by simonpj's avatar simonpj
Browse files

Track error message changes

parent a60b0f82
T4174.hs:42:12:
Couldn't match type `False' with `True'
Expected type: True
Actual type: GHC6'10 Minor1 :<=: GHCVersion (WayOf m)
In the expression: sync_large_objects
In an equation for `testcase': testcase = sync_large_objects
T4174.hs:42:12:
Could not deduce (a ~ SmStep) from the context (Monad m)
`a' is a rigid type variable bound by
the type signature for `testcase' at T4174.hs:41:60
In the expression: sync_large_objects
In an equation for `testcase': testcase = sync_large_objects
T4174.hs:42:12:
Could not deduce (b ~ RtsSpinLock) from the context (Monad m)
`b' is a rigid type variable bound by
the type signature for `testcase' at T4174.hs:41:62
In the expression: sync_large_objects
In an equation for `testcase': testcase = sync_large_objects
T4174.hs:42:12:
Could not deduce (p ~ True) from the context (Monad m)
`p' is a rigid type variable bound by
the type signature for `testcase' at T4174.hs:41:57
Expected type: True
Actual type: Threaded (WayOf m)
In the expression: sync_large_objects
In an equation for `testcase': testcase = sync_large_objects
T4174.hs:42:12:
Couldn't match type `False' with `True'
Expected type: True
Actual type: GHCVersion (WayOf m) :>=: GHC6'10 Minor1
In the expression: sync_large_objects
In an equation for `testcase': testcase = sync_large_objects
T4174.hs:42:12:
Could not deduce (a ~ SmStep) from the context (Monad m)
`a' is a rigid type variable bound by
the type signature for `testcase' at T4174.hs:41:60
In the expression: sync_large_objects
In an equation for `testcase': testcase = sync_large_objects
T4174.hs:42:12:
Could not deduce (b ~ RtsSpinLock) from the context (Monad m)
`b' is a rigid type variable bound by
the type signature for `testcase' at T4174.hs:41:62
In the expression: sync_large_objects
In an equation for `testcase': testcase = sync_large_objects
T4174.hs:42:12:
Could not deduce (p ~ True) from the context (Monad m)
`p' is a rigid type variable bound by
the type signature for `testcase' at T4174.hs:41:57
Expected type: True
Actual type: Threaded (WayOf m)
In the expression: sync_large_objects
In an equation for `testcase': testcase = sync_large_objects
tcfail016.hs:9:20:
Couldn't match expected type `Expr t'
with actual type `(t, Expr t)'
Expected type: Expr t
Actual type: AnnExpr t
In the first argument of `g', namely `e1'
In the first argument of `(++)', namely `(g e1)'
tcfail016.hs:9:20:
Couldn't match expected type `Expr t' with actual type `AnnExpr t'
In the first argument of `g', namely `e1'
In the first argument of `(++)', namely `(g e1)'
In the expression: (g e1) ++ (g e2)
tcfail186.hs:7:9:
Couldn't match expected type `Int' with actual type `[Char]'
Expected type: PhantomSyn a
Actual type: [Char]
In the first argument of `f', namely `"hoo"'
In the expression: f "hoo"
tcfail186.hs:7:9:
Couldn't match expected type `PhantomSyn a'
with actual type `[Char]'
In the first argument of `f', namely `"hoo"'
In the expression: f "hoo"
In an equation for `foo': foo = f "hoo"
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