Commit c2b61cd3 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Accept output

parent eb07a21e
T2688.hs:8:16:
Couldn't match type `v' with `s'
`v' is a rigid type variable bound by
the class declaration for `VectorSpace' at T2688.hs:5:19
T2688.hs:8:22:
Couldn't match type `s' with `v'
`s' is a rigid type variable bound by
the class declaration for `VectorSpace' at T2688.hs:5:21
`v' is a rigid type variable bound by
the class declaration for `VectorSpace' at T2688.hs:5:19
In the second argument of `(/)', namely `s'
In the second argument of `(*^)', namely `(1 / s)'
In the expression: v *^ (1 / s)
In an equation for `^/': v ^/ s = v *^ (1 / s)
......@@ -123,7 +123,7 @@ test('tcfail135', normal, compile_fail, [''])
test('tcfail136', normal, compile_fail, [''])
test('tcfail137', normal, compile_fail, [''])
test('tcfail138', normal, compile_fail, [''])
test('tcfail138', normal, compile, [''])
# Now fails; see notes in file
test('tcfail139', normal, compile_fail, [''])
......
......@@ -14,17 +14,3 @@ tcfail122.hs:8:9:
foo
= [undefined :: forall a b. a b,
undefined :: forall c :: ((* -> *) -> *) d :: (* -> *). c d]
tcfail122.hs:8:9:
Kind incompatibility when matching types:
d :: * -> *
b :: *
In the expression:
undefined :: forall c :: ((* -> *) -> *) d :: (* -> *). c d
In the expression:
[undefined :: forall a b. a b,
undefined :: forall c :: ((* -> *) -> *) d :: (* -> *). c d]
In an equation for `foo':
foo
= [undefined :: forall a b. a b,
undefined :: forall c :: ((* -> *) -> *) d :: (* -> *). c d]
......@@ -6,11 +6,3 @@ tcfail123.hs:11:10:
In the first argument of `f', namely `3#'
In the expression: f 3#
In the expression: (f 3#, f 4.3#, f True)
tcfail123.hs:11:16:
Kind incompatibility when matching types:
t :: *
GHC.Prim.Float# :: #
In the first argument of `f', namely `4.3#'
In the expression: f 4.3#
In the expression: (f 3#, f 4.3#, f True)
tcfail138.hs:35:10:
Couldn't match type `b'' with `b'
because this skolem type variable would escape: `b'
This skolem is bound by the instance declaration
In the instance declaration for `C (Maybe a) a'
-- Checks that the types of the old binder and the binder implicitly introduced by grouping are linked
-- Checks that the types of the old binder and the binder
-- implicitly introduced by grouping are linked
{-# OPTIONS_GHC -XTransformListComp #-}
......
tcfail192.hs:7:11:
No instance for (Num [[Char]])
arising from a use of `+'
Possible fix: add an instance declaration for (Num [[Char]])
In the expression: x + 1
In the expression:
[x + 1 | x <- ["Hello", "World"], then group using take 5]
In an equation for `foo':
foo = [x + 1 | x <- ["Hello", "World"], then group using take 5]
tcfail192.hs:9:26:
Occurs check: cannot construct the infinite type: a = [a]
In the expression: take 5
In a stmt of a list comprehension: then group using take 5
In the expression:
[x + 1 | x <- ["Hello", "World"], then group using take 5]
[x + 1 | x <- ["Hello", "World"], then group using take 5]
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}
-- Hugs (2001) diverges when evaluating main, unless (Monad m) is
-- added as an extra superclass to C2, which should not be necessary.
......
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