chessboard.arc.t « arc - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

blob: eb365b693a7f926fe1de6ded58ce754555add851 (plain) (tree)

0c145043 ^

465c5c06 ^

47588257 ^

0c145043 ^

47588257 ^

0c145043 ^

47588257 ^

10c5eed0 ^

188206bd ^

10c5eed0 ^

14a1649c ^

a27dfba3 ^

845a989f ^

c1f8217a ^

0c145043 ^

47588257 ^

f3060715 ^

79ca54b3 ^

df0485ae ^

79ca54b3 ^

df0485ae ^

79ca54b3 ^

5b698455 ^

79ca54b3 ^

6195ab7d ^

79ca54b3 ^

df0485ae ^

79ca54b3 ^

5b698455 generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-09-30 10:23:05 +0000

span>caller.name) << "cannot modify " << current_ingredient_name << " after instruction '" << inst.to_string() << "' because that would modify ingredient " << original_ingredient_name << " which is not also a product of " << caller.name << '\n' << end(); } } else { // defined recipe if (!is_mu_address(current_ingredient)) return; // making a copy is ok if (is_modified_in_recipe(inst.operation, current_ingredient_index, caller)) { if (current_ingredient_name == original_ingredient_name) raise << maybe(caller.name) << "cannot modify ingredient " << current_ingredient_name << " at instruction '" << inst.to_string() << "' because it's not also a product of " << caller.name << '\n' << end(); else raise << maybe(caller.name) << "cannot modify " << current_ingredient_name << " after instruction '" << inst.to_string() << "' because that would modify ingredient " << original_ingredient_name << " which is not also a product of " << caller.name << '\n' << end(); } } } } bool is_modified_in_recipe(recipe_ordinal r, long long int ingredient_index, const recipe& caller) { const recipe& callee = get(Recipe, r); if (!callee.has_header) { raise << maybe(caller.name) << "can't check mutability of ingredients in " << callee.name << " because it uses 'next-ingredient' directly, rather than a recipe header.\n" << end(); return true; } if (ingredient_index >= SIZE(callee.ingredients)) return false; // optional immutable ingredient return is_present_in_products(callee, callee.ingredients.at(ingredient_index).name); } bool is_present_in_products(const recipe& callee, const string& ingredient_name) { for (long long int i = 0; i < SIZE(callee.products); ++i) { if (callee.products.at(i).name == ingredient_name) return true; } return false; } bool is_present_in_ingredients(const recipe& callee, const string& ingredient_name) { for (long long int i = 0; i < SIZE(callee.ingredients); ++i) { if (callee.ingredients.at(i).name == ingredient_name) return true; } return false; } set<long long int> ingredient_indices(const instruction& inst, const set<string>& ingredient_names) { set<long long int> result; for (long long int i = 0; i < SIZE(inst.ingredients); ++i) { if (is_literal(inst.ingredients.at(i))) continue; if (ingredient_names.find(inst.ingredients.at(i).name) != ingredient_names.end()) result.insert(i); } return result; } //: Sometimes you want to pass in two addresses, one pointing inside the //: other. For example, you want to delete a node from a linked list. You //: can't pass both pointers back out, because if a caller tries to make both //: identical then you can't tell which value will be written on the way out. //: //: Experimental solution: just tell mu that one points inside the other. //: This way we can return just one pointer as high up as necessary to capture //: all modifications performed by a recipe. //: //: We'll see if we end up wanting to abuse /contained-in for other reasons. :(scenarios transform) :(scenario can_modify_contained_in_addresses) % Hide_warnings = true; container test-list [ next:address:test-list ] recipe main [ local-scope p:address:test-list <- new test-list:type foo p ] recipe foo p:address:test-list -> p:address:test-list [ local-scope load-ingredients p2:address:test-list <- test-next p p <- test-remove p2, p ] recipe test-next x:address:test-list -> y:address:test-list [ local-scope load-ingredients y <- get *x, next:offset ] recipe test-remove x:address:test-list/contained-in:from, from:address:test-list -> from:address:test-list [ local-scope load-ingredients x2:address:address:test-list <- get-address *x, next:offset # pretend modification ] $warn: 0 :(before "End Immutable Ingredients Special-cases") if (has_property(current_ingredient, "contained-in")) { const string_tree* tmp = property(current_ingredient, "contained-in"); if (tmp->left || tmp->right || !is_present_in_ingredients(caller, tmp->value) || !is_present_in_products(caller, tmp->value)) raise_error << maybe(caller.name) << "contained-in can only point to another ingredient+product, but got " << debug_string(property(current_ingredient, "contained-in")) << '\n' << end(); continue; } </pre> </body> </html>