Commit aba39d00 authored by Richard Eisenberg's avatar Richard Eisenberg
Browse files

Wibbles to output caused by change in checking role annotations

parent 102fe6ac
gadt11.hs:12:3: gadt11.hs:12:3:
Data constructor ‛L2’ returns type ‛T1 Bool’ Data constructor ‛L2’ returns type ‛T1 Bool’
instead of an instance of its parent type ‛T2’ instead of an instance of its parent type ‛T2 a
In the definition of data constructor ‛L2’ In the definition of data constructor ‛L2’
In the data declaration for ‛T2’ In the data declaration for ‛T2’
T8368.hs:9:3: T8368.hs:9:3:
Data constructor ‛MkFam’ returns type ‛Foo’ Data constructor ‛MkFam’ returns type ‛Foo’
instead of an instance of its parent type ‛Fam’ instead of an instance of its parent type ‛Fam a
In the definition of data constructor ‛MkFam’ In the definition of data constructor ‛MkFam’
In the data instance declaration for ‛Fam’ In the data instance declaration for ‛Fam’
Roles11.hs:6:1: Roles11.hs:5:1:
Role mismatch on variable a: Role mismatch on variable a:
Annotation says representational but role nominal is required Annotation says representational but role nominal is required
In the data declaration for ‛T2’ while checking a role annotation for ‛T2’
...@@ -2,10 +2,12 @@ ...@@ -2,10 +2,12 @@
Roles5.hs:7:1: Roles5.hs:7:1:
Illegal role annotation for T; Illegal role annotation for T;
did you intend to use RoleAnnotations? did you intend to use RoleAnnotations?
while checking a role annotation for ‛T’
Roles5.hs:8:1: Roles5.hs:8:1:
Illegal role annotation for C; Illegal role annotation for C;
did you intend to use RoleAnnotations? did you intend to use RoleAnnotations?
while checking a role annotation for ‛C’
Roles5.hs:9:1: Roles5.hs:9:1:
Illegal role annotation for S; Illegal role annotation for S;
......
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: Roles6.hs:7:1:
Wrong number of roles listed in role annotation; Wrong number of roles listed in role annotation;
Expected 2, got 3: Expected 2, got 3:
type role Foo nominal representational phantom type role Foo nominal representational phantom
while checking a role annotation for ‛Foo’
...@@ -2,3 +2,4 @@ ...@@ -2,3 +2,4 @@
TH_Roles1.hs:7:4: TH_Roles1.hs:7:4:
Illegal role annotation for T; Illegal role annotation for T;
did you intend to use RoleAnnotations? did you intend to use RoleAnnotations?
while checking a role annotation for ‛T’
T7175.hs:8:4: T7175.hs:8:4:
Data constructor ‛G1C’ returns type ‛F Int’ Data constructor ‛G1C’ returns type ‛F Int’
instead of an instance of its parent type ‛G1’ instead of an instance of its parent type ‛G1 a
In the definition of data constructor ‛G1C’ In the definition of data constructor ‛G1C’
In the data declaration for ‛G1’ In the data declaration for ‛G1’
tcfail155.hs:8:6: tcfail155.hs:8:6:
Data constructor ‛P’ returns type ‛L2’ Data constructor ‛P’ returns type ‛L2’
instead of an instance of its parent type ‛T’ instead of an instance of its parent type ‛T a
In the definition of data constructor ‛P’ In the definition of data constructor ‛P’
In the data declaration for ‛T’ In the data declaration for ‛T’
tcfail176.hs:7:21: tcfail176.hs:7:21:
Data constructor ‛Bug’ returns type ‛Maybe a’ Data constructor ‛Bug’ returns type ‛Maybe a’
instead of an instance of its parent type ‛Bug’ instead of an instance of its parent type ‛Bug a
In the definition of data constructor ‛Bug’ In the definition of data constructor ‛Bug’
In the newtype declaration for ‛Bug’ In the newtype declaration for ‛Bug’
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment