diff options
| author | Graydon Hoare <[email protected]> | 2010-07-02 12:03:46 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-02 12:03:46 -0700 |
| commit | 41fa7a404eeb0ea786b6bd76f35860784fbcb4be (patch) | |
| tree | e72da0c716e2ee0095c15cf2dbf55e2f683658a1 /src/boot/fe/ast.ml | |
| parent | Parse effect-qualified type definitions. (diff) | |
| parent | Allow formatting individual decl_params (diff) | |
| download | rust-41fa7a404eeb0ea786b6bd76f35860784fbcb4be.tar.xz rust-41fa7a404eeb0ea786b6bd76f35860784fbcb4be.zip | |
Merge branch 'exterior_and_mutable_types' of [email protected]:graydon/rust into exterior_and_mutable_types
Diffstat (limited to 'src/boot/fe/ast.ml')
| -rw-r--r-- | src/boot/fe/ast.ml | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml index 32eed2c1..92aad667 100644 --- a/src/boot/fe/ast.ml +++ b/src/boot/fe/ast.ml @@ -1180,6 +1180,13 @@ and fmt_stmt_body (ff:Format.formatter) (s:stmt) : unit = | STMT_slice _ -> fmt ff "?stmt_slice?" end +and fmt_decl_param (ff:Format.formatter) (param:ty_param) : unit = + let (ident, (i, e)) = param in + fmt_effect ff e; + if e <> PURE then fmt ff " "; + fmt_ident ff ident; + fmt ff "=<p#%d>" i + and fmt_decl_params (ff:Format.formatter) (params:ty_param array) : unit = if Array.length params = 0 then () @@ -1190,11 +1197,7 @@ and fmt_decl_params (ff:Format.formatter) (params:ty_param array) : unit = do if i <> 0 then fmt ff ", "; - let (ident, (i, e)) = params.(i) in - fmt_effect ff e; - if e <> PURE then fmt ff " "; - fmt_ident ff ident; - fmt ff "=<p#%d>" i + fmt_decl_param ff params.(i) done; fmt ff "]" end; @@ -1350,6 +1353,7 @@ let sprintf_tag = sprintf_fmt fmt_tag;; let sprintf_carg = sprintf_fmt fmt_carg;; let sprintf_constr = sprintf_fmt fmt_constr;; let sprintf_mod_items = sprintf_fmt fmt_mod_items;; +let sprintf_decl_param = sprintf_fmt fmt_decl_param;; let sprintf_decl_params = sprintf_fmt fmt_decl_params;; let sprintf_app_args = sprintf_fmt fmt_app_args;; |