[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