033exclusive_container.cc - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

blob: 29a524c9cca7d0cb88a08c0495cb6bde383e5161 (plain) (tree)

69f3fb0a ^

5497090a ^

69f3fb0a ^

795f5244 ^

a5401241 ^

795f5244 ^

97cf12b1 ^

3adc9e08 ^

69f3fb0a ^

5ba4eab4 ^

db2617ee ^

88be3dbc ^

69f3fb0a ^

1ead3562 ^

192d59d3 ^

b94ea5c8 ^

69f3fb0a ^

1211a3ab ^

f890f147 ^

1211a3ab ^

3377364a ^

571791ba ^

af023b32 ^

571791ba ^

69f3fb0a ^

97a41843 ^

6c96a437 ^

af023b32 ^

571791ba ^

3377364a ^

97a41843 ^

69f3fb0a ^

97a41843 ^

af023b32 ^

69f3fb0a ^

6ea73c22 ^

7284d503 ^

dd994cda ^

795f5244 generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-07-26 20:53:25 +0000

quot;>(int i = 0; i < SIZE(inst.ingredients); ++i) { if (is_literal(inst.ingredients.at(i))) continue; if (ingredient_names.find(inst.ingredients.at(i)) != 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) container test-list [ value:number next:address:test-list ] def main [ local-scope p:address:test-list <- new test-list:type foo p ] def 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 ] def test-next x:address:test-list -> y:address:test-list [ local-scope load-ingredients y <- get *x, next:offset ] def test-remove x:address:test-list/contained-in:from, from:address:test-list -> from:address:test-list [ local-scope load-ingredients *x <- put *x, value:offset, 34 # can modify x ] $error: 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->atom || !is_present_in_ingredients(caller, tmp->value) || !is_present_in_products(caller, tmp->value)) raise << maybe(caller.name) << "/contained-in can only point to another ingredient or product, but got '" << to_string(property(current_ingredient, "contained-in")) << "'\n" << end(); continue; } </pre> </body> </html>