OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Added AST pretty printing for slice expression

Browse Source
This commit is contained in:
Tohava 2010-08-06 16:11:15 +03:00
parent ce79b0e492
commit 4bc173fd3c
1 changed files with 28 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
src/boot/fe/ast.ml
View File

@ -1237,7 +1237,13 @@ and fmt_stmt_body (ff:Format.formatter) (s:stmt) : unit =
| STMT_alt_port _ -> fmt ff "?stmt_alt_port?"
| STMT_note _ -> fmt ff "?stmt_note?"
| STMT_slice _ -> fmt ff "?stmt_slice?"
| STMT_slice (dst, src, slice) ->
fmt_lval ff dst;
fmt ff " = ";
fmt_lval ff src;
fmt ff ".";
fmt_slice ff slice;
fmt ff ";";
end
and fmt_arm
@ -1275,6 +1281,27 @@ and fmt_pat (ff:Format.formatter) (pat:pat) : unit =
| PAT_wild ->
fmt ff "_"
and fmt_slice (ff:Format.formatter) (slice:slice) : unit =
let fmt_slice_start = (match slice.slice_start with
None -> (fun ff -> fmt ff "0")
| Some atom -> (fun ff -> fmt_atom ff atom)) in
fmt ff "(@[";
fmt_slice_start ff;
begin
match slice.slice_len with
None -> fmt ff ","
| Some slice_len ->
fmt ff ",@ @[";
fmt_slice_start ff;
fmt ff " +@ ";
fmt_atom ff slice_len;
fmt ff "@]";
end;
fmt ff "@])";
and fmt_decl_param (ff:Format.formatter) (param:ty_param) : unit =
let (ident, (i, e)) = param in
fmt_effect ff e;