diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-04 18:55:13 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-04 18:55:13 +0100 |
| commit | c5806bf6928daebb89b126efffdc2e2a00927250 (patch) | |
| tree | 9be2d28075284c892ddc8b1cc0898fa585b8e769 /testsuite/tests/roles | |
| parent | 5863ce4eb6fe2d7143c483e78b478e25881c0160 (diff) | |
| download | haskell-c5806bf6928daebb89b126efffdc2e2a00927250.tar.gz | |
Error messsage wibblification
Diffstat (limited to 'testsuite/tests/roles')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles3.stderr | 28 | ||||
| -rw-r--r-- | testsuite/tests/roles/should_fail/Roles12.stderr | 20 |
2 files changed, 24 insertions, 24 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles3.stderr b/testsuite/tests/roles/should_compile/Roles3.stderr index 5a074179db..b18a5b5e86 100644 --- a/testsuite/tests/roles/should_compile/Roles3.stderr +++ b/testsuite/tests/roles/should_compile/Roles3.stderr @@ -2,27 +2,27 @@ TYPE SIGNATURES TYPE CONSTRUCTORS C1 :: * -> Constraint class C1 a - Roles: [representational] - RecFlag NonRecursive - meth1 :: a -> a + Roles: [representational] + RecFlag NonRecursive + meth1 :: a -> a C2 :: * -> * -> Constraint class C2 a b - Roles: [nominal, nominal] - RecFlag NonRecursive - meth2 :: (~) * a b -> a -> b + Roles: [nominal, nominal] + RecFlag NonRecursive + meth2 :: (~) * a b -> a -> b C3 :: * -> * -> Constraint class C3 a b - Roles: [representational, nominal] - RecFlag NonRecursive - type family F3 b :: * - meth3 :: a -> F3 b -> F3 b + Roles: [representational, nominal] + RecFlag NonRecursive + type family F3 b :: * (open) + meth3 :: a -> F3 b -> F3 b C4 :: * -> * -> Constraint class C4 a b - Roles: [representational, nominal] - RecFlag NonRecursive - meth4 :: a -> F4 b -> F4 b + Roles: [representational, nominal] + RecFlag NonRecursive + meth4 :: a -> F4 b -> F4 b F4 :: * -> * - type family F4 a :: * + type family F4 a :: * (open) Syn1 :: * -> * type Syn1 a = F4 a Syn2 :: * -> * diff --git a/testsuite/tests/roles/should_fail/Roles12.stderr b/testsuite/tests/roles/should_fail/Roles12.stderr index 42d63463e0..94f31f37f2 100644 --- a/testsuite/tests/roles/should_fail/Roles12.stderr +++ b/testsuite/tests/roles/should_fail/Roles12.stderr @@ -1,15 +1,15 @@ -Roles12.hs:5:6: +Roles12.hs:5:1: Type constructor âTâ has conflicting definitions in the module and its hs-boot file Main module: data T a - No C type associated - Roles: [phantom] - RecFlag Recursive, Promotable - = - FamilyInstance: none + No C type associated + Roles: [phantom] + RecFlag Recursive, Promotable + = + FamilyInstance: none Boot file: abstract(False) T a - No C type associated - Roles: [representational] - RecFlag NonRecursive, Not promotable - FamilyInstance: none + No C type associated + Roles: [representational] + RecFlag NonRecursive, Not promotable + FamilyInstance: none |