Commit a86935bd authored by rwbarton's avatar rwbarton Committed by Krzysztof Gogolewski
Browse files

Update role annotation syntax in TcCoercible

parent ab86ebd2
......@@ -8,7 +8,8 @@ newtype Foo = Foo Age deriving Show
newtype Bar = Bar Age deriving Show
newtype Baz = Baz Bar deriving Show
data Map a@N b = Map a b deriving Show
type role Map nominal representational
data Map a b = Map a b deriving Show
main = do
print (coerce $ one :: Age)
Supports Markdown
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