From 7a304e990d80dc052f63f66401544040fa0f2728 Mon Sep 17 00:00:00 2001
From: Escherichia
Date: Tue, 26 Mar 2024 12:14:32 +0100
Subject: added a meta option field to norm_ctx and changed the meta used by
 some assert to the norm_ctx one

---
 compiler/Interpreter.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'compiler/Interpreter.ml')

diff --git a/compiler/Interpreter.ml b/compiler/Interpreter.ml
index 6e2c15d7..2ac772ae 100644
--- a/compiler/Interpreter.ml
+++ b/compiler/Interpreter.ml
@@ -49,11 +49,11 @@ let compute_contexts (m : crate) : decls_ctx =
     to compute a normalization map (for the associated types) and that we added
     it in the context.
  *)
-let normalize_inst_fun_sig (ctx : eval_ctx) (sg : inst_fun_sig) : inst_fun_sig =
+let normalize_inst_fun_sig (meta : Meta.meta) (ctx : eval_ctx) (sg : inst_fun_sig) : inst_fun_sig =
   let { regions_hierarchy = _; trait_type_constraints = _; inputs; output } =
     sg
   in
-  let norm = AssociatedTypes.ctx_normalize_ty ctx in
+  let norm = AssociatedTypes.ctx_normalize_ty meta ctx in
   let inputs = List.map norm inputs in
   let output = norm output in
   { sg with inputs; output }
@@ -157,7 +157,7 @@ let symbolic_instantiate_fun_sig (meta : Meta.meta) (ctx : eval_ctx) (sg : fun_s
       inst_sg.trait_type_constraints
   in
   (* Normalize the signature *)
-  let inst_sg = normalize_inst_fun_sig ctx inst_sg in
+  let inst_sg = normalize_inst_fun_sig meta ctx inst_sg in
   (* Return *)
   (ctx, inst_sg)
 
-- 
cgit v1.2.3