Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/f56ce83e2c974049d408cbca329aec15f19f8997 >--------------------------------------------------------------- commit f56ce83e2c974049d408cbca329aec15f19f8997 Author: Simon Peyton Jones <simo...@microsoft.com> Date: Fri Oct 19 02:28:28 2012 +0100 Comments and consequential line number changes >--------------------------------------------------------------- tests/indexed-types/should_fail/T7010.hs | 9 +++++++++ tests/indexed-types/should_fail/T7010.stderr | 2 +- 2 files changed, 10 insertions(+), 1 deletions(-) diff --git a/tests/indexed-types/should_fail/T7010.hs b/tests/indexed-types/should_fail/T7010.hs index 1d3d627..1c2b3ed 100644 --- a/tests/indexed-types/should_fail/T7010.hs +++ b/tests/indexed-types/should_fail/T7010.hs @@ -28,6 +28,15 @@ processIO = undefined phoneme :: (Vector, Vector) phoneme = processIO stereoFromMono +{- + + ( MakeValueTuple Vector = MakeValueTuple (Serial Float) + , ValueTuple Vector ~ ValueTuple Vector (agf)) + +--> MakeValueTuple Float +--> <solved> +-} + withArgs :: (MakeValueTuple b) => diff --git a/tests/indexed-types/should_fail/T7010.stderr b/tests/indexed-types/should_fail/T7010.stderr index 6f620c7..3d05973 100644 --- a/tests/indexed-types/should_fail/T7010.stderr +++ b/tests/indexed-types/should_fail/T7010.stderr @@ -1,5 +1,5 @@ -T7010.hs:44:27: +T7010.hs:53:27: Couldn't match type `Serial (IO Float)' with `IO Float' Expected type: (Float, ValueTuple Vector) Actual type: (Float, ValueTuple Float) _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
