From b294639a5cbd2a51fc5bb5e55e0c386ee568ca8c Mon Sep 17 00:00:00 2001
From: Aymeric Fromherz
Date: Fri, 24 May 2024 13:28:12 +0200
Subject: Rename meta into span

---
 compiler/InterpreterExpressions.mli | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'compiler/InterpreterExpressions.mli')

diff --git a/compiler/InterpreterExpressions.mli b/compiler/InterpreterExpressions.mli
index 049cee95..feb641d1 100644
--- a/compiler/InterpreterExpressions.mli
+++ b/compiler/InterpreterExpressions.mli
@@ -20,7 +20,7 @@ open InterpreterPaths
  *)
 val access_rplace_reorganize_and_read :
   config ->
-  Meta.meta ->
+  Meta.span ->
   bool ->
   access_kind ->
   place ->
@@ -38,7 +38,7 @@ val access_rplace_reorganize_and_read :
  *)
 val eval_operand :
   config ->
-  Meta.meta ->
+  Meta.span ->
   operand ->
   eval_ctx ->
   typed_value * eval_ctx * (eval_result -> eval_result)
@@ -46,7 +46,7 @@ val eval_operand :
 (** Evaluate several operands at once. *)
 val eval_operands :
   config ->
-  Meta.meta ->
+  Meta.span ->
   operand list ->
   eval_ctx ->
   typed_value list * eval_ctx * (eval_result -> eval_result)
@@ -60,10 +60,10 @@ val eval_operands :
  *)
 val eval_rvalue_not_global :
   config ->
-  Meta.meta ->
+  Meta.span ->
   rvalue ->
   eval_ctx ->
   (typed_value, eval_error) result * eval_ctx * (eval_result -> eval_result)
 
 (** Evaluate a fake read (update the context so that we can read a place) *)
-val eval_fake_read : config -> Meta.meta -> place -> cm_fun
+val eval_fake_read : config -> Meta.span -> place -> cm_fun
-- 
cgit v1.2.3