diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-02-09 12:34:51 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-02-09 12:34:51 +0000 |
| commit | a9500536d35ffa78eee65eecf82ae3b94f2bb70c (patch) | |
| tree | f5be92604b5453de20bbdbac1fea3bd7c2cee68f | |
| parent | 50cfc63edc4358de01cb9fff29a1019bdb654cce (diff) | |
| download | haskell-a9500536d35ffa78eee65eecf82ae3b94f2bb70c.tar.gz | |
Wibbles to test
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/AssocTyDef02.hs | 3 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/AssocTyDef02.stderr | 12 |
2 files changed, 8 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_fail/AssocTyDef02.hs b/testsuite/tests/typecheck/should_fail/AssocTyDef02.hs index 8f22d4ce1c..5db82037ba 100644 --- a/testsuite/tests/typecheck/should_fail/AssocTyDef02.hs +++ b/testsuite/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/testsuite/tests/typecheck/should_fail/AssocTyDef02.stderr b/testsuite/tests/typecheck/should_fail/AssocTyDef02.stderr index 920ae0acd9..2d1b439528 100644 --- a/testsuite/tests/typecheck/should_fail/AssocTyDef02.stderr +++ b/testsuite/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' - In the type synonym instance default declaration for `Typ' - In the class declaration for `Cls' +
+AssocTyDef02.hs:6:10:
+ Type indexes must match class instance head
+ Found `[b]' but expected `a'
+ In the type synonym instance default declaration for `Typ'
+ In the class declaration for `Cls'
|