equal
deleted
inserted
replaced
52 static int type_safety(symbol_c *tree_root){ |
52 static int type_safety(symbol_c *tree_root){ |
53 fill_candidate_datatypes_c fill_candidate_datatypes(tree_root); |
53 fill_candidate_datatypes_c fill_candidate_datatypes(tree_root); |
54 tree_root->accept(fill_candidate_datatypes); |
54 tree_root->accept(fill_candidate_datatypes); |
55 narrow_candidate_datatypes_c narrow_candidate_datatypes(tree_root); |
55 narrow_candidate_datatypes_c narrow_candidate_datatypes(tree_root); |
56 tree_root->accept(narrow_candidate_datatypes); |
56 tree_root->accept(narrow_candidate_datatypes); |
57 print_datatypes_error_c print_datatypes_error(tree_root); |
57 print_datatypes_error_c print_datatypes_error(tree_root); |
58 tree_root->accept(print_datatypes_error); |
58 tree_root->accept(print_datatypes_error); |
59 if (print_datatypes_error.get_error_found()) |
59 if (print_datatypes_error.get_error_found()) |
60 return -1; |
60 return -1; |
61 return 0; |
61 return 0; |
62 } |
62 } |