diff options
author | Son Ho | 2022-01-26 16:17:08 +0100 |
---|---|---|
committer | Son Ho | 2022-01-26 16:17:08 +0100 |
commit | c0fa50dc807a1edb39738cb16530018aa892fac4 (patch) | |
tree | 2a05aa6898bc8a33c2838705fc8c9fa2858cbbab /src/InterpreterStatements.ml | |
parent | ac2d7f421b8511c67614eb238865961e239486c2 (diff) |
Start working on signatures for the assumed functions
Diffstat (limited to '')
-rw-r--r-- | src/InterpreterStatements.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/InterpreterStatements.ml b/src/InterpreterStatements.ml index 83ad13fe..e1410ed3 100644 --- a/src/InterpreterStatements.ml +++ b/src/InterpreterStatements.ml @@ -15,6 +15,7 @@ open InterpreterProjectors open InterpreterExpansion open InterpreterPaths open InterpreterExpressions +open Assumed (** The local logger *) let log = L.statements_log @@ -481,7 +482,7 @@ let eval_box_new_inst_sig (region_params : T.erased_region list) (type_params : T.ety list) : A.inst_fun_sig = (* The signature is: `T -> Box<T>` - where T is the type pram + where T is the type param *) match (region_params, type_params) with | [], [ ty_param ] -> |