Hi all,
There are currently 3 test failures when validating:
typecheck/should_compile T4361 [exit code non-0] (normal)
typecheck/should_fail tcfail181 [stderr mismatch] (normal)
typecheck/should_fail tcfail189 [stderr mismatch] (normal)
Does anyone know what's going on?
=====> tcfail181(normal) 1136 of 3367 [0, 0, 0]
cd ./typecheck/should_fail && '/home/ian/ghc/git/ghc/inplace/bin/ghc-stage2'
-fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db
-rtsopts -fno-ghci-history -c tcfail181.hs >tcfail181.comp.stderr 2>&1
Actual stderr output differs from expected:
--- ./typecheck/should_fail/tcfail181.stderr 2012-03-11 10:53:06.000000000
+0000
+++ ./typecheck/should_fail/tcfail181.comp.stderr 2012-06-23
14:18:11.000000000 +0100
@@ -1,7 +1,10 @@
tcfail181.hs:17:9:
- No instance for (Monad m0)
- arising from a use of `foo'
+ Could not deduce (Monad m0) arising from a use of `foo'
+ from the context (Monad m)
+ bound by the inferred type of
+ wog :: Monad m => t -> Something (m Bool) e
+ at tcfail181.hs:17:1-30
The type variable `m0' is ambiguous
Possible fix: add a type signature that fixes these type variable(s)
Note: there are several potential instances:
*** unexpected failure for tcfail181(normal)
=====> tcfail189(normal) 1144 of 3367 [0, 1, 0]
cd ./typecheck/should_fail && '/home/ian/ghc/git/ghc/inplace/bin/ghc-stage2'
-fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db
-rtsopts -fno-ghci-history -c tcfail189.hs >tcfail189.comp.stderr 2>&1
Actual stderr output differs from expected:
--- ./typecheck/should_fail/tcfail189.stderr 2012-01-12 20:42:25.000000000
+0000
+++ ./typecheck/should_fail/tcfail189.comp.stderr 2012-06-23
14:18:11.000000000 +0100
@@ -1,4 +1,33 @@
+tcfail189.hs:9:14:
+ No instance for (Enum a1)
+ arising from the arithmetic sequence `1 .. 10'
+ The type variable `a1' is ambiguous
+ Possible fix: add a type signature that fixes these type variable(s)
+ Note: there are several potential instances:
+ instance Enum Double -- Defined in `GHC.Float'
+ instance Enum Float -- Defined in `GHC.Float'
+ instance Integral a => Enum (GHC.Real.Ratio a)
+ -- Defined in `GHC.Real'
+ ...plus 7 others
+ In the expression: [1 .. 10]
+ In a stmt of a list comprehension: x <- [1 .. 10]
+ In a stmt of a list comprehension: then group by x using take 2
+
+tcfail189.hs:9:15:
+ No instance for (Num a1) arising from the literal `1'
+ The type variable `a1' is ambiguous
+ Possible fix: add a type signature that fixes these type variable(s)
+ Note: there are several potential instances:
+ instance Num Double -- Defined in `GHC.Float'
+ instance Num Float -- Defined in `GHC.Float'
+ instance Integral a => Num (GHC.Real.Ratio a)
+ -- Defined in `GHC.Real'
+ ...plus three others
+ In the expression: 1
+ In the expression: [1 .. 10]
+ In a stmt of a list comprehension: x <- [1 .. 10]
+
tcfail189.hs:10:31:
Couldn't match type `[a0]' with `a -> a1'
Expected type: (a -> a1) -> [a] -> [[a]]
*** unexpected failure for tcfail189(normal)
=====> T4361(normal) 1512 of 3367 [0, 2, 0]
cd ./typecheck/should_compile && '/home/ian/ghc/git/ghc/inplace/bin/ghc-stage2'
-fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db
-rtsopts -fno-ghci-history -c T4361.hs -fno-warn-incomplete-patterns
>T4361.comp.stderr 2>&1
Compile failed (status 256) errors were:
T4361.hs:20:26:
Could not deduce (EuclideanRing a)
arising from a use of `upLinSolvRing'
from the context (LinSolvRing (Pol a), CommutativeRing a)
bound by the type signature for
moduloBasisx :: (LinSolvRing (Pol a), CommutativeRing a) =>
Pol a -> ()
at T4361.hs:19:17-71
Possible fix:
add (EuclideanRing a) to the context of
the type signature for
moduloBasisx :: (LinSolvRing (Pol a), CommutativeRing a) =>
Pol a -> ()
In the expression: upLinSolvRing p
In an equation for `x': x = upLinSolvRing p
In the expression: let x = upLinSolvRing p in ()
*** unexpected failure for T4361(normal)
Thanks
Ian
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
