diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.ott | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/language/l2.ott b/language/l2.ott index ea4a8a6a..d26073f5 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -826,6 +826,8 @@ exp :: 'E_' ::= lexp :: 'LEXP_' ::= {{ com lvalue expression }} {{ aux _ annot }} {{ auxparam 'a }} | id :: :: id +% | ref id :: :: ref + | deref exp :: :: deref {{ com identifier }} | id ( exp1 , .. , expn ) :: :: memory {{ com memory or register write via function call }} | id exp :: S :: mem_tup {{ ichlo [[id (exp)]] }} |