diff options
Diffstat (limited to 'language/l2.ott')
| -rw-r--r-- | language/l2.ott | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2.ott b/language/l2.ott index 1dcc27da..599d7bdc 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -648,6 +648,7 @@ exp :: 'E_' ::= | annot :: :: internal_exp {{ com This is an internal use for passing nexp information to library functions, postponed for constraint solving }} | annot , annot' :: :: internal_exp_user {{ com This is like the above but the user has specified an implicit parameter for the current function }} | let lexp = exp in exp' :: :: internal_let {{ com This is an internal node for compilation that demonstrates the scope of a local mutable variable }} + | let pat = exp in exp' :: :: internal_plet {{ com This is an internal node, used to distinguised some introduced lets during processing from original ones }} lexp :: 'LEXP_' ::= {{ com lvalue expression }} |