From 534b659d7acccabe7219dc3773f6b09d612bbd86 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Sat, 8 Jun 2019 20:22:47 +0100
Subject: Workaround for OCaml bytecode memory bug See
 <https://github.com/ocaml/ocaml/issues/8699#issuecomment-499108873>, tested
 on 4.07.1 and 4.08+rc2.

---
 src/pretty_print_sail.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/pretty_print_sail.ml b/src/pretty_print_sail.ml
index ae1f467c..a0ac73a6 100644
--- a/src/pretty_print_sail.ml
+++ b/src/pretty_print_sail.ml
@@ -88,7 +88,7 @@ let rec doc_typ_pat (TP_aux (tpat_aux, _)) =
   | TP_var kid -> doc_kid kid
   | TP_app (f, tpats) -> doc_id f ^^ parens (separate_map (comma ^^ space) doc_typ_pat tpats)
 
-let rec doc_nexp =
+let rec doc_nexp nexp =
   let rec atomic_nexp (Nexp_aux (n_aux, _) as nexp) =
     match n_aux with
     | Nexp_constant c -> string (Big_int.to_string c)
@@ -119,7 +119,7 @@ let rec doc_nexp =
     | Nexp_exp n -> separate space [string "2"; string "^"; atomic_nexp n]
     | _ -> atomic_nexp nexp
   in
-  nexp0
+  nexp0 nexp
 
 let doc_effect (Effect_aux (aux, _)) =
   match aux with
-- 
cgit v1.2.3