Address much stuff of the PR, throw exceptions at remaining places

1 files changed, 2 insertions, 1 deletions

diff --git a/src/InterpreterStatements.ml b/src/InterpreterStatements.ml
index 8f981174..6a0b81f3 100644
--- a/src/InterpreterStatements.ml
+++ b/src/InterpreterStatements.ml
@@ -832,8 +832,9 @@ let rec eval_statement (config : C.config) (st : A.statement) : st_cm_fun =
         (* Compose and apply *)
         comp cf_eval_rvalue cf_assign cf ctx
     | A.AssignGlobal { dst; global } ->
+        (* What codegen do we want ? *)
         let call : A.call = {
-          func = A.Regular (A.global_to_fun_id ctx.fun_context.gid_conv global);
+          func = A.Regular (failwith "TODO InterpretStatements.ml:837");
           region_args = [];
           type_args = [];
           args = [];