Commit db79f82d authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

Error msg wibbles due to VECTORISE patch

parent 5ea6c199
annfail10.hs:9:11:
annfail10.hs:9:1:
Ambiguous type variable `a0' in the constraints:
(Num a0) arising from the literal `1' at annfail10.hs:9:11
(Data.Data.Data a0) arising from an annotation
at annfail10.hs:9:1-15
(Num a0) arising from the literal `1' at annfail10.hs:9:11
Probable fix: add a type signature that fixes these type variable(s)
In the expression: 1
In the annotation: {-# ANN f 1 #-}
TYPE SIGNATURES
emptyL :: forall a. ListColl a
test2 :: forall c t t1.
(Elem c ~ (t, t1), Coll c, Num t1, Num t) =>
(Num t, Num t1, Coll c, Elem c ~ (t, t1)) =>
c -> c
TYPE CONSTRUCTORS
data ListColl a
......
T2544.hs:15:12:
Could not deduce (IxMap l ~ IxMap i0)
from the context (Ix l, Ix r)
bound by the instance declaration at T2544.hs:13:10-37
NB: `IxMap' is a type function, and may not be injective
Expected type: IxMap (l :|: r) [Int]
Actual type: BiApp (IxMap i0) (IxMap r) [Int]
In the return type of a call of `BiApp'
In the expression: BiApp empty empty
In an equation for `empty': empty = BiApp empty empty
T2544.hs:15:24:
Could not deduce (IxMap i1 ~ IxMap r)
from the context (Ix l, Ix r)
bound by the instance declaration at T2544.hs:13:10-37
NB: `IxMap' is a type function, and may not be injective
Expected type: IxMap r [Int]
Actual type: IxMap i1 [Int]
In the second argument of `BiApp', namely `empty'
In the expression: BiApp empty empty
In an equation for `empty': empty = BiApp empty empty
T2544.hs:15:18:
Could not deduce (IxMap i0 ~ IxMap l)
from the context (Ix l, Ix r)
bound by the instance declaration at T2544.hs:13:10-37
NB: `IxMap' is a type function, and may not be injective
Expected type: IxMap l [Int]
Actual type: IxMap i0 [Int]
In the first argument of `BiApp', namely `empty'
In the expression: BiApp empty empty
In an equation for `empty': empty = BiApp empty empty
T2544.hs:15:24:
Could not deduce (IxMap i1 ~ IxMap r)
from the context (Ix l, Ix r)
bound by the instance declaration at T2544.hs:13:10-37
NB: `IxMap' is a type function, and may not be injective
Expected type: IxMap r [Int]
Actual type: IxMap i1 [Int]
In the second argument of `BiApp', namely `empty'
In the expression: BiApp empty empty
In an equation for `empty': empty = BiApp empty empty
T3330a.hs:17:34:
Couldn't match type `ix'
with `r ix1 -> Writer [AnyF ((->) (s0 ix0 -> ix1))] (r'0 ix1)'
`ix' is a rigid type variable bound by
the type signature for children :: s ix -> PF s r ix -> [AnyF s]
at T3330a.hs:17:1
Expected type: r ix1 -> Writer [AnyF s] (r'0 ix1)
Actual type: ix
Expected type: (s0 ix0 -> ix1)
-> r ix1
-> Writer [AnyF s] (r'0 ix1)
Actual type: s ix
In the first argument of `hmapM', namely `p'
In the first argument of `execWriter', namely `(hmapM p collect x)'
T3330a.hs:17:34:
Couldn't match type `s' with `(->) (s0 ix0 -> ix1)'
Couldn't match type `s' with `(->) (s ix1 -> ix1)'
`s' is a rigid type variable bound by
the type signature for children :: s ix -> PF s r ix -> [AnyF s]
at T3330a.hs:17:1
Expected type: (s0 ix0 -> ix1)
-> r ix1
-> Writer [AnyF s] (r'0 ix1)
Actual type: s ix
In the first argument of `hmapM', namely `p'
In the first argument of `execWriter', namely `(hmapM p collect x)'
In the expression: execWriter (hmapM p collect x)
T3330a.hs:17:44:
Couldn't match type `ix' with `r0 ix0 -> Writer [AnyF s0] (r0 ix0)'
`ix' is a rigid type variable bound by
the type signature for children :: s ix -> PF s r ix -> [AnyF s]
at T3330a.hs:17:1
Expected type: PF s r (r0 ix0 -> Writer [AnyF s0] (r0 ix0))
Actual type: PF s r ix
In the third argument of `hmapM', namely `x'
In the first argument of `execWriter', namely `(hmapM p collect x)'
In the expression: execWriter (hmapM p collect x)
T3330c.hs:23:43:
Couldn't match type `Der ((->) x)' with `R'
In the first argument of `plug', namely `rf'
In the first argument of `Inl', namely `(plug rf df x)'
In the expression: Inl (plug rf df x)
T3330c.hs:23:43:
Couldn't match type `f1' with `f1 x'
`f1' is a rigid type variable bound by
......@@ -16,3 +10,9 @@ T3330c.hs:23:43:
In the first argument of `plug', namely `rf'
In the first argument of `Inl', namely `(plug rf df x)'
In the expression: Inl (plug rf df x)
T3330c.hs:23:43:
Couldn't match type `Der ((->) x)' with `R'
In the first argument of `plug', namely `rf'
In the first argument of `Inl', namely `(plug rf df x)'
In the expression: Inl (plug rf df x)
T4099.hs:11:14:
Couldn't match type `T a0' with `T b'
Couldn't match type `T b' with `T a0'
NB: `T' is a type function, and may not be injective
In the first argument of `foo', namely `x'
In the expression: foo x
......
T4179.hs:26:16:
Could not deduce (A3 (x (A2 (FCon x) -> A3 (FCon x)))
~
A3 (FCon x))
Could not deduce (DoC (x (A2 (FCon x) -> A3 (FCon x))))
arising from a use of `op'
from the context (Functor x, DoC (FCon x))
bound by the type signature for
fCon :: (Functor x, DoC (FCon x)) =>
Con x -> A2 (FCon x) -> A3 (FCon x)
at T4179.hs:26:1-17
NB: `A3' is a type function, and may not be injective
Expected type: A2 (FCon x) -> A3 (FCon x)
Actual type: A2 (x (A2 (FCon x) -> A3 (FCon x)))
-> A3 (x (A2 (FCon x) -> A3 (FCon x)))
Expected type: x (A2 (FCon x) -> A3 (FCon x))
-> A2 (FCon x)
-> A3 (FCon x)
Actual type: x (A2 (FCon x) -> A3 (FCon x))
-> A2 (x (A2 (FCon x) -> A3 (FCon x)))
-> A3 (x (A2 (FCon x) -> A3 (FCon x)))
Possible fix:
add (DoC (x (A2 (FCon x) -> A3 (FCon x)))) to the context of
the type signature for
fCon :: (Functor x, DoC (FCon x)) =>
Con x -> A2 (FCon x) -> A3 (FCon x)
or add an instance declaration for
(DoC (x (A2 (FCon x) -> A3 (FCon x))))
In the first argument of `foldDoC', namely `op'
In the expression: foldDoC op
In an equation for `fCon': fCon = foldDoC op
T4179.hs:26:16:
Could not deduce (A2 (x (A2 (FCon x) -> A3 (FCon x)))
......@@ -44,20 +41,23 @@ T4179.hs:26:16:
In the expression: foldDoC op
T4179.hs:26:16:
Could not deduce (DoC (x (A2 (FCon x) -> A3 (FCon x))))
arising from a use of `op'
Could not deduce (A3 (x (A2 (FCon x) -> A3 (FCon x)))
~
A3 (FCon x))
from the context (Functor x, DoC (FCon x))
bound by the type signature for
fCon :: (Functor x, DoC (FCon x)) =>
Con x -> A2 (FCon x) -> A3 (FCon x)
at T4179.hs:26:1-17
Possible fix:
add (DoC (x (A2 (FCon x) -> A3 (FCon x)))) to the context of
the type signature for
fCon :: (Functor x, DoC (FCon x)) =>
Con x -> A2 (FCon x) -> A3 (FCon x)
or add an instance declaration for
(DoC (x (A2 (FCon x) -> A3 (FCon x))))
NB: `A3' is a type function, and may not be injective
Expected type: A2 (FCon x) -> A3 (FCon x)
Actual type: A2 (x (A2 (FCon x) -> A3 (FCon x)))
-> A3 (x (A2 (FCon x) -> A3 (FCon x)))
Expected type: x (A2 (FCon x) -> A3 (FCon x))
-> A2 (FCon x)
-> A3 (FCon x)
Actual type: x (A2 (FCon x) -> A3 (FCon x))
-> A2 (x (A2 (FCon x) -> A3 (FCon x)))
-> A3 (x (A2 (FCon x) -> A3 (FCon x)))
In the first argument of `foldDoC', namely `op'
In the expression: foldDoC op
In an equation for `fCon': fCon = foldDoC op
......@@ -16,11 +16,10 @@ rebindable6.hs:106:17:
return b }
rebindable6.hs:107:17:
No instance for (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0))
No instance for (HasFail ([Prelude.Char] -> t1))
arising from a do statement
Possible fix:
add an instance declaration for
(HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0))
add an instance declaration for (HasFail ([Prelude.Char] -> t1))
In a stmt of a 'do' expression: Just (b :: b) <- g
In the expression:
do { f;
......@@ -33,10 +32,11 @@ rebindable6.hs:107:17:
return b }
rebindable6.hs:107:17:
No instance for (HasFail ([Prelude.Char] -> t1))
No instance for (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0))
arising from a do statement
Possible fix:
add an instance declaration for (HasFail ([Prelude.Char] -> t1))
add an instance declaration for
(HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0))
In a stmt of a 'do' expression: Just (b :: b) <- g
In the expression:
do { f;
......
......@@ -56,7 +56,8 @@ FrozenErrorTests.hs:52:15:
In an equation for `test4': test4 = goo4 (goo3 False undefined)
FrozenErrorTests.hs:53:9:
Couldn't match type `T2 c0' with `M'
Occurs check: cannot construct the infinite type:
c0 = T2 (T2 c0 c0) c0
In the expression: goo3 False (goo4 undefined)
In an equation for `test5': test5 = goo3 False (goo4 undefined)
......@@ -67,7 +68,6 @@ FrozenErrorTests.hs:53:9:
In an equation for `test5': test5 = goo3 False (goo4 undefined)
FrozenErrorTests.hs:53:9:
Occurs check: cannot construct the infinite type:
c0 = T2 (T2 c0 c0) c0
Couldn't match type `T2 c0' with `M'
In the expression: goo3 False (goo4 undefined)
In an equation for `test5': test5 = goo3 False (goo4 undefined)
tcfail019.hs:18:10:
No instances for (B [a], C [a])
arising from the superclasses of an instance declaration
Possible fix: add instance declarations for (B [a], C [a])
In the instance declaration for `D [a]'
tcfail019.hs:18:10:
No instances for (C [a], B [a])
arising from the superclasses of an instance declaration
Possible fix: add instance declarations for (C [a], B [a])
In the instance declaration for `D [a]'
tcfail043.hs:40:25:
tcfail043.hs:38:17:
Ambiguous type variable `a0' in the constraints:
(Eq_ a0) arising from a use of `eq' at tcfail043.hs:40:25-26
(Ord_ a0) arising from a use of `gt' at tcfail043.hs:38:17-18
(Eq_ a0) arising from a use of `eq' at tcfail043.hs:40:25-26
Possible cause: the monomorphism restriction applied to the following:
search :: a0 -> [a0] -> Bool (bound at tcfail043.hs:37:1)
Probable fix: give these definition(s) an explicit type signature
or use -XNoMonomorphismRestriction
In the expression: eq a (hd bs)
In the expression: if eq a (hd bs) then True else search a (tl bs)
In the expression: gt (hd bs) a
In the expression:
if gt (hd bs) a then
False
else
if eq a (hd bs) then True else search a (tl bs)
In the expression:
\ a bs
-> if gt (hd bs) a then
False
else
if eq a (hd bs) then True else search a (tl bs)
tcfail171.hs:9:10:
No instances for (PrintfArg a, PrintfType b)
arising from a use of `printf'
In the expression: printf "0x%x" x
In an equation for `phex': phex x = printf "0x%x" x
tcfail171.hs:9:10:
No instances for (PrintfType b, PrintfArg a)
arising from a use of `printf'
In the expression: printf "0x%x" x
In an equation for `phex': phex x = printf "0x%x" x
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