diff options
| author | Jon French | 2018-10-16 16:25:39 +0100 |
|---|---|---|
| committer | Jon French | 2018-10-16 17:03:30 +0100 |
| commit | 315fccb1b063f5ffa131b5a761fa1b2d33fa130f (patch) | |
| tree | eed4db4a25e3c1c44d7394f4749ef1612c7af105 /language | |
| parent | 45ce9105ce90efeccb9d0a183390027cdb1536af (diff) | |
| parent | 58c1292f2f5a54f069e00e4065c00936963db8cd (diff) | |
Merge branch 'sail2' into rmem_interpreter
Diffstat (limited to 'language')
| -rw-r--r-- | language/sail.ott | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/sail.ott b/language/sail.ott index a1dc03f4..2edffcbe 100644 --- a/language/sail.ott +++ b/language/sail.ott @@ -238,7 +238,7 @@ typ :: 'Typ_' ::= {{ com defined type }} | kid :: :: var {{ com type variable }} - | typ1 -> typ2 effectkw effect :: :: fn + | ( typ1 , ... , typn ) -> typ2 effectkw effect :: :: fn {{ com Function (first-order only in user code) }} | typ1 <-> typ2 :: :: bidir {{ com Mapping }} |