diff options
Diffstat (limited to 'cparser/Cprint.ml')
| -rw-r--r-- | cparser/Cprint.ml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/cparser/Cprint.ml b/cparser/Cprint.ml index e80a4c8e..61441aeb 100644 --- a/cparser/Cprint.ml +++ b/cparser/Cprint.ml @@ -83,7 +83,7 @@ let const pp = function else fprintf pp "\" \"\\x%02Lx\" \"" c) l; fprintf pp "\"" - | CEnum(id, v) -> + | CEnum(id, _) -> ident pp id let attr_arg pp = function @@ -343,11 +343,11 @@ and init pp = function fprintf pp "@[<hov 1>{"; List.iter (fun i -> fprintf pp "%a,@ " init i) il; fprintf pp "}@]" - | Init_struct(id, il) -> + | Init_struct(_, il) -> fprintf pp "@[<hov 1>{"; - List.iter (fun (fld, i) -> fprintf pp "%a,@ " init i) il; + List.iter (fun (_, i) -> fprintf pp "%a,@ " init i) il; fprintf pp "}@]" - | Init_union(id, fld, i) -> + | Init_union(_, fld, i) -> fprintf pp "@[<hov 2>{.%s =@ %a}@]" fld.fld_name init i let simple_decl pp (id, ty) = @@ -450,7 +450,7 @@ let rec stmt pp s = fprintf pp "return;" | Sreturn (Some e) -> fprintf pp "return %a;" exp (0, e) - | Sblock sl -> + | Sblock _ -> fprintf pp "@[<v 2>{@ %a@;<0 -2>}@]" stmt_block s | Sdecl d -> full_decl pp d @@ -535,7 +535,7 @@ let globdecl pp g = | Genumdef(id, attrs, vals) -> fprintf pp "@[<v 2>enum%a %a {" attributes attrs ident id; List.iter - (fun (name, v, opt_e) -> + (fun (name, _, opt_e) -> fprintf pp "@ %a" ident name; begin match opt_e with | None -> () |