From de15ab2c26e0c8095bae5a413a307a118e4b9ef0 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 20 Feb 2018 18:00:11 +0000
Subject: Report unsupported nexps properly in Lem backend

---
 src/pretty_print_lem.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/pretty_print_lem.ml b/src/pretty_print_lem.ml
index 1e1ea2b8..ac8ad48d 100644
--- a/src/pretty_print_lem.ml
+++ b/src/pretty_print_lem.ml
@@ -179,10 +179,11 @@ let doc_nexp_lem nexp =
        | Nexp_minus (n1, n2) -> mangle_nexp n1 ^ "_minus_" ^ mangle_nexp n2
        | Nexp_exp n -> "exp_" ^ mangle_nexp n
        | Nexp_neg n -> "neg_" ^ mangle_nexp n
+       | _ ->
+          raise (Reporting_basic.err_unreachable l
+                   ("cannot pretty-print nexp \"" ^ string_of_nexp full_nexp ^ "\"")) 
      end in
      string ("'" ^ mangle_nexp full_nexp)
-     (* raise (Reporting_basic.err_unreachable l
-       ("cannot pretty-print non-atomic nexp \"" ^ string_of_nexp full_nexp ^ "\"")) *)
 
 (* Rewrite mangled names of type variables to the original names *)
 let rec orig_nexp (Nexp_aux (nexp, l)) =
-- 
cgit v1.2.3