diff options
| author | Richard Eisenberg <eir@seas.upenn.edu> | 2013-12-02 13:12:36 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@seas.upenn.edu> | 2013-12-02 13:13:25 -0500 |
| commit | aba39d0056ab094f135ac00de47384926804cc3d (patch) | |
| tree | a9e09d62d7a8b0c907f00c99330b36649da3df8f /testsuite/tests/roles | |
| parent | 102fe6ac5cef680b022b155bb510fb6372da31a9 (diff) | |
| download | haskell-aba39d0056ab094f135ac00de47384926804cc3d.tar.gz | |
Wibbles to output caused by change in checking role annotations
Diffstat (limited to 'testsuite/tests/roles')
| -rw-r--r-- | testsuite/tests/roles/should_fail/Roles11.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/roles/should_fail/Roles5.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/roles/should_fail/Roles6.stderr | 11 |
3 files changed, 5 insertions, 12 deletions
diff --git a/testsuite/tests/roles/should_fail/Roles11.stderr b/testsuite/tests/roles/should_fail/Roles11.stderr index ee15f99185..55ef3bdd5b 100644 --- a/testsuite/tests/roles/should_fail/Roles11.stderr +++ b/testsuite/tests/roles/should_fail/Roles11.stderr @@ -1,5 +1,5 @@ -Roles11.hs:6:1: +Roles11.hs:5:1: Role mismatch on variable a: Annotation says representational but role nominal is required - In the data declaration for ‛T2’ + while checking a role annotation for ‛T2’ diff --git a/testsuite/tests/roles/should_fail/Roles5.stderr b/testsuite/tests/roles/should_fail/Roles5.stderr index c4907c89f6..20172ff260 100644 --- a/testsuite/tests/roles/should_fail/Roles5.stderr +++ b/testsuite/tests/roles/should_fail/Roles5.stderr @@ -2,10 +2,12 @@ Roles5.hs:7:1: Illegal role annotation for T; did you intend to use RoleAnnotations? + while checking a role annotation for ‛T’ Roles5.hs:8:1: Illegal role annotation for C; did you intend to use RoleAnnotations? + while checking a role annotation for ‛C’ Roles5.hs:9:1: Illegal role annotation for S; diff --git a/testsuite/tests/roles/should_fail/Roles6.stderr b/testsuite/tests/roles/should_fail/Roles6.stderr index 3cca04d2a6..9f09ab3528 100644 --- a/testsuite/tests/roles/should_fail/Roles6.stderr +++ b/testsuite/tests/roles/should_fail/Roles6.stderr @@ -1,15 +1,6 @@ -Roles6.hs:5:1: - Role mismatch on variable a: - Annotation says nominal but role representational is required - In the data declaration for ‛Foo’ - -Roles6.hs:5:1: - Role mismatch on variable b: - Annotation says representational but role nominal is required - In the data declaration for ‛Foo’ - Roles6.hs:7:1: Wrong number of roles listed in role annotation; Expected 2, got 3: type role Foo nominal representational phantom + while checking a role annotation for ‛Foo’ |