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

	Commit message (Expand)	Author	Age	Files	Lines
*	4239	Kartik Agaram	2018-05-08	1	-6/+6
*	4200	Kartik K. Agaram	2018-01-27	1	-5/+5
*	4199	Kartik K. Agaram	2018-01-25	1	-11/+11
*	4164	Kartik K. Agaram	2017-12-27	1	-1/+1
*	4161	Kartik K. Agaram	2017-12-15	1	-4/+4
*	3934	Kartik K. Agaram	2017-06-20	1	-1/+1
*	3830 - crosslink shape-shifting containers in html	Kartik K. Agaram	2017-04-18	1	-2/+2
*	3764 - better colors for cross-links	Kartik K. Agaram	2017-03-08	1	-3/+4
*	3761	Kartik K. Agaram	2017-03-07	1	-2/+2
*	3725	Kartik K. Agaram	2016-12-27	1	-1/+1
*	3716	Kartik K. Agaram	2016-12-26	1	-0/+2
*	3713 - cross-link calls with definitions in html	Kartik K. Agaram	2016-12-26	1	-4/+4
*	3710	Kartik K. Agaram	2016-12-26	1	-28/+28
*	3709 - line numbers in html	Kartik K. Agaram	2016-12-26	1	-31/+55
*	3604	Kartik K. Agaram	2016-10-27	1	-2/+2
*	3569	Kartik K. Agaram	2016-10-23	1	-5/+5
*	3543	Kartik K. Agaram	2016-10-22	1	-9/+1
*	3524	Kartik K. Agaram	2016-10-20	1	-38/+1
*	3491	Kartik K. Agaram	2016-10-09	1	-0/+108

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <title>Mu - 072recipe.cc</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v2"> <meta name="syntax" content="cpp"> <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy="> <meta name="colorscheme" content="minimal"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body onload='JumpToLine();'> <pre id='vimCodeElement'> 1 //: So far we've been calling a fixed recipe in each instruction, but we'd 2 //: also like to make the recipe a variable, pass recipes to "higher-order" 3 //: recipes, return recipes from recipes and so on. 4 5 :(scenario call_literal_recipe) 6 def <a href='000organization.cc.html#L113'>main</a> [ 7 1:num <- call f, 34 8 ] 9 def f x:num -> y:num [ 10 local-scope 11 load-ingredients 12 y <- copy x 13 ] 14 +mem: storing 34 in location 1 15 16 :(before "End Mu Types Initialization") 17 <a href='001help.cc.html#L221'>put</a>(Type_ordinal, "recipe-literal", 0); 18 // 'recipe' variables can store recipe-literal 19 <a href='010vm.cc.html#L124'>type_ordinal</a> <a href='010vm.cc.html#L19'>recipe</a> = <a href='001help.cc.html#L221'>put</a>(Type_ordinal, "recipe", Next_type_ordinal++); 20 <a href='001help.cc.html#L229'>get_or_insert</a>(Type, <a href='010vm.cc.html#L19'>recipe</a>).name = "recipe"; 21 22 :(after "Deduce Missing Type(x, caller)") 23 if (!x.type) 24 <a href='072recipe.cc.html#L29'>try_initialize_recipe_literal</a>(x, caller); 25 :(before "Type Check in Type-ingredient-aware check_or_set_types_by_name") 26 if (!x.type) 27 <a href='072recipe.cc.html#L29'>try_initialize_recipe_literal</a>(x, variant); 28 :(code) 29 void <a href='072recipe.cc.html#L29'>try_initialize_recipe_literal</a>(reagent& x, const recipe& caller) { 30 if (x.type) return; 31 if (!contains_key(Recipe_ordinal, x.name)) return; 32 if (<a href='072recipe.cc.html#L36'>contains_reagent_with_non_recipe_literal_type</a>(caller, x.name)) return; 33 x.type = new type_tree("recipe-literal"); 34 x.<a href='010vm.cc.html#L66'>set_value</a>(get(Recipe_ordinal, x.name)); 35 } 36 bool <a href='072recipe.cc.html#L36'>contains_reagent_with_non_recipe_literal_type</a>(const recipe& caller, const string& name) { 37 for (int i = 0; i < <a href='001help.cc.html#L141'>SIZE</a>(caller.steps); ++i) { 38 const instruction& inst = caller.steps.at(i); 39 for (int i = 0; i < <a href='001help.cc.html#L141'>SIZE</a>(inst.ingredients); ++i) 40 if (<a href='072recipe.cc.html#L46'>is_matching_non_recipe_literal</a>(inst.ingredients.at(i), name)) return true; 41 for (int i = 0; i < <a href='001help.cc.html#L141'>SIZE</a>(inst.products); ++i) 42 if (<a href='072recipe.cc.html#L46'>is_matching_non_recipe_literal</a>(inst.products.at(i), name)) return true; 43 } 44 return false; 45 } 46 bool <a href='072recipe.cc.html#L46'>is_matching_non_recipe_literal</a>(const reagent& x, const string& name) { 47 if (x.name != name) return false; 48 if (!x.type) return false; 49 return !x.type->atom || x.type->name != "recipe-literal"; 50 } 51 52 //: It's confusing to use variable names that are also recipe names. Always 53 //: assume variable types override recipe literals. 54 :(scenario error_on_recipe_literal_used_as_a_variable) 55 % Hide_errors = true; 56 def <a href='000organization.cc.html#L113'>main</a> [ 57 local-scope 58 a:bool <- equal break 0 59 break:bool <- copy 0 60 ] 61 +error: <a href='000organization.cc.html#L113'>main</a>: missing type for 'break' in 'a:bool <- equal break, 0' 62 63 :(before "End Primitive Recipe Declarations") 64 CALL, 65 :(before "End Primitive Recipe Numbers") 66 <a href='001help.cc.html#L221'>put</a>(Recipe_ordinal, "call", CALL); 67 :(before "End Primitive Recipe Checks") 68 case CALL: { 69 if (inst.ingredients.empty()) { 70 <a href='003trace.cc.html#L174'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(get(Recipe, r).name) << "'call' requires at least one ingredient (the <a href='010vm.cc.html#L19'>recipe</a> to call)\n" << <a href='003trace.cc.html#L203'>end</a>(); 71 break; 72 } 73 if (!is_mu_recipe(inst.ingredients.at(0))) { 74 <a href='003trace.cc.html#L174'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(get(Recipe, r).name) << "first ingredient of 'call' should be a <a href='010vm.cc.html#L19'>recipe</a>, but got '" << inst.ingredients.at(0).original_string << "'\n" << <a href='003trace.cc.html#L203'>end</a>(); 75 break; 76 } 77 break; 78 } 79 :(before "End Primitive Recipe Implementations") 80 case CALL: { 81 // Begin Call 82 if (Trace_stream) { 83 ++Trace_stream->callstack_depth; 84 <a href='003trace.cc.html#L167'>trace</a>("trace") << "indirect 'call': incrementing callstack depth to " << Trace_stream->callstack_depth << <a href='003trace.cc.html#L203'>end</a>(); 85 assert(Trace_stream->callstack_depth < 9000); // 9998-101 plus cushion 86 } 87 if (!ingredients.at(0).at(0)) { 88 <a href='003trace.cc.html#L174'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(<a href='026call.cc.html#L87'>current_recipe_name</a>()) << "tried to call empty <a href='010vm.cc.html#L19'>recipe</a> in '" << to_string(current_instruction()) << "'" << <a href='003trace.cc.html#L203'>end</a>(); 89 break; 90 } 91 const call& caller_frame = <a href='026call.cc.html#L83'>current_call</a>(); 92 <a href='010vm.cc.html#L32'>instruction</a>/*copy*/ call_instruction = <a href='026call.cc.html#L88'>to_instruction</a>(caller_frame); 93 call_instruction.operation = ingredients.at(0).at(0); 94 call_instruction.ingredients.erase(call_instruction.ingredients.begin()); 95 Current_routine->calls.push_front(call(ingredients.at(0).at(0))); 96 ingredients.erase(ingredients.begin()); // drop the callee 97 finish_call_housekeeping(call_instruction, ingredients); 98 // not done with caller 99 write_products = false; 100 fall_through_to_next_instruction = false; 101 break; 102 } 103 104 :(scenario call_variable) 105 def <a href='000organization.cc.html#L113'>main</a> [ 106 {1: (<a href='010vm.cc.html#L19'>recipe</a> number -> number)} <- copy f 107 2:num <- call {1: (<a href='010vm.cc.html#L19'>recipe</a> number -> number)}, 34 108 ] 109 def f x:num -> y:num [ 110 local-scope 111 load-ingredients 112 y <- copy x 113 ] 114 +mem: storing 34 in location 2 115 116 :(scenario call_literal_recipe_repeatedly) 117 def <a href='000organization.cc.html#L113'>main</a> [ 118 1:num <- call f, 34 119 1:num <- call f, 35 120 ] 121 def f x:num -> y:num [ 122 local-scope 123 load-ingredients 124 y <- copy x 125 ] 126 +mem: storing 34 in location 1 127 +mem: storing 35 in location 1 128 129 :(scenario call_shape_shifting_recipe) 130 def <a href='000organization.cc.html#L113'>main</a> [ 131 1:num <- call f, 34 132 ] 133 def f x:_elem -> y:_elem [ 134 local-scope 135 load-ingredients 136 y <- copy x 137 ] 138 +mem: storing 34 in location 1 139 140 :(scenario call_shape_shifting_recipe_inside_shape_shifting_recipe) 141 def <a href='000organization.cc.html#L113'>main</a> [ 142 1:num <- f 34 143 ] 144 def f x:_elem -> y:_elem [ 145 local-scope 146 load-ingredients 147 y <- call g x 148 ] 149 def g x:_elem -> y:_elem [ 150 local-scope 151 load-ingredients 152 y <- copy x 153 ] 154 +mem: storing 34 in location 1 155 156 :(scenario call_shape_shifting_recipe_repeatedly_inside_shape_shifting_recipe) 157 def <a href='000organization.cc.html#L113'>main</a> [ 158 1:num <- f 34 159 ] 160 def f x:_elem -> y:_elem [ 161 local-scope 162 load-ingredients 163 y <- call g x 164 y <- call g x 165 ] 166 def g x:_elem -> y:_elem [ 167 local-scope 168 load-ingredients 169 y <- copy x 170 ] 171 +mem: storing 34 in location 1 172 173 //:: check types for 'call' instructions 174 175 :(scenario call_check_literal_recipe) 176 % Hide_errors = true; 177 def <a href='000organization.cc.html#L113'>main</a> [ 178 1:num <- call f, 34 179 ] 180 def f x:point -> y:point [ 181 local-scope 182 load-ingredients 183 y <- copy x 184 ] 185 +error: <a href='000organization.cc.html#L113'>main</a>: ingredient 0 has the wrong type at '1:num <- call f, 34' 186 +error: <a href='000organization.cc.html#L113'>main</a>: product 0 has the wrong type at '1:num <- call f, 34' 187 188 :(scenario call_check_variable_recipe) 189 % Hide_errors = true; 190 def <a href='000organization.cc.html#L113'>main</a> [ 191 {1: (<a href='010vm.cc.html#L19'>recipe</a> point -> point)} <- copy f 192 2:num <- call {1: (<a href='010vm.cc.html#L19'>recipe</a> point -> point)}, 34 193 ] 194 def f x:point -> y:point [ 195 local-scope 196 load-ingredients 197 y <- copy x 198 ] 199 +error: <a href='000organization.cc.html#L113'>main</a>: ingredient 0 has the wrong type at '2:num <- call {1: (recipe point -> point)}, 34' 200 +error: <a href='000organization.cc.html#L113'>main</a>: product 0 has the wrong type at '2:num <- call {1: (recipe point -> point)}, 34' 201 202 :(before "End resolve_ambiguous_call(r, index, inst, caller_recipe) Special-cases") 203 if (inst.name == "call" && !inst.ingredients.empty() && <a href='072recipe.cc.html#L208'>is_recipe_literal</a>(inst.ingredients.at(0))) { 204 <a href='072recipe.cc.html#L211'>resolve_indirect_ambiguous_call</a>(r, index, inst, caller_recipe); 205 return; 206 } 207 :(code) 208 bool <a href='072recipe.cc.html#L208'>is_recipe_literal</a>(const reagent& x) { 209 return x.type && x.type->atom && x.type->name == "recipe-literal"; 210 } 211 void <a href='072recipe.cc.html#L211'>resolve_indirect_ambiguous_call</a>(const <a href='010vm.cc.html#L14'>recipe_ordinal</a> r, int index, instruction& inst, const recipe& caller_recipe) { 212 <a href='010vm.cc.html#L32'>instruction</a> inst2; 213 inst2.name = inst.ingredients.at(0).name; 214 for (int i = /*skip <a href='010vm.cc.html#L19'>recipe</a>*/1; i < <a href='001help.cc.html#L141'>SIZE</a>(inst.ingredients); ++i) 215 inst2.ingredients.push_back(inst.ingredients.at(i)); 216 for (int i = 0; i < <a href='001help.cc.html#L141'>SIZE</a>(inst.products); ++i) 217 inst2.products.push_back(inst.products.at(i)); 218 <a href='054static_dispatch.cc.html#L173'>resolve_ambiguous_call</a>(r, index, inst2, caller_recipe); 219 inst.ingredients.at(0).name = inst2.name; 220 inst.ingredients.at(0).<a href='010vm.cc.html#L66'>set_value</a>(get(Recipe_ordinal, inst2.name)); 221 } 222 223 :(after "Transform.push_back(check_instruction)") 224 Transform.push_back(<a href='072recipe.cc.html#L226'>check_indirect_calls_against_header</a>); // idempotent 225 :(code) 226 void <a href='072recipe.cc.html#L226'>check_indirect_calls_against_header</a>(const <a href='010vm.cc.html#L14'>recipe_ordinal</a> r) { 227 <a href='003trace.cc.html#L167'>trace</a>(9991, "transform") << "--- type-check 'call' instructions inside <a href='010vm.cc.html#L19'>recipe</a> " << get(Recipe, r).name << <a href='003trace.cc.html#L203'>end</a>(); 228 const recipe& caller = get(Recipe, r); 229 for (int i = 0; i < <a href='001help.cc.html#L141'>SIZE</a>(caller.steps); ++i) { 230 const instruction& inst = caller.steps.at(i); 231 if (!is_indirect_call(inst.operation)) continue; 232 if (inst.ingredients.empty()) continue; // error raised above 233 const reagent& callee = inst.ingredients.at(0); 234 if (!is_mu_recipe(callee)) continue; // error raised above 235 const <a href='010vm.cc.html#L19'>recipe</a> callee_header = is_literal(callee) ? get(Recipe, callee.value) : <a href='072recipe.cc.html#L268'>from_reagent</a>(inst.ingredients.at(0)); 236 if (!callee_header.has_header) continue; 237 if (<a href='072recipe.cc.html#L257'>is_indirect_call_with_ingredients</a>(inst.operation)) { 238 for (long int i = /*skip callee*/1; i < min(<a href='001help.cc.html#L141'>SIZE</a>(inst.ingredients), <a href='001help.cc.html#L141'>SIZE</a>(callee_header.ingredients)+/*skip callee*/1); ++i) { 239 if (!types_coercible(callee_header.ingredients.at(i-/*skip callee*/1), inst.ingredients.at(i))) 240 <a href='003trace.cc.html#L174'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(caller.name) << "ingredient " << i-/*skip callee*/1 << " has the wrong type at '" << to_original_string(inst) << "'\n" << <a href='003trace.cc.html#L203'>end</a>(); 241 } 242 } 243 if (<a href='072recipe.cc.html#L262'>is_indirect_call_with_products</a>(inst.operation)) { 244 for (long int i = 0; i < min(<a href='001help.cc.html#L141'>SIZE</a>(inst.products), <a href='001help.cc.html#L141'>SIZE</a>(callee_header.products)); ++i) { 245 if (is_dummy(inst.products.at(i))) continue; 246 if (!types_coercible(callee_header.products.at(i), inst.products.at(i))) 247 <a href='003trace.cc.html#L174'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(caller.name) << "product " <" has the wrong type at '" << to_original_string(inst) << "'\n" << <a href='003trace.cc.html#L203'>end</a>(); 248 } 249 } 250 } 251 } 252 253 bool <a href='072recipe.cc.html#L253'>is_indirect_call</a>(const <a href='010vm.cc.html#L14'>recipe_ordinal</a> r) { 254 return <a href='072recipe.cc.html#L257'>is_indirect_call_with_ingredients</a>(r) || <a href='072recipe.cc.html#L262'>is_indirect_call_with_products</a>(r); 255 } 256 257 bool <a href='072recipe.cc.html#L257'>is_indirect_call_with_ingredients</a>(const <a href='010vm.cc.html#L14'>recipe_ordinal</a> r) { 258 if (r == CALL) return true; 259 // End is_indirect_call_with_ingredients Special-cases 260 return false; 261 } 262 bool <a href='072recipe.cc.html#L262'>is_indirect_call_with_products</a>(const <a href='010vm.cc.html#L14'>recipe_ordinal</a> r) { 263 if (r == CALL) return true; 264 // End is_indirect_call_with_products Special-cases 265 return false; 266 } 267 268 <a href='010vm.cc.html#L19'>recipe</a> <a href='072recipe.cc.html#L268'>from_reagent</a>(const reagent& r) { 269 assert(r.type); 270 <a href='010vm.cc.html#L19'>recipe</a> result_header; // will contain only ingredients and products, nothing else 271 result_header.has_header = true; 272 // Begin Reagent->Recipe(r, recipe_header) 273 if (r.type->atom) { 274 assert(r.type->name == "recipe"); 275 return result_header; 276 } 277 const type_tree* root_type = r.type->atom ? r.type : r.type->left; 278 assert(root_type->atom); 279 assert(root_type->name == "recipe"); 280 const type_tree* curr = r.type->right; 281 for (/*nada*/; curr && !curr->atom; curr = curr->right) { 282 if (curr->left->atom && curr->left->name == "->") { 283 curr = curr->right; // skip delimiter 284 goto read_products; 285 } 286 result_header.ingredients.push_back(<a href='072recipe.cc.html#L330'>next_recipe_reagent</a>(curr->left)); 287 } 288 if (curr) { 289 assert(curr->atom); 290 result_header.ingredients.push_back(<a href='072recipe.cc.html#L330'>next_recipe_reagent</a>(curr)); 291 return result_header; // no products 292 } 293 read_products: 294 for (/*nada*/; curr && !curr->atom; curr = curr->right) 295 result_header.products.push_back(<a href='072recipe.cc.html#L330'>next_recipe_reagent</a>(curr->left)); 296 if (curr) { 297 assert(curr->atom); 298 result_header.products.push_back(<a href='072recipe.cc.html#L330'>next_recipe_reagent</a>(curr)); 299 } 300 return result_header; 301 } 302 303 :(before "End Unit Tests") 304 void <a href='072recipe.cc.html#L304'>test_from_reagent_atomic</a>() { 305 reagent a("{f: recipe}"); 306 <a href='010vm.cc.html#L19'>recipe</a> r_header = <a href='072recipe.cc.html#L268'>from_reagent</a>(a); 307 <a href='002test.cc.html#L24'>CHECK</a>(r_header.ingredients.empty()); 308 <a href='002test.cc.html#L24'>CHECK</a>(r_header.products.empty()); 309 } 310 void <a href='072recipe.cc.html#L310'>test_from_reagent_non_atomic</a>() { 311 reagent a("{f: (recipe number -> number)}"); 312 <a href='010vm.cc.html#L19'>recipe</a> r_header = <a href='072recipe.cc.html#L268'>from_reagent</a>(a); 313 <a href='002test.cc.html#L31'>CHECK_EQ</a>(<a href='001help.cc.html#L141'>SIZE</a>(r_header.ingredients), 1); 314 <a href='002test.cc.html#L31'>CHECK_EQ</a>(<a href='001help.cc.html#L141'>SIZE</a>(r_header.products), 1); 315 } 316 void <a href='072recipe.cc.html#L316'>test_from_reagent_reads_ingredient_at_end</a>() { 317 reagent a("{f: (recipe number number)}"); 318 <a href='010vm.cc.html#L19'>recipe</a> r_header = <a href='072recipe.cc.html#L268'>from_reagent</a>(a); 319 <a href='002test.cc.html#L31'>CHECK_EQ</a>(<a href='001help.cc.html#L141'>SIZE</a>(r_header.ingredients), 2); 320 <a href='002test.cc.html#L24'>CHECK</a>(r_header.products.empty()); 321 } 322 void <a href='072recipe.cc.html#L322'>test_from_reagent_reads_sole_ingredient_at_end</a>() { 323 reagent a("{f: (recipe number)}"); 324 <a href='010vm.cc.html#L19'>recipe</a> r_header = <a href='072recipe.cc.html#L268'>from_reagent</a>(a); 325 <a href='002test.cc.html#L31'>CHECK_EQ</a>(<a href='001help.cc.html#L141'>SIZE</a>(r_header.ingredients), 1); 326 <a href='002test.cc.html#L24'>CHECK</a>(r_header.products.empty()); 327 } 328 329 :(code) 330 reagent <a href='072recipe.cc.html#L330'>next_recipe_reagent</a>(const type_tree* curr) { 331 if (!curr->left) return reagent("recipe:"+curr->name); 332 return reagent(new type_tree(*curr)); 333 } 334 335 bool <a href='072recipe.cc.html#L335'>is_mu_recipe</a>(const reagent& r) { 336 if (!r.type) return false; 337 if (r.type->atom) { 338 // End is_mu_recipe Atom Cases(r) 339 return r.type->name == "recipe-literal"; 340 } 341 return r.type->left->atom && r.type->left->name == "recipe"; 342 } 343 344 :(scenario copy_typecheck_recipe_variable) 345 % Hide_errors = true; 346 def <a href='000organization.cc.html#L113'>main</a> [ 347 3:num <- copy 34 # abc def 348 {1: (<a href='010vm.cc.html#L19'>recipe</a> number -> number)} <- copy f # store literal in a matching variable 349 {2: (<a href='010vm.cc.html#L19'>recipe</a> boolean -> boolean)} <- copy {1: (<a href='010vm.cc.html#L19'>recipe</a> number -> number)} # mismatch between recipe variables 350 ] 351 def f x:num -> y:num [ 352 local-scope 353 load-ingredients 354 y <- copy x 355 ] 356 +error: <a href='000organization.cc.html#L113'>main</a>: can't copy '{1: (recipe number -> number)}' to '{2: (recipe boolean -> boolean)}'; types don't match 357 358 :(scenario copy_typecheck_recipe_variable_2) 359 % Hide_errors = true; 360 def <a href='000organization.cc.html#L113'>main</a> [ 361 {1: (<a href='010vm.cc.html#L19'>recipe</a> number -> number)} <- copy f # mismatch with a recipe literal 362 ] 363 def f x:bool -> y:bool [ 364 local-scope 365 load-ingredients 366 y <- copy x 367 ] 368 +error: <a href='000organization.cc.html#L113'>main</a>: can't copy 'f' to '{1: (recipe number -> number)}'; types don't match 369 370 :(before "End Matching Types For Literal(to)") 371 if (<a href='072recipe.cc.html#L335'>is_mu_recipe</a>(to)) { 372 if (!contains_key(Recipe, from.value)) { 373 <a href='003trace.cc.html#L174'>raise</a> << "trying to store <a href='010vm.cc.html#L19'>recipe</a> " << from.name << " into " << <a href='028call_return.cc.html#L163'>to_string</a>(to) << " but there's no such recipe\n" << end(); 374 return false; 375 } 376 const recipe& rrhs = get(Recipe, from.value); 377 const recipe& rlhs = <a href='072recipe.cc.html#L268'>from_reagent</a>(to); 378 for (long int i = 0; i < min(<a href='001help.cc.html#L141'>SIZE</a>(rlhs.ingredients), <a href='001help.cc.html#L141'>SIZE</a>(rrhs.ingredients)); ++i) { 379 if (!types_match(rlhs.ingredients.at(i), rrhs.ingredients.at(i))) 380 return false; 381 } 382 for (long int i = 0; i < min(<a href='001help.cc.html#L141'>SIZE</a>(rlhs.products), <a href='001help.cc.html#L141'>SIZE</a>(rrhs.products)); ++i) { 383 if (!types_match(rlhs.products.at(i), rrhs.products.at(i))) 384 return false; 385 } 386 return true; 387 } 388 389 :(scenario call_variable_compound_ingredient) 390 def <a href='000organization.cc.html#L113'>main</a> [ 391 {1: (<a href='010vm.cc.html#L19'>recipe</a> (<a href='043space.cc.html#L80'>address</a> number) -> number)} <- copy f 392 2:&:num <- copy 0 393 3:num <- call {1: (<a href='010vm.cc.html#L19'>recipe</a> (<a href='043space.cc.html#L80'>address</a> number) -> number)}, 2:&:num 394 ] 395 def f x:&:num -> y:num [ 396 local-scope 397 load-ingredients 398 y <- copy x 399 ] 400 $error: 0 401 402 //: make sure we don't accidentally break on a recipe literal 403 :(scenario jump_forbidden_on_recipe_literals) 404 % Hide_errors = true; 405 def foo [ 406 local-scope 407 ] 408 def <a href='000organization.cc.html#L113'>main</a> [ 409 local-scope 410 { 411 break-if foo 412 } 413 ] 414 # error should be as if foo is not a recipe 415 +error: <a href='000organization.cc.html#L113'>main</a>: missing type for 'foo' in 'break-if foo' 416 417 :(before "End JUMP_IF Checks") 418 <a href='072recipe.cc.html#L422'>check_for_recipe_literals</a>(inst, get(Recipe, r)); 419 :(before "End JUMP_UNLESS Checks") 420 <a href='072recipe.cc.html#L422'>check_for_recipe_literals</a>(inst, get(Recipe, r)); 421 :(code) 422 void <a href='072recipe.cc.html#L422'>check_for_recipe_literals</a>(const instruction& inst, const recipe& caller) { 423 for (int i = 0; i < <a href='001help.cc.html#L141'>SIZE</a>(inst.ingredients); ++i) { 424 if (<a href='072recipe.cc.html#L335'>is_mu_recipe</a>(inst.ingredients.at(i))) { 425 <a href='003trace.cc.html#L174'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(caller.name) << "missing type for '" << inst.ingredients.at(i).original_string << "' in '" << to_original_string(inst) << "'\n" << <a href='003trace.cc.html#L203'>end</a>(); 426 if (is_present_in_ingredients(caller, inst.ingredients.at(i).name)) 427 <a href='003trace.cc.html#L174'>raise</a> << " did you forget 'load-ingredients'?\n" << <a href='003trace.cc.html#L203'>end</a>(); 428 } 429 } 430 } 431 432 :(scenario load_ingredients_missing_error_3) 433 % Hide_errors = true; 434 def foo {f: (<a href='010vm.cc.html#L19'>recipe</a> num -> num)} [ 435 local-scope 436 b:num <- call f, 1 437 ] 438 +error: foo: missing type for 'f' in 'b:num <- call f, 1' 439 +error: did you forget 'load-ingredients'? 440 441 :(before "End Mu Types Initialization") 442 <a href='001help.cc.html#L221'>put</a>(Type_abbreviations, "function", <a href='018type_abbreviations.cc.html#L58'>new_type_tree</a>("recipe")); 443 <a href='001help.cc.html#L221'>put</a>(Type_abbreviations, "fn", <a href='018type_abbreviations.cc.html#L58'>new_type_tree</a>("recipe")); 444 445 //: copying functions to variables 446 447 :(scenario copy_recipe_to_variable) 448 def <a href='000organization.cc.html#L113'>main</a> [ 449 {1: (fn number -> number)} <- copy f 450 2:num <- call {1: (function number -> number)}, 34 451 ] 452 def f x:num -> y:num [ 453 local-scope 454 load-ingredients 455 y <- copy x 456 ] 457 +mem: storing 34 in location 2 458 459 :(scenario copy_overloaded_recipe_to_variable) 460 def <a href='000organization.cc.html#L113'>main</a> [ 461 local-scope 462 {x: (fn num -> num)} <- copy f 463 1:num/raw <- call x, 34 464 ] 465 # variant f 466 def f x:bool -> y:bool [ 467 local-scope 468 load-ingredients 469 y <- copy x 470 ] 471 # variant f_2 472 def f x:num -> y:num [ 473 local-scope 474 load-ingredients 475 y <- copy x 476 ] 477 # x contains f_2 478 +mem: storing 34 in location 1 479 480 :(before "End resolve_ambiguous_call(r, index, inst, caller_recipe) Special-cases") 481 if (inst.name == "copy") { 482 for (int i = 0; i < <a href='001help.cc.html#L141'>SIZE</a>(inst.ingredients); ++i) { 483 if (!is_recipe_literal(inst.ingredients.at(i))) continue; 484 if (<a href='054static_dispatch.cc.html#L370'>non_ghost_size</a>(<a href='001help.cc.html#L229'>get_or_insert</a>(Recipe_variants, inst.ingredients.at(i).name)) < 1) continue; 485 // potentially overloaded recipe 486 string new_name = <a href='054static_dispatch.cc.html#L173'>resolve_ambiguous_call</a>(inst.ingredients.at(i).name, inst.products.at(i), r, index, caller_recipe); 487 if (new_name == "") continue; 488 inst.ingredients.at(i).name = new_name; 489 inst.ingredients.at(i).value = get(Recipe_ordinal, new_name); 490 } 491 return; 492 } 493 :(code) 494 string <a href='054static_dispatch.cc.html#L173'>resolve_ambiguous_call</a>(const string& recipe_name, const reagent& call_types, const <a href='010vm.cc.html#L14'>recipe_ordinal</a> r, int index, const recipe& caller_recipe) { 495 <a href='010vm.cc.html#L32'>instruction</a> inst; 496 inst.name = recipe_name; 497 if (!is_mu_recipe(call_types)) return ""; // error raised elsewhere 498 if (<a href='072recipe.cc.html#L208'>is_recipe_literal</a>(call_types)) return ""; // error raised elsewhere 499 construct_fake_call(call_types, inst); 500 <a href='054static_dispatch.cc.html#L173'>resolve_ambiguous_call</a>(r, index, inst, caller_recipe); 501 return inst.name; 502 } 503 void construct_fake_call(const reagent& recipe_var, instruction& out) { 504 assert(recipe_var.type->left->name == "recipe"); 505 type_tree* stem = NULL; 506 for (stem = recipe_var.type->right; stem && stem->left->name != "->"; stem = stem->right) 507 out.ingredients.push_back(copy(stem->left)); 508 if (stem == NULL) return; 509 for (/*skip '->'*/stem = stem->right; stem; stem = stem->right) 510 out.products.push_back(copy(stem->left)); 511 } 512 513 :(scenario copy_shape_shifting_recipe_to_variable) 514 def <a href='000organization.cc.html#L113'>main</a> [ 515 local-scope 516 {x: (fn num -> num)} <- copy f 517 1:num/raw <- call x, 34 518 ] 519 def f x:_elem -> y:_elem [ 520 local-scope 521 load-inputs 522 y <- copy x 523 ] 524 +mem: storing 34 in location 1 525 526 //: passing function literals to (higher-order) functions 527 528 :(scenario pass_overloaded_recipe_literal_to_ingredient) 529 # like copy_overloaded_recipe_to_variable except we bind 'x' in the course of 530 # a 'call' rather than 'copy' 531 def <a href='000organization.cc.html#L113'>main</a> [ 532 1:num <- g f 533 ] 534 def g {x: (fn num -> num)} -> result:num [ 535 local-scope 536 load-ingredients 537 result <- call x, 34 538 ] 539 # variant f 540 def f x:bool -> y:bool [ 541 local-scope 542 load-ingredients 543 y <- copy x 544 ] 545 # variant f_2 546 def f x:num -> y:num [ 547 local-scope 548 load-ingredients 549 y <- copy x 550 ] 551 # x contains f_2 552 +mem: storing 34 in location 1 553 554 :(after "End resolve_ambiguous_call(r, index, inst, caller_recipe) Special-cases") 555 for (int i = 0; i < <a href='001help.cc.html#L141'>SIZE</a>(inst.ingredients); ++i) { 556 if (!is_mu_recipe(inst.ingredients.at(i))) continue; 557 if (<a href='054static_dispatch.cc.html#L370'>non_ghost_size</a>(<a href='001help.cc.html#L229'>get_or_insert</a>(Recipe_variants, inst.ingredients.at(i).name)) < 1) continue; 558 if (get(Recipe_ordinal, inst.name) < <a href='010vm.cc.html#L192'>MAX_PRIMITIVE_RECIPES</a>) continue; 559 if (<a href='054static_dispatch.cc.html#L370'>non_ghost_size</a>(<a href='001help.cc.html#L229'>get_or_insert</a>(Recipe_variants, inst.name)) > 1) { 560 <a href='003trace.cc.html#L174'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(caller_recipe.name) << "sorry, we're not yet smart enough to simultaneously guess which overloads you want for '" << inst.name << "' and '" << inst.ingredients.at(i).name << "'\n" << end(); 561 return; 562 } 563 const recipe& callee = get(Recipe, get(Recipe_ordinal, inst.name)); 564 if (!callee.has_header) { 565 <a href='003trace.cc.html#L174'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(caller_recipe.name) << "sorry, we're not yet smart enough to guess which variant of '" << inst.ingredients.at(i).name << "' you want, when the caller '" << inst.name << "' doesn't have a header\n" << <a href='003trace.cc.html#L203'>end</a>(); 566 return; 567 } 568 string new_name = <a href='054static_dispatch.cc.html#L173'>resolve_ambiguous_call</a>(inst.ingredients.at(i).name, callee.ingredients.at(i), r, index, caller_recipe); 569 if (new_name != "") { 570 inst.ingredients.at(i).name = new_name; 571 inst.ingredients.at(i).value = get(Recipe_ordinal, new_name); 572 } 573 } 574 575 :(scenario return_overloaded_recipe_literal_to_caller) 576 def <a href='000organization.cc.html#L113'>main</a> [ 577 local-scope 578 {x: (fn num -> num)} <- g 579 1:num/raw <- call x, 34 580 ] 581 def g -> {x: (fn num -> num)} [ 582 local-scope 583 return f 584 ] 585 # variant f 586 def f x:bool -> y:bool [ 587 local-scope 588 load-ingredients 589 y <- copy x 590 ] 591 # variant f_2 592 def f x:num -> y:num [ 593 local-scope 594 load-ingredients 595 y <- copy x 596 ] 597 # x contains f_2 598 +mem: storing 34 in location 1 599 600 :(before "End resolve_ambiguous_call(r, index, inst, caller_recipe) Special-cases") 601 if (inst.name == "return" || inst.name == "reply") { 602 for (int i = 0; i < <a href='001help.cc.html#L141'>SIZE</a>(inst.ingredients); ++i) { 603 if (!is_recipe_literal(inst.ingredients.at(i))) continue; 604 if (<a href='054static_dispatch.cc.html#L370'>non_ghost_size</a>(<a href='001help.cc.html#L229'>get_or_insert</a>(Recipe_variants, inst.ingredients.at(i).name)) < 1) continue; 605 // potentially overloaded recipe 606 if (!caller_recipe.has_header) { 607 <a href='003trace.cc.html#L174'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(caller_recipe.name) << "sorry, we're not yet smart enough to guess which variant of '" << inst.ingredients.at(i).name << "' you want, without a recipe header\n" << end(); 608 return; 609 } 610 string new_name = <a href='054static_dispatch.cc.html#L173'>resolve_ambiguous_call</a>(inst.ingredients.at(i).name, caller_recipe.products.at(i), r, index, caller_recipe); 611 if (new_name == "") continue; 612 inst.ingredients.at(i).name = new_name; 613 inst.ingredients.at(i).value = get(Recipe_ordinal, new_name); 614 } 615 return; 616 } </pre> </body> </html>