diff options
| author | Kathy Gray | 2014-11-23 17:59:51 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-23 17:59:51 +0000 |
| commit | 6f059ce2321b7fbfea5c55db30677a5dbf1bea1f (patch) | |
| tree | d99e40eb537045cff6397d285b59b2af57b7b18b /src | |
| parent | aab90768749a2efd2e79447cd557bbe0fc2e1d35 (diff) | |
make pretty_interp be back in sync with pretty_print
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/pretty_interp.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/lem_interp/pretty_interp.ml b/src/lem_interp/pretty_interp.ml index ee954766..2724ba9c 100644 --- a/src/lem_interp/pretty_interp.ml +++ b/src/lem_interp/pretty_interp.ml @@ -272,13 +272,13 @@ let doc_exp, doc_let = doc_op (doc_id op) (shift_exp env add_red l) (plus_exp env add_red r) | _ -> plus_exp env add_red expr and plus_exp env add_red ((E_aux(e,_)) as expr) = match e with - | E_app_infix(l,(Id_aux(Id ("+" | "-"),_) as op),r) -> + | E_app_infix(l,(Id_aux(Id ("+" | "-"| "+_s" | "-_s" ),_) as op),r) -> doc_op (doc_id op) (plus_exp env add_red l) (star_exp env add_red r) | _ -> star_exp env add_red expr and star_exp env add_red ((E_aux(e,_)) as expr) = match e with | E_app_infix(l,(Id_aux(Id ( "*" | "/" - | "div" | "quot" | "rem" | "mod" + | "div" | "quot" | "rem" | "mod" | "quot_s" | "*_s" | "*_si" | "*_u" | "*_ui"),_) as op),r) -> doc_op (doc_id op) (star_exp env add_red l) (starstar_exp env add_red r) | _ -> starstar_exp env add_red expr @@ -401,9 +401,9 @@ let doc_exp, doc_let = | "<=" | "<=_s" | "<" | "<_s" | "<_si" | "<_u" | "@" | "^^" | "^" | "~^" | ">>" | ">>>" | "<<" | "<<<" - | "+" | "-" + | "+" | "+_s" | "-" | "-_s" | "*" | "/" - | "div" | "quot" | "rem" | "mod" + | "div" | "quot" | "quot_s" | "rem" | "mod" | "*_s" | "*_si" | "*_u" | "*_ui" | "**"), _)) , _) -> |