diff options
| author | Brian Campbell | 2019-06-08 20:22:47 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-06-08 20:22:47 +0100 |
| commit | 534b659d7acccabe7219dc3773f6b09d612bbd86 (patch) | |
| tree | 62e4badec277168ffc58935ddf3eca5e9c7989d4 /src | |
| parent | ee830e823cbcf773fa6ac0d0606d7b4eff38ac4e (diff) | |
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.
Diffstat (limited to 'src')
| -rw-r--r-- | src/pretty_print_sail.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |