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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
//: Introduce a new transform to perform various checks in instructions before
//: we start running them. It'll be extensible, so that we can add checks for
//: new recipes as we extend 'run' to support them.
//:
//: Doing checking in a separate part complicates things, because the values
//: of variables in memory and the processor (current_recipe_name,
//: current_instruction) aren't available at checking time. If I had a more
//: sophisticated layer system I'd introduce the simpler version first and
//: transform it in a separate layer or set of layers.
:(after "int main")
Transform.push_back(check_instruction);
:(code)
void check_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);
if (inst.is_label) continue;
switch (inst.operation) {
// Primitive Recipe 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 (!types_match(inst.products.at(i), inst.ingredients.at(i))) {
raise << maybe(Recipe[r].name) << "can't copy " << inst.ingredients.at(i).original_string << " to " << inst.products.at(i).original_string << "; types don't match\n" << end();
goto finish_checking_instruction;
}
}
break;
}
// End Primitive Recipe Checks
default: {
// Defined Recipe Checks
// End Defined Recipe 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 1:array:number; types don't match
:(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 2:array:number; types don't match
:(scenario write_scalar_to_address_disallowed)
% Hide_warnings = true;
recipe main [
1:address:number <- copy 34
]
+warn: main: can't copy 34 to 1:address:number; types don't match
:(code)
bool types_match(reagent lhs, reagent rhs) {
// '_' never raises type error
if (is_dummy(lhs)) return true;
// to sidestep type-checking, use /raw in the source.
// this is unsafe, and will be highlighted in red inside vim. just for some tests.
if (is_raw(rhs)) return true;
// allow writing 0 to any address
if (rhs.name == "0" && is_mu_address(lhs)) return true;
if (is_literal(rhs)) return !is_mu_array(lhs) && !is_mu_address(lhs) && size_of(rhs) == size_of(lhs);
// more refined types can always be copied to less refined ones
if (SIZE(lhs.types) > SIZE(rhs.types)) return false;
if (SIZE(lhs.types) == SIZE(rhs.types)) return lhs.types == rhs.types;
rhs.types.resize(SIZE(lhs.types));
return lhs.types == rhs.types;
}
bool is_raw(const reagent& r) {
for (long long int i = /*skip value+type*/1; i < SIZE(r.properties); ++i) {
if (r.properties.at(i).first == "raw") return true;
}
return false;
}
bool is_mu_array(reagent r) {
if (is_literal(r)) return false;
return !r.types.empty() && r.types.at(0) == Type_ordinal["array"];
}
bool is_mu_address(reagent r) {
if (is_literal(r)) return false;
return !r.types.empty() && r.types.at(0) == Type_ordinal["address"];
}
bool is_mu_number(reagent r) {
if (is_literal(r))
return r.properties.at(0).second.at(0) == "literal-number"
|| r.properties.at(0).second.at(0) == "literal";
if (r.types.empty()) return false;
if (r.types.at(0) == Type_ordinal["character"]) return true; // permit arithmetic on unicode code points
return r.types.at(0) == Type_ordinal["number"];
}
bool is_mu_scalar(reagent r) {
if (is_literal(r))
return r.properties.at(0).second.empty() || r.properties.at(0).second.at(0) != "literal-string";
if (is_mu_array(r)) return false;
return size_of(r) == 1;
}
|