diff options
| author | Christopher Pulte | 2015-10-19 15:36:34 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2015-10-19 15:36:34 +0100 |
| commit | 602adb432b158efa403959454328bc58bddca61b (patch) | |
| tree | 20e4ce2a4c7461a39c5a1052fa201e21fd1b6720 /src/pretty_print.ml | |
| parent | a72c474c2a5902f72ab63f21dc071a22d449b63b (diff) | |
progress on lem backend
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 478cbfb6..3ffc67b7 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -1498,11 +1498,11 @@ let doc_exp_ocaml, doc_let_ocaml = exp in_exp] | E_internal_plet (pat,e1,e2) -> - doc_op (string "in") - (prefix 2 1 - (separate space [string "letM"; doc_atomic_pat_ocaml pat; equals]) - (exp e1) - ) (exp e2) + (separate space [(exp e1); string ">>= fun"; doc_atomic_pat_ocaml pat;arrow]) ^/^ + exp e2 + + | E_internal_return (e1) -> + separate space [string "return"; exp e1;] and let_exp (LB_aux(lb,_)) = match lb with | LB_val_explicit(ts,pat,e) -> prefix 2 1 |