diff options
| author | Brian Campbell | 2018-02-20 18:00:11 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-02-20 18:35:13 +0000 |
| commit | de15ab2c26e0c8095bae5a413a307a118e4b9ef0 (patch) | |
| tree | 2315dd049429fc0bcd7451314b36bb28b3bef01c /src/pretty_print_lem.ml | |
| parent | 344657f6853a1ee4dedd42cdb18678dfea717842 (diff) | |
Report unsupported nexps properly in Lem backend
Diffstat (limited to 'src/pretty_print_lem.ml')
| -rw-r--r-- | src/pretty_print_lem.ml | 5 |
1 files changed, 3 insertions, 2 deletions
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)) = |