summaryrefslogtreecommitdiff
path: root/src/pretty_typing.ml
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2013-12-10 11:07:08 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2013-12-10 11:07:08 +0100
commit981f900bb0358eee7ddf5ada1d09b0c629bfdc5b (patch)
tree4e3db4a63038d484daeaa444ab4d5020f2f63669 /src/pretty_typing.ml
parent6e7190d226e9bf97c2ea26b1c9e6419c12273bfa (diff)
downloadLPC-Projet-981f900bb0358eee7ddf5ada1d09b0c629bfdc5b.tar.gz
LPC-Projet-981f900bb0358eee7ddf5ada1d09b0c629bfdc5b.zip
Many things. Remains : inheritance.
Diffstat (limited to 'src/pretty_typing.ml')
-rw-r--r--src/pretty_typing.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_typing.ml b/src/pretty_typing.ml
index 26e5b49..2e0d321 100644
--- a/src/pretty_typing.ml
+++ b/src/pretty_typing.ml
@@ -66,7 +66,7 @@ let rec print_stmt l x =
print_string (addr ^ i ^ " : " ^ (var_type_str ty) ^ "\n")
| TSDeclareAssignExpr((ty,b), i, e) -> let addr = (if b then "&" else "") in
print_string (addr ^ i ^ " : " ^ (var_type_str ty) ^ " = " ^ (expr_string e) ^ "\n")
- | TSDeclareAssignConstructor(t, i, c, a) -> () (*print_string
+ | TSDeclareAssignConstructor(t, i, _, c, a) -> () (*print_string
(i ^ " : " ^ (var_type_str t) ^ " = " ^ c ^ "(" ^
(csl expr_string a) ^ ")\n")*)
| TSWriteCout(k) -> print_string ("std::cout" ^