From 6e7190d226e9bf97c2ea26b1c9e6419c12273bfa Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Mon, 9 Dec 2013 23:31:05 +0100 Subject: Added rudimentary support for typing class-using expressions ; bug corrections. --- src/pretty_typing.ml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'src/pretty_typing.ml') diff --git a/src/pretty_typing.ml b/src/pretty_typing.ml index 709611b..26e5b49 100644 --- a/src/pretty_typing.ml +++ b/src/pretty_typing.ml @@ -105,12 +105,11 @@ let proto_str p = let print_prog p = List.iter (function - | TDGlobal((ty,b),i) -> let addr = (if b then "&" else "") in - print_string ("decl " ^ addr ^ i ^ " : " ^ (var_type_str ty) ^ "\n") + | TDGlobal(ty,i) -> + print_string ("decl " ^ i ^ " : " ^ (var_type_str ty) ^ "\n") | TDFunction(p,b) -> print_string (proto_str p ^"\n"); print_block 0 b | TDClass(c) -> () (* print_class_decl c *) - | TDNothing -> () ) - p + p.prog_decls -- cgit v1.2.3