diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-12-09 23:31:05 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-12-09 23:31:05 +0100 |
| commit | 6e7190d226e9bf97c2ea26b1c9e6419c12273bfa (patch) | |
| tree | e87bd78eeef5113f0cf14461f387dbcc0ea78b01 /src/pretty_typing.ml | |
| parent | d260f964d65ef688b2721cad089c9ca4abe84367 (diff) | |
| download | LPC-Projet-6e7190d226e9bf97c2ea26b1c9e6419c12273bfa.tar.gz LPC-Projet-6e7190d226e9bf97c2ea26b1c9e6419c12273bfa.zip | |
Added rudimentary support for typing class-using expressions ; bug corrections.
Diffstat (limited to 'src/pretty_typing.ml')
| -rw-r--r-- | src/pretty_typing.ml | 7 |
1 files changed, 3 insertions, 4 deletions
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 |