diff options
author | Escherichia | 2024-03-25 12:06:05 +0100 |
---|---|---|
committer | Escherichia | 2024-03-28 15:27:35 +0100 |
commit | d6ea35868e30bbc7542bfa09bb04d5b6cbe93b22 (patch) | |
tree | 14c7bca01e105ec6bf3db8ccedb21d64ae4ae756 /compiler/InterpreterStatements.mli | |
parent | 9b1a0d82c19375619904efe7e18e064701fb947b (diff) |
Inverted meta and config argument orders (from meta -> config to config -> meta)
Diffstat (limited to 'compiler/InterpreterStatements.mli')
-rw-r--r-- | compiler/InterpreterStatements.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/InterpreterStatements.mli b/compiler/InterpreterStatements.mli index 3b1285a6..519d2c8e 100644 --- a/compiler/InterpreterStatements.mli +++ b/compiler/InterpreterStatements.mli @@ -16,7 +16,7 @@ open Cps If the boolean is false, we don't move the return value, and call the continuation with [None]. *) -val pop_frame : Meta.meta -> config -> bool -> (typed_value option -> m_fun) -> m_fun +val pop_frame : config -> Meta.meta -> bool -> (typed_value option -> m_fun) -> m_fun (** Helper. @@ -48,4 +48,4 @@ val create_push_abstractions_from_abs_region_groups : val eval_statement : config -> statement -> st_cm_fun (** Evaluate a statement seen as a function body *) -val eval_function_body : Meta.meta -> config -> statement -> st_cm_fun +val eval_function_body : config -> Meta.meta -> statement -> st_cm_fun |