[commit: testsuite] master: Update role annotation syntax in TcCoercible (a40386c)
git at git.haskell.org
git at git.haskell.org
Mon Sep 30 13:01:17 CEST 2013
Repository : ssh://git@git.haskell.org/testsuite
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/a40386c421cf412cf371ac966a2c46dbc5445408/testsuite
>---------------------------------------------------------------
commit a40386c421cf412cf371ac966a2c46dbc5445408
Author: Reid Barton <rwbarton at gmail.com>
Date: Sun Sep 29 19:05:35 2013 -0400
Update role annotation syntax in TcCoercible
>---------------------------------------------------------------
a40386c421cf412cf371ac966a2c46dbc5445408
tests/typecheck/should_run/TcCoercible.hs | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/tests/typecheck/should_run/TcCoercible.hs b/tests/typecheck/should_run/TcCoercible.hs
index 6d5b3d7..bb1ea40 100644
--- a/tests/typecheck/should_run/TcCoercible.hs
+++ b/tests/typecheck/should_run/TcCoercible.hs
@@ -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 at 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)
More information about the ghc-commits
mailing list