From bc6b51d70a783df161f8fb43264ea1558ff37bac Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 16 Jan 2020 19:14:22 +0000
Subject: Allow effects on mappings

---
 language/sail.ott | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'language')

diff --git a/language/sail.ott b/language/sail.ott
index c0c8da49..9c47a4f1 100644
--- a/language/sail.ott
+++ b/language/sail.ott
@@ -229,7 +229,7 @@ typ :: 'Typ_' ::=
   | id                                            :: :: id {{ com defined type }}
   | kid                                           :: :: var {{ com type variable }}
   | ( typ1 , ... , typn ) -> typ2 effectkw effect :: :: fn {{ com Function (first-order only) }}
-  | typ1 <-> typ2                                 :: :: bidir {{ com Mapping }}
+  | typ1 <-> typ2 effectkw effect                 :: :: bidir {{ com Mapping }}
   | ( typ1 , .... , typn )                        :: :: tup {{ com Tuple }}
   | id ( typ_arg1 , ... , typ_argn )              :: :: app {{ com type constructor application }}
   | ( typ )                                       :: S :: paren {{ ichlo [[typ]] }} 
-- 
cgit v1.2.3