Commit a074b877 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-06-12 13:30:29 by cvscast] Pretty-printer

Original author: cvscast
Date: 2003-06-12 13:30:30+00:00
parent e4614310
......@@ -144,8 +144,10 @@ driver/run.cmo: misc/q_symbol.cmo driver/cduce.cmi types/ident.cmo runtime/load_
driver/run.cmx: misc/q_symbol.cmo driver/cduce.cmx types/ident.cmx runtime/load_xml.cmx \
parser/location.cmx types/sequence.cmx misc/state.cmx runtime/value.cmx \
parser/wlexer.cmx
driver/webiface.cmo: misc/q_symbol.cmo driver/cduce.cmi parser/location.cmi misc/state.cmi
driver/webiface.cmx: misc/q_symbol.cmo driver/cduce.cmx parser/location.cmx misc/state.cmx
driver/webiface.cmo: misc/q_symbol.cmo driver/cduce.cmi driver/examples.cmo parser/location.cmi \
misc/state.cmi
driver/webiface.cmx: misc/q_symbol.cmo driver/cduce.cmx driver/examples.cmx parser/location.cmx \
misc/state.cmx
types/boolean.cmi: misc/q_symbol.cmo types/sortedList.cmi
types/atoms.cmi: misc/q_symbol.cmo misc/encodings.cmi
types/types.cmi: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi types/ident.cmo \
......
......@@ -139,7 +139,7 @@ let insert_bindings ppf =
typing_env := Env.add x t !typing_env;
eval_env := Env.add x v !eval_env;
if not !quiet then
Format.fprintf ppf "val %a : @[%a@] = @[%a@]@."
Format.fprintf ppf "val %a : @[@[%a@] =@ @[%a@]@]@."
U.print (Id.value x) print_norm t print_value v)
let rec collect_funs ppf accu = function
......@@ -176,7 +176,7 @@ let rec phrases ppf phs = match phs with
Location.dump_loc ppf e.Typed.exp_loc;
let v = Eval.eval !eval_env e in
if not !quiet then
Format.fprintf ppf "- : @[%a@] = @[%a@]@." print_norm t print_value v;
Format.fprintf ppf "- : @[@[%a@] =@ @[%a@]@]@." print_norm t print_value v;
phrases ppf rest
| { descr = Ast.LetDecl (p,e) } :: rest ->
let decl = Typer.let_decl p e in
......
......@@ -146,7 +146,7 @@ let lex_tables = {
"\255\255\255\255\255\255\255\255\255\255\001\000\255\255\255\255\
\255\255\255\255\255\255\004\000\255\255\255\255\255\255\255\255\
\255\255\004\000\004\000\255\255\255\255\255\255\000\000\001\000\
\002\000\008\000\003\000\003\000\255\255\003\000\003\000\003\000\
\002\000\003\000\003\000\003\000\255\255\003\000\003\000\003\000\
\003\000\003\000\003\000\003\000\003\000\255\255\002\000\004\000\
\001\000\255\255\001\000\000\000";
Lexing.lex_default =
......
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