[commit: testsuite] master: Wibbles to test (48d6d77)

Simon Peyton Jones simonpj at microsoft.com
Tue Feb 12 16:19:59 CET 2013


Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/48d6d779022a594d5f433ba0500eae2182b32981

>---------------------------------------------------------------

commit 48d6d779022a594d5f433ba0500eae2182b32981
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Sat Feb 9 12:34:51 2013 +0000

    Wibbles to test

>---------------------------------------------------------------

 tests/typecheck/should_fail/AssocTyDef02.hs     |    3 ++-
 tests/typecheck/should_fail/AssocTyDef02.stderr |    2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/tests/typecheck/should_fail/AssocTyDef02.hs b/tests/typecheck/should_fail/AssocTyDef02.hs
index 8f22d4c..5db8203 100644
--- a/tests/typecheck/should_fail/AssocTyDef02.hs
+++ b/tests/typecheck/should_fail/AssocTyDef02.hs
@@ -3,5 +3,6 @@ module AssocTyDef02 where
 
 class Cls a where
     type Typ a
-    type Typ b = Int
+    type Typ [b] = Int
       -- Default is not parametric in type class params
+
diff --git a/tests/typecheck/should_fail/AssocTyDef02.stderr b/tests/typecheck/should_fail/AssocTyDef02.stderr
index 920ae0a..2d1b439 100644
--- a/tests/typecheck/should_fail/AssocTyDef02.stderr
+++ b/tests/typecheck/should_fail/AssocTyDef02.stderr
@@ -1,6 +1,6 @@
 
 AssocTyDef02.hs:6:10:
     Type indexes must match class instance head
-    Found `b' but expected `a'
+    Found `[b]' but expected `a'
     In the type synonym instance default declaration for `Typ'
     In the class declaration for `Cls'





More information about the ghc-commits mailing list