//: Some simple sanity checks for types, and also attempts to guess them where
//: they aren't provided.
//:
//: You still have to provide the full type the first time you mention a
//: variable in a recipe. You have to explicitly name :offset and :variant
//: every single time. You can't use the same name with multiple types in a
//: single recipe.
:(scenario transform_fails_on_reusing_name_with_different_type)
% Hide_errors = true;
recipe main [
x:number <- copy 1
x:boolean <- copy 1
]
+error: main: x used with multiple types
:(before "Transform.push_back(transform_names)")
Transform.push_back(check_types_by_name);
:(code)
void check_types_by_name(const recipe_ordinal r) {
trace(9991, "transform") << "--- deduce types for recipe " << Recipe[r].name << end();
map<string, type_tree*> type;
map<string, string_tree*> type_name;
for (long long int i = 0; i < SIZE(Recipe[r].steps); ++i) {
instruction& inst = Recipe[r].steps.at(i);
for (long long int in = 0; in < SIZE(inst.ingredients); ++in) {
deduce_missing_type(type, type_name, inst.ingredients.at(in));
check_type(type, type_name, inst.ingredients.at(in), r);
}
for (long long int out = 0; out < SIZE(inst.products); ++out) {
deduce_missing_type(type, type_name, inst.products.at(out));
check_type(type, type_name, inst.products.at(out), r);
}
}
}
void check_type(map<string, type_tree*>& type, map<string, string_tree*>& type_name, const reagent& x, const recipe_ordinal r) {
if (is_literal(x)) return;
if (is_raw(x)) return; // TODO: delete this
// if you use raw locations you're probably doing something unsafe
if (is_integer(x.name)) return;
if (!x.type) return; // will throw a more precise error elsewhere
if (type.find(x.name) == type.end()) {
trace(9992, "transform") << x.name << " => " << dump_types(x) << end();
type[x.name] = x.type;
}
if (type_name.find(x.name) == type_name.end()) {
type_name[x.name] = x.properties.at(0).second;
}
if (!types_match(type[x.name], x.type))
raise_error << maybe(Recipe[r].name) << x.name << " used with multiple types\n" << end();
}
:(scenario transform_fills_in_missing_types)
recipe main [
x:number <- copy 1
y:number <- add x, 1
]
:(code)
void deduce_missing_type(map<string, type_tree*>& type, map<string, string_tree*>& type_name, reagent& x) {
if (x.type) return;
if (type.find(x.name) == type.end()) return;
x.type = new type_tree(*type[x.name]);
trace(9992, "transform") << x.name << " <= " << dump_types(x) << end();
assert(!x.properties.at(0).second);
x.properties.at(0).second = new string_tree(*type_name[x.name]);
}
:(scenario transform_fills_in_missing_types_in_product)
recipe main [
x:number <- copy 1
x <- copy 2
]
:(scenario transform_fills_in_missing_types_in_product_and_ingredient)
recipe main [
x:number <- copy 1
x <- add x, 1
]
+mem: storing 2 in location 1
:(scenario transform_fails_on_missing_types_in_first_mention)
% Hide_errors = true;
recipe main [
x <- copy 1
x:number <- copy 2
]
+error: main: missing type for x in 'x <- copy 1'
:(scenario typo_in_address_type_fails)
% Hide_errors = true;
recipe main [
y:address:charcter <- new character:type
*y <- copy 67
]
+error: main: unknown type in 'y:address:charcter <- new character:type'