From f254b36fe1157df8ff620536f13eb289d781e28f Mon Sep 17 00:00:00 2001
From: Jon French
Date: Fri, 12 Apr 2019 14:45:04 +0100
Subject: ToFromInterp_backend: better handling of nexps

---
 src/toFromInterp_backend.ml | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'src/toFromInterp_backend.ml')

diff --git a/src/toFromInterp_backend.ml b/src/toFromInterp_backend.ml
index e35af091..43166f77 100644
--- a/src/toFromInterp_backend.ml
+++ b/src/toFromInterp_backend.ml
@@ -69,10 +69,11 @@ let frominterp_typedef (TD_aux (td_aux, (l, _))) =
   let fromValueKid (Kid_aux ((Var name), _)) =
     string ("typq_" ^ name)
   in 
-  let fromValueNexp (Nexp_aux (nexp_aux, _)) = match nexp_aux with
+  let fromValueNexp ((Nexp_aux (nexp_aux, annot)) as nexp) = match nexp_aux with
     | Nexp_constant num -> parens (separate space [string "Big_int.of_string"; dquotes (string (Nat_big_num.to_string num))])
     | Nexp_var var -> fromValueKid var
-    | _ -> string "NEXP"
+    | Nexp_id id -> string (string_of_id id ^ "FromInterpValue")
+    | _ -> string ("NEXP(" ^ string_of_nexp nexp ^ ")")
   in
   let rec fromValueTypArg (A_aux (a_aux, _)) = match a_aux with
     | A_typ typ -> fromValueTyp typ ""
@@ -196,10 +197,11 @@ let tointerp_typedef (TD_aux (td_aux, (l, _))) =
   let toValueKid (Kid_aux ((Var name), _)) =
     string ("typq_" ^ name)
   in
-  let toValueNexp (Nexp_aux (nexp_aux, _)) = match nexp_aux with
+  let toValueNexp ((Nexp_aux (nexp_aux, _)) as nexp) = match nexp_aux with
     | Nexp_constant num -> parens (separate space [string "Big_int.of_string"; dquotes (string (Nat_big_num.to_string num))])
     | Nexp_var var -> toValueKid var
-    | _ -> string "NEXP"
+    | Nexp_id id -> string (string_of_id id ^ "ToInterpValue")
+    | _ -> string ("NEXP(" ^ string_of_nexp nexp ^ ")")
   in
   let rec toValueTypArg (A_aux (a_aux, _)) = match a_aux with
     | A_typ typ -> toValueTyp typ ""
-- 
cgit v1.2.3