T9938 and T9939 failing
Edward Z. Yang
ezyang at mit.edu
Tue Jan 6 23:27:21 UTC 2015
Here's what I get, on a clean validate.
=====> T9939(normal) 2555 of 4389 [0, 0, 0]
cd ./typecheck/should_compile && '/home/hs01/ezyang/ghc-validate/inplace/bin/ghc-stage2' -fforc
e-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-warn-tabs -
fno-ghci-history -c T9939.hs -fno-warn-incomplete-patterns >T9939.comp.stderr 2>&1
Actual stderr output differs from expected:
--- ./typecheck/should_compile/T9939.stderr 2015-01-06 13:51:47.089376284 -0800
+++ ./typecheck/should_compile/T9939.comp.stderr 2015-01-06 15:24:39.923007911 -0800
@@ -1 +1,18 @@
\ No newline at end of file
+T9939.hs:5:7:
+ Redundant constraint: Eq a
+ In the type signature for: f1 :: (Eq a, Ord a) => a -> a -> Bool
+
+T9939.hs:9:7:
+ Redundant constraint: Eq a
+ In the type signature for: f2 :: (Eq a, Ord a) => a -> a -> Bool
+
+T9939.hs:13:7:
+ Redundant constraint: Eq b
+ In the type signature for:
+ f3 :: (Eq a, a ~ b, Eq b) => a -> b -> Bool
+
+T9939.hs:20:7:
+ Redundant constraint: Eq b
+ In the type signature for:
+ f4 :: (Eq a, Eq b) => a -> b -> Equal a b -> Bool
*** unexpected failure for T9939(normal)
=====> T9938(normal) 3401 of 4389 [0, 1, 0]
cd ./driver && $MAKE -s --no-print-directory T9938 </dev/null >T9938.run.stdout 2>T9938.run.
stderr
Wrong exit code (expected 0 , actual 2 )
Stdout:
Makefile:592: recipe for target 'T9938' failed
Stderr:
T9938.o: In function `r3Ho_info':
(.text+0x52): undefined reference to `transzuH9c1w14lEUN3zzdWCTsn8jG_ControlziMonadziTransziSta
teziLazzy_zdwzdcp1Alternative_info'
collect2: error: ld returned 1 exit status
make[3]: *** [T9938] Error 1
*** unexpected failure for T9938(normal)
Edward
More information about the ghc-devs
mailing list