Commit f4eb960b authored by Mário Pereira's avatar Mário Pereira
Browse files

OCaml 64 driver and printer (minor)

parent 5cb42a73
......@@ -291,8 +291,8 @@ module random.Random
end
module mach.int.Refint63
syntax val incr "Pervasives.incr %1"
syntax val decr "Pervasives.decr %1"
syntax val incr "incr %1"
syntax val decr "decr %1"
syntax val (+=) "%1 := !%1 + %2" (*"(fun r v -> Pervasives.(:=) r (Pervasives.(!) r + v))"*)
syntax val (-=) "(fun r v -> Pervasives.(:=) r (Pervasives.(!) r - v))"
syntax val ( *= ) "(fun r v -> Pervasives.(:=) r (Pervasives.(!) r * v))"
......
......@@ -330,7 +330,7 @@ module Print = struct
| Lrec (rdef) ->
let print_one fst fmt = function
| { rec_sym = rs1; rec_args = args; rec_exp = e; rec_res = res } ->
fprintf fmt "@[<hov 2>%s %a@ %a :@ %a@ =@ %a@]"
fprintf fmt "@[<hov 2>%s %a @[%a@] :@ %a@ =@ %a@]"
(if fst then "let rec" else "and")
(print_lident info) rs1.rs_name
(print_list space (print_vs_arg info)) args
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment