diff options
Diffstat (limited to 'src/typing.ml')
| -rw-r--r-- | src/typing.ml | 7 |
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; |