diff options
author | Son Ho | 2023-01-07 17:21:27 +0100 |
---|---|---|
committer | Son HO | 2023-02-03 11:21:46 +0100 |
commit | af929939c44116cdfd5faa845273d0f032d761bf (patch) | |
tree | 6f59e4a60d060bc2f755aa9b4fbf02bd41e90381 /compiler/InterpreterUtils.ml | |
parent | f8b7206e0d92aa33812047c521a3c2278fdb6327 (diff) |
Improve the order of the loop input parameters
Diffstat (limited to '')
-rw-r--r-- | compiler/InterpreterUtils.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/InterpreterUtils.ml b/compiler/InterpreterUtils.ml index d60ddfe6..a50bb7ac 100644 --- a/compiler/InterpreterUtils.ml +++ b/compiler/InterpreterUtils.ml @@ -143,12 +143,15 @@ let remove_borrow_from_asb (bid : V.BorrowId.id) TODO: change the name "abstract" *) type ('a, 'b) concrete_or_abs = Concrete of 'a | Abstract of 'b +[@@deriving show] (** Generic loan content: concrete or abstract *) type g_loan_content = (V.loan_content, V.aloan_content) concrete_or_abs +[@@deriving show] (** Generic borrow content: concrete or abstract *) type g_borrow_content = (V.borrow_content, V.aborrow_content) concrete_or_abs +[@@deriving show] type abs_or_var_id = | AbsId of V.AbstractionId.id |