summaryrefslogtreecommitdiff
path: root/src/typing.ml
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2013-12-05 22:20:54 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2013-12-05 22:20:54 +0100
commita01d09ca4730de4987d67e73a8ee895f77f57f9c (patch)
treee9f667f874572a51988225a45ab698ce079059a9 /src/typing.ml
parent6973d36261d8030c4836a8e25a0e95c19476978e (diff)
downloadLPC-Projet-a01d09ca4730de4987d67e73a8ee895f77f57f9c.tar.gz
LPC-Projet-a01d09ca4730de4987d67e73a8ee895f77f57f9c.zip
Added tests, corrected two failed tests.
Diffstat (limited to 'src/typing.ml')
-rw-r--r--src/typing.ml7
1 files changed, 1 insertions, 6 deletions
diff --git a/src/typing.ml b/src/typing.ml
index 1a5e566..4d5b0c2 100644
--- a/src/typing.ml
+++ b/src/typing.ml
@@ -29,7 +29,7 @@ and texpr_desc =
| TEIdent of ident
| TEAssign of texpression * texpression
| TECallFun of ident * texpression list (* changé : te -> ident *)
-(* | TECallMeth of texpression * ident * texpression list *) (* changé : te -> ident *)
+(* | TECallMethod of texpression * ident * texpression list *) (* changé : te -> ident *)
| TEUnary of unop * texpression
| TEBinary of texpression * binop * texpression
| TEMember of texpression * ident
@@ -67,11 +67,6 @@ and ts_desc =
| TSWriteCout of tstr_expression list
and tblock = tstatement list
-(*and fun_type = {
- f_args : type_ref list;
- f_block : tblock; }
-peut être effacé *)
-
and tproto = {
tp_loc : loc;
tp_name : ident;