Nim - This repository contains the Nim compiler, Nim's stdlib, tools, and documentation. (mirror)

diff options

Diffstat (limited to 'tests/stdlib/tnet.nim')

0 files changed, 0 insertions, 0 deletions

<!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 - 062convert_ingredients_to_text.cc</title> <meta name="Generator" content="Vim/8.0"> <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 //: make some recipes more friendly by trying to auto-convert their ingredients to text 2 3 :(scenarios transform) 4 :(scenario rewrite_stashes_to_text) 5 def <a href='000organization.cc.html#L113'>main</a> [ 6 local-scope 7 n:num <- copy 34 8 stash n 9 ] 10 +transform: {stash_2_0: ("address" "array" "character")} <- to-text-line {n: "number"} 11 +transform: stash {stash_2_0: ("address" "array" "character")} 12 13 :(scenario rewrite_traces_to_text) 14 def <a href='000organization.cc.html#L113'>main</a> [ 15 local-scope 16 n:num <- copy 34 17 <a href='003trace.cc.html#L190'>trace</a> 2, [app], n 18 ] 19 +transform: {trace_2_2: ("address" "array" "character")} <- to-text-line {n: "number"} 20 +transform: <a href='003trace.cc.html#L190'>trace</a> {2: "literal"}, {"app": "literal-string"}, {trace_2_2: ("address" "array" "character")} 21 22 //: special case: rewrite attempts to stash contents of most arrays to avoid 23 //: passing addresses around 24 25 :(scenario rewrite_stashes_of_arrays) 26 def <a href='000organization.cc.html#L113'>main</a> [ 27 local-scope 28 n:&:@:num <- new number:type, 3 29 stash *n 30 ] 31 +transform: {stash_2_0: ("address" "array" "character")} <- array-to-text-line {n: ("address" "array" "number")} 32 +transform: stash {stash_2_0: ("address" "array" "character")} 33 34 :(scenario ignore_stashes_of_static_arrays) 35 def <a href='000organization.cc.html#L113'>main</a> [ 36 local-scope 37 n:@:num:3 <- create-array 38 stash n 39 ] 40 +transform: stash {n: ("array" "number" "3")} 41 42 :(scenario rewrite_stashes_of_recipe_header_products) 43 container foo [ 44 x:num 45 ] 46 def bar -> x:foo [ 47 local-scope 48 load-ingredients 49 x <- merge 34 50 stash x 51 ] 52 +transform: stash {stash_2_0: ("address" "array" "character")} 53 54 //: misplaced; should be in instruction inserting/deleting transforms, but has 55 //: prerequisites: deduce_types_from_header and check_or_set_types_by_name 56 :(after "Transform.push_back(deduce_types_from_header)") 57 Transform.push_back(convert_ingredients_to_text); // idempotent 58 59 :(code) 60 void convert_ingredients_to_text(const <a href='010vm.cc.html#L14'>recipe_ordinal</a> r) { 61 recipe& caller = get(Recipe, r); 62 <a href='003trace.cc.html#L190'>trace</a>(9991, "transform") << "--- convert some ingredients to text in <a href='010vm.cc.html#L19'>recipe</a> " << caller.name << <a href='003trace.cc.html#L226'>end</a>(); 63 // in recipes without named locations, 'stash' is still not extensible 64 if (<a href='060rewrite_literal_string.cc.html#L65'>contains_numeric_locations</a>(caller)) return; 65 convert_ingredients_to_text(caller); 66 } 67 68 void convert_ingredients_to_text(recipe& caller) { 69 vector<instruction> new_instructions; 70 for (int i = 0; i < <a href='001help.cc.html#L141'>SIZE</a>(caller.steps); ++i) { 71 instruction& inst = caller.steps.at(i); 72 // all these cases are getting hairy. how can we make this extensible? 73 if (inst.name == "stash") { 74 for (int j = 0; j < <a href='001help.cc.html#L141'>SIZE</a>(inst.ingredients); ++j) { 75 if (<a href='014literal_string.cc.html#L126'>is_literal_text</a>(inst.ingredients.at(j))) continue; 76 ostringstream ingredient_name; 77 ingredient_name << "stash_" <'_' << j << ":<a href='043space.cc.html#L101'>address</a>:array:character"; 78 convert_ingredient_to_text(inst.ingredients.at(j), new_instructions, ingredient_name.str()); 79 } 80 } 81 else if (inst.name == "trace") { 82 for (int j = /*skip*/2; j < <a href='001help.cc.html#L141'>SIZE</a>(inst.ingredients); ++j) { 83 if (<a href='014literal_string.cc.html#L126'>is_literal_text</a>(inst.ingredients.at(j))) continue; 84 ostringstream ingredient_name; 85 ingredient_name << "trace_" <'_' << j << ":<a href='043space.cc.html#L101'>address</a>:array:character"; 86 convert_ingredient_to_text(inst.ingredients.at(j), new_instructions, ingredient_name.str()); 87 } 88 } 89 else if (inst.name_before_rewrite == "append") { 90 // override only variants that try to append to a string 91 // Beware: this hack restricts how much 'append' can be overridden. Any 92 // new variants that match: 93 // append _:text, ___ 94 // will never ever get used. 95 if (<a href='014literal_string.cc.html#L126'>is_literal_text</a>(inst.ingredients.at(0)) || <a href='027call_ingredient.cc.html#L179'>is_mu_text</a>(inst.ingredients.at(0))) { 96 for (int j = /*skip base*/1; j < <a href='001help.cc.html#L141'>SIZE</a>(inst.ingredients); ++j) { 97 ostringstream ingredient_name; 98 ingredient_name << "append_" <'_' << j << ":<a href='043space.cc.html#L101'>address</a>:array:character"; 99 convert_ingredient_to_text(inst.ingredients.at(j), new_instructions, ingredient_name.str()); 100 } 101 } 102 } 103 <a href='003trace.cc.html#L190'>trace</a>(9993, "transform") << <a href='028call_return.cc.html#L163'>to_string</a>(inst) << <a href='003trace.cc.html#L226'>end</a>(); 104 new_instructions.push_back(inst); 105 } 106 caller.steps.swap(new_instructions); 107 } 108 109 // add an instruction to convert reagent 'r' to text in list 'out', then 110 // replace r with converted text 111 void convert_ingredient_to_text(reagent& r, vector<instruction>& out, const string& tmp_var) { 112 if (!r.type) return; // error; will be handled elsewhere 113 if (<a href='027call_ingredient.cc.html#L179'>is_mu_text</a>(r)) return; 114 // don't try to extend static arrays 115 if (is_static_array(r)) return; 116 <a href='010vm.cc.html#L33'>instruction</a> def; 117 if (is_lookup_of_address_of_array(r)) { 118 def.name = "array-to-text-line"; 119 reagent/*copy*/ tmp = r; 120 drop_one_lookup(tmp); 121 def.ingredients.push_back(tmp); 122 } 123 else { 124 def.name = "to-text-line"; 125 def.ingredients.push_back(r); 126 } 127 def.products.push_back(reagent(tmp_var)); 128 <a href='003trace.cc.html#L190'>trace</a>(9993, "transform") << <a href='028call_return.cc.html#L163'>to_string</a>(def) << <a href='003trace.cc.html#L226'>end</a>(); 129 out.push_back(def); 130 r.<a href='050scenario.cc.html#L60'>clear</a>(); // reclaim old memory 131 r = reagent(tmp_var); 132 } 133 134 bool is_lookup_of_address_of_array(reagent/*copy*/ x) { 135 if (x.type->atom) return false; 136 if (x.type->left->name != "address") return false; 137 if (!canonize_type(x)) return false; 138 return is_mu_array(x); 139 } 140 141 bool is_static_array(const reagent& x) { 142 // no canonize_type() 143 return !x.type->atom && x.type->left->atom && x.type->left->name == "array"; 144 } 145 146 //: Supporting 'append' above requires remembering what name an instruction 147 //: had before any rewrites or transforms. 148 :(before "End <a href='010vm.cc.html#L33'>instruction</a> Fields") 149 string name_before_rewrite; 150 :(before "End <a href='010vm.cc.html#L33'>instruction</a> Clear") 151 name_before_rewrite.<a href='050scenario.cc.html#L60'>clear</a>(); 152 :(before "End next_instruction(curr)") 153 curr->name_before_rewrite = curr->name; 154 155 :(scenarios run) 156 :(scenario append_other_types_to_text) 157 def <a href='000organization.cc.html#L113'>main</a> [ 158 local-scope 159 n:num <- copy 11 160 c:char <- copy 111/o 161 a:text <- append [abc], 10, n, c 162 expected:text <- new [abc1011o] 163 10:bool/raw <- equal a, expected 164 ] 165 166 //: Make sure that the new system is strictly better than just the 'stash' 167 //: primitive by itself. 168 169 :(scenario rewrite_stash_continues_to_fall_back_to_default_implementation) 170 # type without a to-text implementation 171 container foo [ 172 x:num 173 y:num 174 ] 175 def <a href='000organization.cc.html#L113'>main</a> [ 176 local-scope 177 x:foo <- merge 34, 35 178 stash x 179 ] 180 +app: 34 35 </pre> </body> </html>


context:
space:
mode: