blob: d1eb96945fa8c006be224004f955d302b9577efb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
:(after "int main")
Transform.push_back(check_types_by_instruction);
:(code)
void check_types_by_instruction(const recipe_ordinal r) {
map<string, vector<type_ordinal> > metadata;
for (long long int i = 0; i < SIZE(Recipe[r].steps); ++i) {
instruction& inst = Recipe[r].steps.at(i);
switch (inst.operation) {
// Primitive Recipe Type Checks
case COPY: {
if (SIZE(inst.products) != SIZE(inst.ingredients)) {
raise << "ingredients and products should match in '" << inst.to_string() << "'\n" << end();
break;
}
for (long long int i = 0; i < SIZE(inst.ingredients); ++i) {
if (!is_mu_array(inst.ingredients.at(i)) && is_mu_array(inst.products.at(i))) {
raise << Recipe[r].name << ": can't copy " << inst.ingredients.at(i).original_string << " to array " << inst.products.at(i).original_string << "\n" << end();
goto finish_checking_instruction;
}
if (is_mu_array(inst.ingredients.at(i)) && !is_mu_array(inst.products.at(i))) {
raise << Recipe[r].name << ": can't copy array " << inst.ingredients.at(i).original_string << " to " << inst.products.at(i).original_string << "\n" << end();
goto finish_checking_instruction;
}
}
break;
}
// End Primitive Recipe Type Checks
default: {
// Defined Recipe Type Checks
// End Defined Recipe Type Checks
}
}
finish_checking_instruction:;
}
}
:(scenario copy_checks_reagent_count)
% Hide_warnings = true;
recipe main [
1:number <- copy 34, 35
]
+warn: ingredients and products should match in '1:number <- copy 34, 35'
:(scenario write_scalar_to_array_disallowed)
% Hide_warnings = true;
recipe main [
1:array:number <- copy 34
]
+warn: main: can't copy 34 to array 1:array:number
:(scenario write_scalar_to_array_disallowed_2)
% Hide_warnings = true;
recipe main [
1:number, 2:array:number <- copy 34, 35
]
+warn: main: can't copy 35 to array 2:array:number
:(code)
bool is_mu_array(reagent r) {
if (is_literal(r)) return false;
while (has_property(r, "lookup")) {
if (r.types.empty()) {
raise << "can't lookup non-address: " << r.original_string << '\n' << end();
return false;
}
if (r.types.at(0) != Type_ordinal["address"]) {
raise << "can't lookup non-address: " << r.original_string << '\n' << end();
return false;
}
r.types.erase(r.types.begin());
drop_one_lookup(r);
}
return !r.types.empty() && r.types.at(0) == Type_ordinal["array"];
}
void drop_one_lookup(reagent& r) {
for (vector<pair<string, vector<string> > >::iterator p = r.properties.begin(); p != r.properties.end(); ++p) {
if (p->first == "lookup") {
r.properties.erase(p);
return;
}
}
assert(false);
}
bool is_literal(const reagent& r) {
return SIZE(r.types) == 1 && r.types.at(0) == 0;
}
// helper for tests
void run(string form) {
vector<recipe_ordinal> tmp = load(form);
transform_all();
}
|