From f9b324be57708e9496ca6e9ac0b7e68ffd9e7108 Mon Sep 17 00:00:00 2001
From: Sidney Congard
Date: Mon, 18 Jul 2022 16:27:00 +0200
Subject: Address much stuff of the PR, throw exceptions at remaining places

---
 src/InterpreterStatements.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/InterpreterStatements.ml')

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 = [];
-- 
cgit v1.2.3