diff options
author | Son Ho | 2022-02-03 23:12:39 +0100 |
---|---|---|
committer | Son Ho | 2022-02-03 23:12:39 +0100 |
commit | 72edb3fc4fdfa588d0cebe7fec27101da27ff1be (patch) | |
tree | 3fa879e46d0d65687f83285ddfd17eed2844cf08 /src/PureMicroPasses.ml | |
parent | 7bf8128095e76aae07f1f008d3ee2a08f96260a9 (diff) |
Fix a small issue with the unit type
Diffstat (limited to '')
-rw-r--r-- | src/PureMicroPasses.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/PureMicroPasses.ml b/src/PureMicroPasses.ml index cbc2409d..1ef4b325 100644 --- a/src/PureMicroPasses.ml +++ b/src/PureMicroPasses.ml @@ -633,7 +633,9 @@ let to_monadic (def : fun_def) : fun_def = let id, _ = VarId.fresh var_cnt in let var = { id; basename = None; ty = unit_ty } in let inputs = [ var ] in - { def with signature; inputs }) + let input_lv = mk_typed_lvalue_from_var var None in + let inputs_lvs = [ input_lv ] in + { def with signature; inputs; inputs_lvs }) else def in (* Then the output type *) |