diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/sail.ott | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/language/sail.ott b/language/sail.ott index ce05797f..23b8de89 100644 --- a/language/sail.ott +++ b/language/sail.ott @@ -554,12 +554,15 @@ pat :: 'P_' ::= | ( pat1 , .... , patn ) :: :: tup {{ com tuple pattern }} - | [|| pat1 , .. , patn ||] :: :: list + | [|| pat1 , .. , patn ||] :: :: list {{ com list pattern }} | ( pat ) :: S :: paren {{ ichlo [[pat]] }} - | pat1 '::' pat2 :: :: cons - {{ com Cons patterns }} + | pat1 '::' pat2 :: :: cons + {{ com Cons patterns }} + + | pat1 ^^ pat2 :: :: string_append + {{ com string append pattern, x ^^ y }} % XXX Is this still useful? fpat :: 'FP_' ::= |