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

blob: 3a25874140802c8edfe32c33ab5fbc40653e09e3 (plain) (tree)

672e3e50 ^

f6b44306 ^

672e3e50 ^

e8b1d3ff ^

dbe12410 ^

9570363a ^

eaeb9552 ^

90560d71 ^

dbe12410 ^

672e3e50 ^

d44123ca ^

90560d71 ^

672e3e50 ^

c4699bc3 ^

672e3e50 ^

65361948 ^

9570363a ^

65361948 ^

672e3e50 ^

9570363a ^

672e3e50 ^

90560d71 ^

c5ffb6e1 ^

90560d71 ^

672e3e50 ^

90560d71 ^

672e3e50 ^

90560d71 ^

672e3e50 ^

90560d71 ^

672e3e50 ^

dbe12410 ^

d5d908dd ^

90560d71 ^

0e4a335e ^

65361948 ^

90560d71 ^

672e3e50 ^

672e3e50 ^

9542bb11 ^

672e3e50 ^

65361948 ^

90560d71 ^

672e3e50 ^

65361948 ^

672e3e50 ^

672e3e50 ^

90560d71 ^

672e3e50 ^

90560d71 ^

672e3e50 ^

c5ffb6e1 ^

90560d71 ^

672e3e50 ^

65361948 ^

672e3e50 ^

672e3e50 ^

65361948 ^

90560d71 ^

65361948 ^

672e3e50 ^

90560d71 ^

672e3e50 ^

0e4a335e ^

c4699bc3 ^

672e3e50 ^

c4699bc3 ^

65361948 ^

672e3e50 ^

90560d71 ^

672e3e50 ^

90560d71 ^

672e3e50 ^

65361948 ^

90560d71 ^

65361948 ^

generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-20 14:34:57 +0000

pan> class="Delimiter">(new_recipe, get(Recipe, exemplar)); 251 <a href='001help.cc.html#L218'>put</a>(Recipe, new_recipe_ordinal, new_recipe); 252 return new_recipe_ordinal; 253 } 254 255 void <a href='056shape_shifting_recipe.cc.html#L255'>compute_type_names</a>(recipe& variant) { 256 <a href='003trace.cc.html#L161'>trace</a>(9993, "transform") << "-- compute type names: " << variant.name << <a href='003trace.cc.html#L185'>end</a>(); 257 map<string, type_tree*> type_names; 258 for (int i = 0; i < <a href='001help.cc.html#L138'>SIZE</a>(variant.ingredients); ++i) 259 ¦ <a href='056shape_shifting_recipe.cc.html#L272'>save_or_deduce_type_name</a>(variant.ingredients.at(i), type_names, variant, ""); 260 for (int i = 0; i < <a href='001help.cc.html#L138'>SIZE</a>(variant.products); ++i) 261 ¦ <a href='056shape_shifting_recipe.cc.html#L272'>save_or_deduce_type_name</a>(variant.products.at(i), type_names, variant, ""); 262 for (int i = 0; i < <a href='001help.cc.html#L138'>SIZE</a>(variant.steps); ++i) { 263 ¦ instruction& inst = variant.steps.at(i); 264 ¦ <a href='003trace.cc.html#L161'>trace</a>(9993, "transform") << " <a href='010vm.cc.html#L32'>instruction</a>: " << <a href='028call_return.cc.html#L158'>to_string</a>(inst) << <a href='003trace.cc.html#L185'>end</a>(); 265 ¦ for (int in = 0; in < <a href='001help.cc.html#L138'>SIZE</a>(inst.ingredients); ++in) 266 ¦ ¦ <a href='056shape_shifting_recipe.cc.html#L272'>save_or_deduce_type_name</a>(inst.ingredients.at(in), type_names, variant, " in '" + to_original_string(inst) + "'"); 267 ¦ for (int out = 0; out < <a href='001help.cc.html#L138'>SIZE</a>(inst.products); ++out) 268 ¦ ¦ <a href='056shape_shifting_recipe.cc.html#L272'>save_or_deduce_type_name</a>(inst.products.at(out), type_names, variant, " in '" + to_original_string(inst) + "'"); 269 } 270 } 271 272 void <a href='056shape_shifting_recipe.cc.html#L272'>save_or_deduce_type_name</a>(reagent& x, map<string, type_tree*>& type, const recipe& variant, const string& context) { 273 <a href='003trace.cc.html#L161'>trace</a>(9994, "transform") << " checking " << <a href='028call_return.cc.html#L158'>to_string</a>(x) << ": " << names_to_string(x.type) << <a href='003trace.cc.html#L185'>end</a>(); 274 if (!x.type && contains_key(type, x.name)) { 275 ¦ x.type = new type_tree(*get(type, x.name)); 276 ¦ <a href='003trace.cc.html#L161'>trace</a>(9994, "transform") << " deducing type to " << names_to_string(x.type) << <a href='003trace.cc.html#L185'>end</a>(); 277 ¦ return; 278 } 279 if (!x.type) { 280 ¦ <a href='003trace.cc.html#L168'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(variant.original_name) << "unknown type for '" << x.original_string << "'" << context << " (check the name for typos)\n" << <a href='003trace.cc.html#L185'>end</a>(); 281 ¦ return; 282 } 283 if (contains_key(type, x.name)) return; 284 if (x.type->name == "offset" || x.type->name == "variant") return; // special-case for container-access instructions 285 <a href='001help.cc.html#L218'>put</a>(type, x.name, x.type); 286 <a href='003trace.cc.html#L161'>trace</a>(9993, "transform") << "type of '" << x.name << "' is " << names_to_string(x.type) << <a href='003trace.cc.html#L185'>end</a>(); 287 } 288 289 void <a href='056shape_shifting_recipe.cc.html#L289'>compute_type_ingredient_mappings</a>(const recipe& exemplar, const instruction& inst, map<string, const type_tree*>& mappings, const recipe& caller_recipe, bool* error) { 290 int limit = min(<a href='001help.cc.html#L138'>SIZE</a>(inst.ingredients), <a href='001help.cc.html#L138'>SIZE</a>(exemplar.ingredients)); 291 for (int i = 0; i < limit; ++i) { 292 ¦ const reagent& exemplar_reagent = exemplar.ingredients.at(i); 293 ¦ reagent/*copy*/ ingredient = inst.ingredients.at(i); 294 ¦ canonize_type(ingredient); 295 ¦ if (is_mu_address(exemplar_reagent) && ingredient.name == "0") continue; // assume it matches 296 ¦ accumulate_type_ingredients(exemplar_reagent, ingredient, mappings, exemplar, inst, caller_recipe, error); 297 } 298 limit = min(<a href='001help.cc.html#L138'>SIZE</a>(inst.products), <a href='001help.cc.html#L138'>SIZE</a>(exemplar.products)); 299 for (int i = 0; i < limit; ++i) { 300 ¦ const reagent& exemplar_reagent = exemplar.products.at(i); 301 ¦ reagent/*copy*/ product = inst.products.at(i); 302 ¦ if (is_dummy(product)) continue; 303 ¦ canonize_type(product); 304 ¦ accumulate_type_ingredients(exemplar_reagent, product, mappings, exemplar, inst, caller_recipe, error); 305 } 306 } 307 308 void accumulate_type_ingredients(const reagent& exemplar_reagent, reagent& refinement, map<string, const type_tree*>& mappings, const recipe& exemplar, const instruction& call_instruction, const recipe& caller_recipe, bool* error) { 309 assert(refinement.type); 310 accumulate_type_ingredients(exemplar_reagent.type, refinement.type, mappings, exemplar, exemplar_reagent, call_instruction, caller_recipe, error); 311 } 312 313 void accumulate_type_ingredients(const type_tree* exemplar_type, const type_tree* refinement_type, map<string, const type_tree*>& mappings, const recipe& exemplar, const reagent& exemplar_reagent, const instruction& call_instruction, const recipe& caller_recipe, bool* error) { 314 if (!exemplar_type) return; 315 if (!refinement_type) { 316 ¦ // probably a bug in mu 317 ¦ // todo: make this smarter; only flag an error if exemplar_type contains some *new* type ingredient 318 ¦ <a href='003trace.cc.html#L168'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(exemplar.name) << "missing type ingredient for " << exemplar_reagent.original_string << '\n' << <a href='003trace.cc.html#L185'>end</a>(); 319 ¦ <a href='003trace.cc.html#L168'>raise</a> << " (called from '" << to_original_string(call_instruction) << "')\n" << <a href='003trace.cc.html#L185'>end</a>(); 320 ¦ return; 321 } 322 if (!exemplar_type->atom && exemplar_type->right == NULL && !refinement_type->atom && refinement_type->right != NULL) { 323 ¦ exemplar_type = exemplar_type->left; 324 ¦ <a href='003trace.cc.html#L171'>assert_for_now</a>(exemplar_type->atom); 325 } 326 if (exemplar_type->atom) { 327 ¦ if (is_type_ingredient_name(exemplar_type->name)) { 328 ¦ ¦ const type_tree* curr_refinement_type = NULL; // temporary heap allocation; must always be deleted before it goes out of scope 329 ¦ ¦ if (exemplar_type->atom) 330 ¦ ¦ ¦ curr_refinement_type = new type_tree(*refinement_type); 331 ¦ ¦ else { 332 ¦ ¦ ¦ assert(!refinement_type->atom); 333 ¦ ¦ ¦ curr_refinement_type = new type_tree(*refinement_type->left); 334 ¦ ¦ } 335 ¦ ¦ if (!contains_key(mappings, exemplar_type->name)) { 336 ¦ ¦ ¦ <a href='003trace.cc.html#L161'>trace</a>(9993, "transform") << "adding mapping from " << exemplar_type->name << " to " << <a href='028call_return.cc.html#L158'>to_string</a>(curr_refinement_type) << <a href='003trace.cc.html#L185'>end</a>(); 337 ¦ ¦ ¦ <a href='001help.cc.html#L218'>put</a>(mappings, exemplar_type->name, new type_tree(*curr_refinement_type)); 338 ¦ ¦ } 339 ¦ ¦ else { 340 ¦ ¦ ¦ if (!deeply_equal_type_names(get(mappings, exemplar_type->name), curr_refinement_type)) { 341 ¦ ¦ ¦ ¦ <a href='003trace.cc.html#L168'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(caller_recipe.name) << "no call found for '" << to_original_string(call_instruction) << "'\n" << <a href='003trace.cc.html#L185'>end</a>(); 342 ¦ ¦ ¦ ¦ *error = true; 343 ¦ ¦ ¦ ¦ delete curr_refinement_type; 344 ¦ ¦ ¦ ¦ return; 345 ¦ ¦ ¦ } 346 ¦ ¦ ¦ if (get(mappings, exemplar_type->name)->name == "literal") { 347 ¦ ¦ ¦ ¦ delete get(mappings, exemplar_type->name); 348 ¦ ¦ ¦ ¦ <a href='001help.cc.html#L218'>put</a>(mappings, exemplar_type->name, new type_tree(*curr_refinement_type)); 349 ¦ ¦ ¦ } 350 ¦ ¦ } 351 ¦ ¦ delete curr_refinement_type; 352 ¦ } 353 } 354 else { 355 ¦ accumulate_type_ingredients(exemplar_type->left, refinement_type->left, mappings, exemplar, exemplar_reagent, call_instruction, caller_recipe, error); 356 ¦ accumulate_type_ingredients(exemplar_type->right, refinement_type->right, mappings, exemplar, exemplar_reagent, call_instruction, caller_recipe, error); 357 } 358 } 359 360 void replace_type_ingredients(recipe& new_recipe, const map<string, const type_tree*>& mappings) { 361 // update its header 362 if (mappings.empty()) return; 363 <a href='003trace.cc.html#L161'>trace</a>(9993, "transform") << "replacing in <a href='010vm.cc.html#L19'>recipe</a> header ingredients" << <a href='003trace.cc.html#L185'>end</a>(); 364 for (int i = 0; i < <a href='001help.cc.html#L138'>SIZE</a>(new_recipe.ingredients); ++i) 365 ¦ replace_type_ingredients(new_recipe.ingredients.at(i), mappings, new_recipe); 366 <a href='003trace.cc.html#L161'>trace</a>(9993, "transform") << "replacing in <a href='010vm.cc.html#L19'>recipe</a> header products" << <a href='003trace.cc.html#L185'>end</a>(); 367 for (int i = 0; i < <a href='001help.cc.html#L138'>SIZE</a>(new_recipe.products); ++i) 368 ¦ replace_type_ingredients(new_recipe.products.at(i), mappings, new_recipe); 369 // update its body 370 for (int i = 0; i < <a href='001help.cc.html#L138'>SIZE</a>(new_recipe.steps); ++i) { 371 ¦ instruction& inst = new_recipe.steps.at(i); 372 ¦ <a href='003trace.cc.html#L161'>trace</a>(9993, "transform") << "replacing in <a href='010vm.cc.html#L32'>instruction</a> '" << to_string(inst) << "'" << <a href='003trace.cc.html#L185'>end</a>(); 373 ¦ for (int j = 0; j < <a href='001help.cc.html#L138'>SIZE</a>(inst.ingredients); ++j) 374 ¦ ¦ replace_type_ingredients(inst.ingredients.at(j), mappings, new_recipe); 375 ¦ for (int j = 0; j < <a href='001help.cc.html#L138'>SIZE</a>(inst.products); ++j) 376 ¦ ¦ replace_type_ingredients(inst.products.at(j), mappings, new_recipe); 377 ¦ // special-case for new: replace type ingredient in first ingredient *value* 378 ¦ if (inst.name == "new" && inst.ingredients.at(0).type->name != "literal-string") { 379 ¦ ¦ type_tree* type = <a href='056shape_shifting_recipe.cc.html#L444'>parse_type_tree</a>(inst.ingredients.at(0).name); 380 ¦ ¦ replace_type_ingredients(type, mappings); 381 ¦ ¦ inst.ingredients.at(0).name = inspect(type); 382 ¦ ¦ delete type; 383 ¦ } 384 } 385 } 386 387 void replace_type_ingredients(reagent& x, const map<string, const type_tree*>& mappings, const recipe& caller) { 388 string before = <a href='028call_return.cc.html#L158'>to_string</a>(x); 389 <a href='003trace.cc.html#L161'>trace</a>(9993, "transform") << "replacing in ingredient " << x.original_string << <a href='003trace.cc.html#L185'>end</a>(); 390 if (!x.type) { 391 ¦ <a href='003trace.cc.html#L168'>raise</a> << "specializing " << caller.original_name << ": missing type for '" << x.original_string << "'\n" << <a href='003trace.cc.html#L185'>end</a>(); 392 ¦ return; 393 } 394 replace_type_ingredients(x.type, mappings); 395 } 396 397 void replace_type_ingredients(type_tree* type, const map<string, const type_tree*>& mappings) { 398 if (!type) return; 399 if (!type->atom) { 400 ¦ if (type->right == NULL && type->left != NULL && type->left->atom && contains_key(mappings, type->left->name) && !get(mappings, type->left->name)->atom && get(mappings, type->left->name)->right != NULL) { 401 ¦ ¦ *type = *get(mappings, type->left->name); 402 ¦ ¦ return; 403 ¦ } 404 ¦ replace_type_ingredients(type->left, mappings); 405 ¦ replace_type_ingredients(type->right, mappings); 406 ¦ return; 407 } 408 if (contains_key(Type_ordinal, type->name)) // todo: ugly side effect 409 ¦ type->value = get(Type_ordinal, type->name); 410 if (!contains_key(mappings, type->name)) 411 ¦ return; 412 const type_tree* replacement = get(mappings, type->name); 413 <a href='003trace.cc.html#L161'>trace</a>(9993, "transform") << type->name << " => " << names_to_string(replacement) << <a href='003trace.cc.html#L185'>end</a>(); 414 if (replacement->atom) { 415 ¦ if (!contains_key(Type_ordinal, replacement->name)) { 416 ¦ ¦ // error in program; should be reported elsewhere 417 ¦ ¦ return; 418 ¦ } 419 ¦ type->name = (replacement->name == "literal") ? "number" : replacement->name; 420 ¦ type->value = get(Type_ordinal, type->name); 421 } 422 else { 423 ¦ *type = *replacement; 424 } 425 } 426 427 int <a href='056shape_shifting_recipe.cc.html#L427'>type_ingredient_count_in_header</a>(<a href='010vm.cc.html#L14'>recipe_ordinal</a> variant) { 428 const recipe& caller = get(Recipe, variant); 429 set<string> type_ingredients; 430 for (int i = 0; i < <a href='001help.cc.html#L138'>SIZE</a>(caller.ingredients); ++i) 431 ¦ accumulate_type_ingredients(caller.ingredients.at(i).type, type_ingredients); 432 for (int i = 0; i < <a href='001help.cc.html#L138'>SIZE</a>(caller.products); ++i) 433 ¦ accumulate_type_ingredients(caller.products.at(i).type, type_ingredients); 434 return <a href='001help.cc.html#L138'>SIZE</a>(type_ingredients); 435 } 436 437 void accumulate_type_ingredients(const type_tree* type, set<string>& out) { 438 if (!type) return; 439 if (is_type_ingredient_name(type->name)) out.insert(type->name); 440 accumulate_type_ingredients(type->left, out); 441 accumulate_type_ingredients(type->right, out); 442 } 443 444 type_tree* <a href='056shape_shifting_recipe.cc.html#L444'>parse_type_tree</a>(const string& s) { 445 string_tree* s2 = parse_string_tree(s); 446 type_tree* result = <a href='018type_abbreviations.cc.html#L58'>new_type_tree</a>(s2); 447 delete s2; 448 return result; 449 } 450 451 string inspect(const type_tree* x) { 452 ostringstream out; 453 <a href='056shape_shifting_recipe.cc.html#L457'>dump_inspect</a>(x, out); 454 return out.str(); 455 } 456 457 void <a href='056shape_shifting_recipe.cc.html#L457'>dump_inspect</a>(const type_tree* x, ostream& out) { 458 if (!x->left && !x->right) { 459 ¦ out << x->name; 460 ¦ return; 461 } 462 out << '('; 463 for (const type_tree* curr = x; curr; curr = curr->right) { 464 ¦ if (curr != x) out << ' '; 465 ¦ if (curr->left) 466 ¦ ¦ <a href='056shape_shifting_recipe.cc.html#L457'>dump_inspect</a>(curr->left, out); 467 ¦ else 468 ¦ ¦ out << curr->name; 469 } 470 out << ')'; 471 } 472 473 void ensure_all_concrete_types(/*const*/ recipe& new_recipe, const recipe& exemplar) { 474 <a href='003trace.cc.html#L161'>trace</a>(9993, "transform") << "-- ensure all concrete types in <a href='010vm.cc.html#L19'>recipe</a> " << new_recipe.name << <a href='003trace.cc.html#L185'>end</a>(); 475 for (int i = 0; i < <a href='001help.cc.html#L138'>SIZE</a>(new_recipe.ingredients); ++i) 476 ¦ ensure_all_concrete_types(new_recipe.ingredients.at(i), exemplar); 477 for (int i = 0; i < <a href='001help.cc.html#L138'>SIZE</a>(new_recipe.products); ++i) 478 ¦ ensure_all_concrete_types(new_recipe.products.at(i), exemplar); 479 for (int i = 0; i < <a href='001help.cc.html#L138'>SIZE</a>(new_recipe.steps); ++i) { 480 ¦ instruction& inst = new_recipe.steps.at(i); 481 ¦ for (int j = 0; j < <a href='001help.cc.html#L138'>SIZE</a>(inst.ingredients); ++j) 482 ¦ ¦ ensure_all_concrete_types(inst.ingredients.at(j), exemplar); 483 ¦ for (int j = 0; j < <a href='001help.cc.html#L138'>SIZE</a>(inst.products); ++j) 484 ¦ ¦ ensure_all_concrete_types(inst.products.at(j), exemplar); 485 } 486 } 487 488 void ensure_all_concrete_types(/*const*/ reagent& x, const recipe& exemplar) { 489 if (!x.type || contains_type_ingredient_name(x.type)) { 490 ¦ <a href='003trace.cc.html#L168'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(exemplar.name) << "failed to map a type to " << x.original_string << '\n' << <a href='003trace.cc.html#L185'>end</a>(); 491 ¦ if (!x.type) x.type = new type_tree("", 0); // just to prevent crashes later 492 ¦ return; 493 } 494 if (x.type->value == -1) { 495 ¦ <a href='003trace.cc.html#L168'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(exemplar.name) << "failed to map a type to the unknown " << x.original_string << '\n' << <a href='003trace.cc.html#L185'>end</a>(); 496 ¦ return; 497 } 498 } 499 500 :(scenario shape_shifting_recipe_2) 501 def <a href='000organization.cc.html#L113'>main</a> [ 502 10:point <- merge 14, 15 503 11:point <- foo 10:point 504 ] 505 # non-matching shape-shifting variant 506 def foo a:_t, b:_t -> result:num [ 507 local-scope 508 load-ingredients 509 result <- copy 34 510 ] 511 # matching shape-shifting variant 512 def foo a:_t -> result:_t [ 513 local-scope 514 load-ingredients 515 result <- copy a 516 ] 517 +mem: storing 14 in location 11 518 +mem: storing 15 in location 12 519 520 :(scenario shape_shifting_recipe_nonroot) 521 def <a href='000organization.cc.html#L113'>main</a> [ 522 10:foo:point <- merge 14, 15, 16 523 20:point/raw <- bar 10:foo:point 524 ] 525 # shape-shifting recipe with type ingredient following some other type 526 def bar a:foo:_t -> result:_t [ 527 local-scope 528 load-ingredients 529 result <- get a, x:offset 530 ] 531 container foo:_t [ 532 x:_t 533 y:num 534 ] 535 +mem: storing 14 in location 20 536 +mem: storing 15 in location 21 537 538 :(scenario shape_shifting_recipe_nested) 539 container c:_a:_b [ 540 a:_a 541 b:_b 542 ] 543 def <a href='000organization.cc.html#L113'>main</a> [ 544 s:text <- new [abc] 545 {x: (c (<a href='043space.cc.html#L76'>address</a> array character) number)} <- merge s, 34 546 foo x 547 ] 548 def foo x:c:_bar:_baz [ 549 local-scope 550 load-ingredients 551 ] 552 # no errors 553 554 :(scenario shape_shifting_recipe_type_deduction_ignores_offsets) 555 def <a href='000organization.cc.html#L113'>main</a> [ 556 10:foo:point <- merge 14, 15, 16 557 20:point/raw <- bar 10:foo:point 558 ] 559 def bar a:foo:_t -> result:_t [ 560 local-scope 561 load-ingredients 562 x:num <- copy 1 563 result <- get a, x:offset # shouldn't collide with other variable 564 ] 565 container foo:_t [ 566 x:_t 567 y:num 568 ] 569 +mem: storing 14 in location 20 570 +mem: storing 15 in location 21 571 572 :(scenario shape_shifting_recipe_empty) 573 def <a href='000organization.cc.html#L113'>main</a> [ 574 foo 1 575 ] 576 # shape-shifting recipe with no body 577 def foo a:_t [ 578 ] 579 # shouldn't crash 580 581 :(scenario shape_shifting_recipe_handles_shape_shifting_new_ingredient) 582 def <a href='000organization.cc.html#L113'>main</a> [ 583 1:&:foo:point <- bar 3 584 11:foo:point <- copy *1:&:foo:point 585 ] 586 container foo:_t [ 587 x:_t 588 y:num 589 ] 590 def bar x:num -> result:&:foo:_t [ 591 local-scope 592 load-ingredients 593 # new refers to _t in its ingredient *value* 594 result <- new {(foo _t) : type} 595 ] 596 +mem: storing 0 in location 11 597 +mem: storing 0 in location 12 598 +mem: storing 0 in location 13 599 600 :(scenario shape_shifting_recipe_handles_shape_shifting_new_ingredient_2) 601 def <a href='000organization.cc.html#L113'>main</a> [ 602 1:&:foo:point <- bar 3 603 11:foo:point <- copy *1:&:foo:point 604 ] 605 def bar x:num -> result:&:foo:_t [ 606 local-scope 607 load-ingredients 608 # new refers to _t in its ingredient *value* 609 result <- new {(foo _t) : type} 610 ] 611 # container defined after use 612 container foo:_t [ 613 x:_t 614 y:num 615 ] 616 +mem: storing 0 in location 11 617 +mem: storing 0 in location 12 618 +mem: storing 0 in location 13 619 620 :(scenario shape_shifting_recipe_called_with_dummy) 621 def <a href='000organization.cc.html#L113'>main</a> [ 622 _ <- bar 34 623 ] 624 def bar x:_t -> result:&:_t [ 625 local-scope 626 load-ingredients 627 result <- copy 0 628 ] 629 $error: 0 630 631 :(code) 632 // this one needs a little more fine-grained control 633 void <a href='056shape_shifting_recipe.cc.html#L633'>test_shape_shifting_new_ingredient_does_not_pollute_global_namespace</a>() { 634 // if you specialize a shape-shifting recipe that allocates a type-ingredient.. 635 <a href='012transform.cc.html#L99'>transform</a>("def barz x:_elem [\n" 636 ¦ ¦ ¦ ¦ ¦ " local-scope\n" 637 ¦ ¦ ¦ ¦ ¦ " load-ingredients\n" 638 ¦ ¦ ¦ ¦ ¦ " y:&:num <- new _elem:type\n" 639 ¦ ¦ ¦ ¦ ¦ "]\n" 640 ¦ ¦ ¦ ¦ ¦ "def fooz [\n" 641 ¦ ¦ ¦ ¦ ¦ " local-scope\n" 642 ¦ ¦ ¦ ¦ ¦ " barz 34\n" 643 ¦ ¦ ¦ ¦ ¦ "]\n"); 644 // ..and if you then try to load a new shape-shifting container with that 645 // type-ingredient 646 run("container foo:_elem [\n" 647 ¦ ¦ " x:_elem\n" 648 ¦ ¦ " y:num\n" 649 ¦ ¦ "]\n"); 650 // then it should work as usual 651 reagent callsite("x:foo:point"); 652 reagent element = <a href='030container.cc.html#L430'>element_type</a>(callsite.type, 0); 653 <a href='002test.cc.html#L32'>CHECK_EQ</a>(element.name, "x"); 654 <a href='002test.cc.html#L32'>CHECK_EQ</a>(element.type->name, "point"); 655 <a href='002test.cc.html#L25'>CHECK</a>(!element.type->right); 656 } 657 658 //: specializing a type ingredient with a compound type 659 :(scenario shape_shifting_recipe_supports_compound_types) 660 def <a href='000organization.cc.html#L113'>main</a> [ 661 1:&:point <- new point:type 662 *1:&:point <- <a href='001help.cc.html#L218'>put</a> *1:&:point, y:offset, 34 663 3:&:point <- bar 1:&:point # specialize _t to address:point 664 4:point <- copy *3:&:point 665 ] 666 def bar a:_t -> result:_t [ 667 local-scope 668 load-ingredients 669 result <- copy a 670 ] 671 +mem: storing 34 in location 5 672 673 //: specializing a type ingredient with a compound type -- while *inside* another compound type 674 :(scenario shape_shifting_recipe_supports_compound_types_2) 675 container foo:_t [ 676 value:_t 677 ] 678 def bar x:&:foo:_t -> result:_t [ 679 local-scope 680 load-ingredients 681 result <- get *x, value:offset 682 ] 683 def <a href='000organization.cc.html#L113'>main</a> [ 684 1:&:foo:&:point <- new {(foo <a href='043space.cc.html#L76'>address</a> point): type} 685 2:&:point <- bar 1:&:foo:&:point 686 ] 687 # no errors; call to 'bar' successfully specialized 688 689 :(scenario shape_shifting_recipe_error) 690 % Hide_errors = true; 691 def <a href='000organization.cc.html#L113'>main</a> [ 692 a:num <- copy 3 693 b:&:num <- foo a 694 ] 695 def foo a:_t -> b:_t [ 696 load-ingredients 697 b <- copy a 698 ] 699 +error: <a href='000organization.cc.html#L113'>main</a>: no call found for 'b:&:num <- foo a' 700 701 :(scenario specialize_inside_recipe_without_header) 702 def <a href='000organization.cc.html#L113'>main</a> [ 703 foo 3 704 ] 705 def foo [ 706 local-scope 707 x:num <- next-ingredient # ensure no header 708 1:num/raw <- bar x # call a shape-shifting recipe 709 ] 710 def bar x:_elem -> y:_elem [ 711 local-scope 712 load-ingredients 713 y <- add x, 1 714 ] 715 +mem: storing 4 in location 1 716 717 :(scenario specialize_with_literal) 718 def <a href='000organization.cc.html#L113'>main</a> [ 719 local-scope 720 # permit literal to map to number 721 1:num/raw <- foo 3 722 ] 723 def foo x:_elem -> y:_elem [ 724 local-scope 725 load-ingredients 726 y <- add x, 1 727 ] 728 +mem: storing 4 in location 1 729 730 :(scenario specialize_with_literal_2) 731 def <a href='000organization.cc.html#L113'>main</a> [ 732 local-scope 733 # permit literal to map to character 734 1:char/raw <- foo 3 735 ] 736 def foo x:_elem -> y:_elem [ 737 local-scope 738 load-ingredients 739 y <- add x, 1 740 ] 741 +mem: storing 4 in location 1 742 743 :(scenario specialize_with_literal_3) 744 def <a href='000organization.cc.html#L113'>main</a> [ 745 local-scope 746 # permit '0' to map to address to shape-shifting type-ingredient 747 1:&:char/raw <- foo 0 748 ] 749 def foo x:&:_elem -> y:&:_elem [ 750 local-scope 751 load-ingredients 752 y <- copy x 753 ] 754 +mem: storing 0 in location 1 755 $error: 0 756 757 :(scenario specialize_with_literal_4) 758 % Hide_errors = true; 759 def <a href='000organization.cc.html#L113'>main</a> [ 760 local-scope 761 # ambiguous call: what's the type of its ingredient?! 762 foo 0 763 ] 764 def foo x:&:_elem -> y:&:_elem [ 765 local-scope 766 load-ingredients 767 y <- copy x 768 ] 769 +error: <a href='000organization.cc.html#L113'>main</a>: <a href='010vm.cc.html#L32'>instruction</a> 'foo' has no valid specialization 770 771 :(scenario specialize_with_literal_5) 772 def <a href='000organization.cc.html#L113'>main</a> [ 773 foo 3, 4 # recipe mapping two variables to literals 774 ] 775 def foo x:_elem, y:_elem [ 776 local-scope 777 load-ingredients 778 1:num/raw <- add x, y 779 ] 780 +mem: storing 7 in location 1 781 782 :(scenario multiple_shape_shifting_variants) 783 # try to call two different shape-shifting recipes with the same name 784 def <a href='000organization.cc.html#L113'>main</a> [ 785 e1:d1:num <- merge 3 786 e2:d2:num <- merge 4, 5 787 1:num/raw <- foo e1 788 2:num/raw <- foo e2 789 ] 790 # the two shape-shifting definitions 791 def foo a:d1:_elem -> b:num [ 792 local-scope 793 load-ingredients 794 return 34 795 ] 796 def foo a:d2:_elem -> b:num [ 797 local-scope 798 load-ingredients 799 return 35 800 ] 801 # the shape-shifting containers they use 802 container d1:_elem [ 803 x:_elem 804 ] 805 container d2:_elem [ 806 x:num 807 y:_elem 808 ] 809 +mem: storing 34 in location 1 810 +mem: storing 35 in location 2 811 812 :(scenario multiple_shape_shifting_variants_2) 813 # static dispatch between shape-shifting variants, _including pointer lookups_ 814 def <a href='000organization.cc.html#L113'>main</a> [ 815 e1:d1:num <- merge 3 816 e2:&:d2:num <- new {(d2 number): type} 817 1:num/raw <- foo e1 818 2:num/raw <- foo *e2 # different from previous scenario 819 ] 820 def foo a:d1:_elem -> b:num [ 821 local-scope 822 load-ingredients 823 return 34 824 ] 825 def foo a:d2:_elem -> b:num [ 826 local-scope 827 load-ingredients 828 return 35 829 ] 830 container d1:_elem [ 831 x:_elem 832 ] 833 container d2:_elem [ 834 x:num 835 y:_elem 836 ] 837 +mem: storing 34 in location 1 838 +mem: storing 35 in location 2 839 840 :(scenario missing_type_in_shape_shifting_recipe) 841 % Hide_errors = true; 842 def <a href='000organization.cc.html#L113'>main</a> [ 843 a:d1:num <- merge 3 844 foo a 845 ] 846 def foo a:d1:_elem -> b:num [ 847 local-scope 848 load-ingredients 849 copy e # no such variable 850 return 34 851 ] 852 container d1:_elem [ 853 x:_elem 854 ] 855 +error: foo: unknown type for 'e' in 'copy e' (check the name for typos) 856 +error: specializing foo: missing type for 'e' 857 # and it doesn't crash 858 859 :(scenario missing_type_in_shape_shifting_recipe_2) 860 % Hide_errors = true; 861 def <a href='000organization.cc.html#L113'>main</a> [ 862 a:d1:num <- merge 3 863 foo a 864 ] 865 def foo a:d1:_elem -> b:num [ 866 local-scope 867 load-ingredients 868 get e, x:offset # unknown variable in a 'get', which does some extra checking 869 return 34 870 ] 871 container d1:_elem [ 872 x:_elem 873 ] 874 +error: foo: unknown type for 'e' in 'get e, x:offset' (check the name for typos) 875 +error: specializing foo: missing type for 'e' 876 # and it doesn't crash 877 878 :(scenarios transform) 879 :(scenario specialize_recursive_shape_shifting_recipe) 880 def <a href='000organization.cc.html#L113'>main</a> [ 881 1:num <- copy 34 882 2:num <- foo 1:num 883 ] 884 def foo x:_elem -> y:num [ 885 local-scope 886 load-ingredients 887 { 888 ¦ break 889 ¦ y:num <- foo x 890 } 891 return y 892 ] 893 +transform: new specialization: foo_2 894 # transform terminates 895 896 :(scenarios run) 897 :(scenario specialize_most_similar_variant) 898 def <a href='000organization.cc.html#L113'>main</a> [ 899 1:&:num <- new number:type 900 2:num <- foo 1:&:num 901 ] 902 def foo x:_elem -> y:num [ 903 local-scope 904 load-ingredients 905 return 34 906 ] 907 def foo x:&:_elem -> y:num [ 908 local-scope 909 load-ingredients 910 return 35 911 ] 912 +mem: storing 35 in location 2 913 914 :(scenario specialize_most_similar_variant_2) 915 # version with headers padded with lots of unrelated concrete types 916 def <a href='000organization.cc.html#L113'>main</a> [ 917 1:num <- copy 23 918 2:&:@:num <- copy 0 919 3:num <- foo 2:&:@:num, 1:num 920 ] 921 # variant with concrete type 922 def foo dummy:&:@:num, x:num -> y:num, dummy:&:@:num [ 923 local-scope 924 load-ingredients 925 return 34 926 ] 927 # shape-shifting variant 928 def foo dummy:&:@:num, x:_elem -> y:num, dummy:&:@:num [ 929 local-scope 930 load-ingredients 931 return 35 932 ] 933 # prefer the concrete variant 934 +mem: storing 34 in location 3 935 936 :(scenario specialize_most_similar_variant_3) 937 def <a href='000organization.cc.html#L113'>main</a> [ 938 1:text <- new [abc] 939 foo 1:text 940 ] 941 def foo x:text [ 942 2:num <- copy 34 943 ] 944 def foo x:&:_elem [ 945 2:num <- copy 35 946 ] 947 # make sure the more precise version was used 948 +mem: storing 34 in location 2 949 950 :(scenario specialize_literal_as_number) 951 def <a href='000organization.cc.html#L113'>main</a> [ 952 1:num <- foo 23 953 ] 954 def foo x:_elem -> y:num [ 955 local-scope 956 load-ingredients 957 return 34 958 ] 959 def foo x:char -> y:num [ 960 local-scope 961 load-ingredients 962 return 35 963 ] 964 +mem: storing 34 in location 1 965 966 :(scenario specialize_literal_as_number_2) 967 # version calling with literal 968 def <a href='000organization.cc.html#L113'>main</a> [ 969 1:num <- foo 0 970 ] 971 # variant with concrete type 972 def foo x:num -> y:num [ 973 local-scope 974 load-ingredients 975 return 34 976 ] 977 # shape-shifting variant 978 def foo x:&:_elem -> y:num [ 979 local-scope 980 load-ingredients 981 return 35 982 ] 983 # prefer the concrete variant, ignore concrete types in scoring the shape-shifting variant 984 +mem: storing 34 in location 1 985 986 :(scenario specialize_literal_as_address) 987 def <a href='000organization.cc.html#L113'>main</a> [ 988 1:num <- foo 0 989 ] 990 # variant with concrete address type 991 def foo x:&:num -> y:num [ 992 local-scope 993 load-ingredients 994 return 34 995 ] 996 # shape-shifting variant 997 def foo x:&:_elem -> y:num [ 998 local-scope 999 load-ingredients 1000 return 35 1001 ] 1002 # prefer the concrete variant, ignore concrete types in scoring the shape-shifting variant 1003 +mem: storing 34 in location 1 1004 1005 :(scenario missing_type_during_specialization) 1006 % Hide_errors = true; 1007 # define a shape-shifting recipe 1008 def foo a:_elem [ 1009 ] 1010 # define a container with field 'z' 1011 container foo2 [ 1012 z:num 1013 ] 1014 def <a href='000organization.cc.html#L113'>main</a> [ 1015 local-scope 1016 x:foo2 <- merge 34 1017 y:num <- get x, z:offse # typo in 'offset' 1018 # define a variable with the same name 'z' 1019 z:num <- copy 34 1020 # trigger specialization of the shape-shifting recipe 1021 foo z 1022 ] 1023 # shouldn't crash 1024 1025 :(scenario missing_type_during_specialization2) 1026 % Hide_errors = true; 1027 # define a shape-shifting recipe 1028 def foo a:_elem [ 1029 ] 1030 # define a container with field 'z' 1031 container foo2 [ 1032 z:num 1033 ] 1034 def <a href='000organization.cc.html#L113'>main</a> [ 1035 local-scope 1036 x:foo2 <- merge 34 1037 y:num <- get x, z:offse # typo in 'offset' 1038 # define a variable with the same name 'z' 1039 z:&:num <- copy 34 1040 # trigger specialization of the shape-shifting recipe 1041 foo *z 1042 ] 1043 # shouldn't crash 1044 1045 :(scenario tangle_shape_shifting_recipe) 1046 # shape-shifting recipe 1047 def foo a:_elem [ 1048 local-scope 1049 load-ingredients 1050 <label1> 1051 ] 1052 # tangle some code that refers to the type ingredient 1053 after <label1> [ 1054 b:_elem <- copy a 1055 ] 1056 # trigger specialization 1057 def <a href='000organization.cc.html#L113'>main</a> [ 1058 local-scope 1059 foo 34 1060 ] 1061 $error: 0 1062 1063 :(scenario tangle_shape_shifting_recipe_with_type_abbreviation) 1064 # shape-shifting recipe 1065 def foo a:_elem [ 1066 local-scope 1067 load-ingredients 1068 <label1> 1069 ] 1070 # tangle some code that refers to the type ingredient 1071 after <label1> [ 1072 b:bool <- copy 0 # type abbreviation 1073 ] 1074 # trigger specialization 1075 def <a href='000organization.cc.html#L113'>main</a> [ 1076 local-scope 1077 foo 34 1078 ] 1079 $error: 0 1080 1081 :(scenario shape_shifting_recipe_coexists_with_primitive) 1082 # recipe overloading a primitive with a generic type 1083 def add a:&:foo:_elem [ 1084 assert 0, [should not get here] 1085 ] 1086 def <a href='000organization.cc.html#L113'>main</a> [ 1087 # call primitive add with literal 0 1088 add 0, 0 1089 ] 1090 $error: 0 </pre> </body> </html>