diff options
| -rw-r--r-- | source/mod_student/typechecker.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/source/mod_student/typechecker.ml b/source/mod_student/typechecker.ml index 95e9157..2b380b0 100644 --- a/source/mod_student/typechecker.ml +++ b/source/mod_student/typechecker.ml @@ -191,10 +191,10 @@ module Make() = struct * elementy kontra typ elementu tablicy `tp` *) | EXPR_Struct {elements; _}, TP_Array tp -> List.iter (check_expression env tp) elements - | EXPR_Binop {op=BINOP_And; lhs; rhs;_}, TP_Int -> + | EXPR_Binop {op=BINOP_Add; lhs; rhs;_}, TP_Int -> check_expression env TP_Int lhs; check_expression env TP_Int rhs - | EXPR_Binop {op=BINOP_And; lhs; rhs;_}, (TP_Array tp as t) -> + | EXPR_Binop {op=BINOP_Add; lhs; rhs;_}, (TP_Array tp as t) -> check_expression env t lhs; check_expression env t rhs | EXPR_Index {expr;index;loc; _}, tp -> |