From 1e3ca733694f0c9c8cc1d95237eb4b09cee4206f Mon Sep 17 00:00:00 2001
From: Richard Eisenberg <eir@seas.upenn.edu>
Date: Wed, 28 Aug 2013 12:05:03 -0400
Subject: Update to tests due to change in syntax for role annotations.

---
 testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs')

diff --git a/testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs b/testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs
index 54d5d2fc1a..082fbadebf 100644
--- a/testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs
+++ b/testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs
@@ -5,7 +5,8 @@ import Data.Ord (Down)
 
 newtype Age = Age Int deriving Show
 
-data Map a@N b = Map a b deriving Show
+type role Map nominal _
+data Map a b = Map a b deriving Show
 
 foo1 = coerce $ one :: ()
 
-- 
cgit v1.2.1