diff options
author | Son Ho | 2022-01-28 15:02:48 +0100 |
---|---|---|
committer | Son Ho | 2022-01-28 15:02:48 +0100 |
commit | f75b76f8b1e7995fd7afa049e0cba4a1a6b4d52c (patch) | |
tree | 37a5b604d9c632dcc93e18c4e8dcc17341851b29 /src/Pure.ml | |
parent | 269a80fa8e87ee41948a65a168fe24ad8f388749 (diff) |
Add an input_lvs field to Pure.fun_def
Diffstat (limited to 'src/Pure.ml')
-rw-r--r-- | src/Pure.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Pure.ml b/src/Pure.ml index 90f6dc26..fc6cbad1 100644 --- a/src/Pure.ml +++ b/src/Pure.ml @@ -496,5 +496,8 @@ type fun_def = { *) signature : fun_sig; inputs : var list; + inputs_lvs : typed_lvalue list; + (** The inputs seen as lvalues. Allows to make transformations, for example + to replace unused variables by `_` *) body : expression; } |