Output needs to be updated, maybe?
=====> T2334(normal) 1591 of 2653 [0, 0, 0]
cd ./indexed-types/should_fail &&
'/64playpen/simonmar/validate/bindisttest/install dir/bin/ghc'
-fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output
-no-user-package-conf -rtsopts -c T233
4.hs >T2334.comp.stderr 2>&1
--- ./indexed-types/should_fail/GADTwrong1.stderr.normalised
2010-11-03 09:31:05.977017806 +0
000
+++ ./indexed-types/should_fail/GADTwrong1.comp.stderr.normalised
2010-11-03 09:31:05.9770
17806 +0000
@@ -1,6 +1,6 @@
GADTwrong1.hs:12:19:
- Couldn't match type `a1' with `b'
+ Could not deduce (a1 ~ b) from the context (Const b ~ Const a1)
`a1' is a rigid type variable bound by
a pattern with constructor T :: forall a. a -> T (Const a)
at GADTwrong1.hs:12:12
*** unexpected failure for GADTwrong1(normal)
Cheers,
Simon
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
