diff options
| author | Marijn Haverbeke <[email protected]> | 2011-04-19 10:15:26 +0200 |
|---|---|---|
| committer | Marijn Haverbeke <[email protected]> | 2011-04-19 16:57:13 +0200 |
| commit | 9bfc8bf11e15b7b9a782f1757f9a0ebe324b16e4 (patch) | |
| tree | 688d5ac52ff6cdcdeb364dfe4b418370a9aee5ab /src/boot/fe/ast.ml | |
| parent | Precision overrides 0-padding in #fmt (diff) | |
| download | rust-9bfc8bf11e15b7b9a782f1757f9a0ebe324b16e4.tar.xz rust-9bfc8bf11e15b7b9a782f1757f9a0ebe324b16e4.zip | |
Add log_err to rustboot
Diffstat (limited to 'src/boot/fe/ast.ml')
| -rw-r--r-- | src/boot/fe/ast.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml index 8ea03a63..f498fb0e 100644 --- a/src/boot/fe/ast.ml +++ b/src/boot/fe/ast.ml @@ -229,6 +229,7 @@ and stmt' = | STMT_join of lval | STMT_send of (lval * lval) | STMT_log of atom + | STMT_log_err of atom | STMT_note of atom | STMT_prove of (constrs) | STMT_check of (constrs * check_calls) @@ -1210,6 +1211,13 @@ and fmt_stmt_body (ff:Format.formatter) (s:stmt) : unit = fmt ff ";" end + | STMT_log_err at -> + begin + fmt ff "log_err "; + fmt_atom ff at; + fmt ff ";" + end + | STMT_spawn (dst, domain, name, fn, args) -> fmt_lval ff dst; fmt ff " = spawn "; |