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

diff options

author	Kartik K. Agaram <vc@akkartik.com>	2016-02-19 02:53:19 -0800
committer	Kartik K. Agaram <vc@akkartik.com>	2016-02-19 02:53:19 -0800
commit	f3b504bc058162ec7f46280263fbd8bf72175f50 (patch)
tree	93f4621a46bf88a1265f99a60e9343cd55842ce7 /sandbox/003-shortcuts.mu
parent	f6c7b4155936e7c5485a14abcbb458d0c3bbd882 (diff)
download	mu-f3b504bc058162ec7f46280263fbd8bf72175f50.tar.gz

2681

Diffstat (limited to 'sandbox/003-shortcuts.mu')

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 - 046check_type_by_name.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 //: Some simple sanity checks for types, and also attempts to guess them where 2 //: they aren't provided. 3 //: 4 //: You still have to provide the full type the first time you mention a 5 //: variable in a recipe. You have to explicitly name :offset and :variant 6 //: every single time. You can't use the same name with multiple types in a 7 //: single recipe. 8 9 :(scenario transform_fails_on_reusing_name_with_different_type) 10 % Hide_errors = true; 11 def <a href='000organization.cc.html#L113'>main</a> [ 12 x:num <- copy 1 13 x:bool <- copy 1 14 ] 15 +error: <a href='000organization.cc.html#L113'>main</a>: 'x' used with multiple types 16 17 :(after "Transform.push_back(expand_type_abbreviations)") 18 Transform.push_back(<a href='046check_type_by_name.cc.html#L21'>check_or_set_types_by_name</a>); // idempotent 19 20 :(code) 21 void <a href='046check_type_by_name.cc.html#L21'>check_or_set_types_by_name</a>(const <a href='010vm.cc.html#L14'>recipe_ordinal</a> r) { 22 <a href='003trace.cc.html#L167'>trace</a>(9991, "transform") << "--- deduce types for <a href='010vm.cc.html#L19'>recipe</a> " << get(Recipe, r).name << <a href='003trace.cc.html#L203'>end</a>(); 23 recipe& caller = get(Recipe, r); 24 set<reagent> known; 25 for (int i = 0; i < <a href='001help.cc.html#L141'>SIZE</a>(caller.steps); ++i) { 26 ¦ instruction& inst = caller.steps.at(i); 27 ¦ for (int in = 0; in < <a href='001help.cc.html#L141'>SIZE</a>(inst.ingredients); ++in) { 28 ¦ ¦ <a href='046check_type_by_name.cc.html#L38'>deduce_missing_type</a>(known, inst.ingredients.at(in), caller); 29 ¦ ¦ <a href='046check_type_by_name.cc.html#L59'>check_type</a>(known, inst.ingredients.at(in), caller); 30 ¦ } 31 ¦ for (int out = 0; out < <a href='001help.cc.html#L141'>SIZE</a>(inst.products); ++out) { 32 ¦ ¦ <a href='046check_type_by_name.cc.html#L38'>deduce_missing_type</a>(known, inst.products.at(out), caller); 33 ¦ ¦ <a href='046check_type_by_name.cc.html#L59'>check_type</a>(known, inst.products.at(out), caller); 34 ¦ } 35 } 36 } 37 38 void <a href='046check_type_by_name.cc.html#L38'>deduce_missing_type</a>(set<reagent>& known, reagent& x, const recipe& caller) { 39 // Deduce Missing Type(x, caller) 40 if (x.type) return; 41 if (<a href='041jump_target.cc.html#L11'>is_jump_target</a>(x.name)) { 42 ¦ x.type = new type_tree("label"); 43 ¦ return; 44 } 45 if (known.find(x) == known.<a href='003trace.cc.html#L203'>end</a>()) return; 46 const reagent& exemplar = *known.find(x); 47 x.type = new type_tree(*exemplar.type); 48 <a href='003trace.cc.html#L167'>trace</a>(9992, "transform") << x.name << " <= " << names_to_string(x.type) << <a href='003trace.cc.html#L203'>end</a>(); 49 // spaces are special; their type includes their /names property 50 if (<a href='043space.cc.html#L106'>is_mu_space</a>(x) && !has_property(x, "names")) { 51 ¦ if (!has_property(exemplar, "names")) { 52 ¦ ¦ <a href='003trace.cc.html#L174'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(caller.name) << "missing /names property for space variable '" << exemplar.name << "'\n" << <a href='003trace.cc.html#L203'>end</a>(); 53 ¦ ¦ return; 54 ¦ } 55 ¦ x.properties.push_back(pair<string, string_tree*>("names", new string_tree(*property(exemplar, "names")))); 56 } 57 } 58 59 void <a href='046check_type_by_name.cc.html#L59'>check_type</a>(set<reagent>& known, const reagent& x, const recipe& caller) { 60 if (is_literal(x)) return; 61 if (<a href='002test.cc.html#L85'>is_integer</a>(x.name)) return; // if you use raw locations you're probably doing something unsafe 62 if (!x.type) return; // might get filled in by other logic later 63 if (<a href='041jump_target.cc.html#L11'>is_jump_target</a>(x.name)) { 64 ¦ if (!x.type->atom || x.type->name != "label") 65 ¦ ¦ <a href='003trace.cc.html#L174'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(caller.name) << "non-label '" << x.name << "' must begin with a letter\n" << <a href='003trace.cc.html#L203'>end</a>(); 66 ¦ return; 67 } 68 if (known.find(x) == known.<a href='003trace.cc.html#L203'>end</a>()) { 69 ¦ <a href='003trace.cc.html#L167'>trace</a>(9992, "transform") << x.name << " => " << names_to_string(x.type) << <a href='003trace.cc.html#L203'>end</a>(); 70 ¦ known.insert(x); 71 } 72 if (!types_strictly_match(known.find(x)->type, x.type)) { 73 ¦ <a href='003trace.cc.html#L174'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(caller.name) << "'" << x.name << "' used with multiple types\n" << <a href='003trace.cc.html#L203'>end</a>(); 74 ¦ return; 75 } 76 if (is_mu_array(x)) { 77 ¦ if (!x.type->right) { 78 ¦ ¦ <a href='003trace.cc.html#L174'>raise</a> << <a href='013update_operation.cc.html#L25'>maybe</a>(caller.name) << "'" << x.name << ": can't be just an array. What is it an array of?\n" << <a href='003trace.cc.html#L203'>end</a>(); 79 ¦ ¦ return; 80 ¦ } 81 ¦ if (!x.type->right->right) { 82 ¦ ¦ <a href='003trace.cc.html#L174'>raise</a> << caller.name << " can't determine the size of array variable '" << x.name << "'. Either allocate it separately and make the type of '" << x.name << "' an address, or specify the length of the array in the type of '" << x.name << "'.\n" << end(); 83 ¦ ¦ return; 84 ¦ } 85 } 86 } 87 88 :(scenario transform_fills_in_missing_types) 89 def <a href='000organization.cc.html#L113'>main</a> [ 90 x:num <- copy 1 91 y:num <- add x, 1 92 ] 93 # x is in location 1, y in location 2 94 +mem: storing 2 in location 2 95 96 :(scenario transform_fills_in_missing_types_in_product) 97 def <a href='000organization.cc.html#L113'>main</a> [ 98 x:num <- copy 1 99 x <- copy 2 100 ] 101 # x is in location 1 102 +mem: storing 2 in location 1 103 104 :(scenario transform_fills_in_missing_types_in_product_and_ingredient) 105 def <a href='000organization.cc.html#L113'>main</a> [ 106 x:num <- copy 1 107 x <- add x, 1 108 ] 109 # x is in location 1 110 +mem: storing 2 in location 1 111 112 :(scenario transform_fills_in_missing_label_type) 113 def <a href='000organization.cc.html#L113'>main</a> [ 114 jump +target 115 1:num <- copy 0 116 +target 117 ] 118 -mem: storing 0 in location 1 119 120 :(scenario transform_fails_on_missing_types_in_first_mention) 121 % Hide_errors = true; 122 def <a href='000organization.cc.html#L113'>main</a> [ 123 x <- copy 1 124 x:num <- copy 2 125 ] 126 +error: <a href='000organization.cc.html#L113'>main</a>: missing type for 'x' in 'x <- copy 1' 127 128 :(scenario transform_fails_on_wrong_type_for_label) 129 % Hide_errors = true; 130 def <a href='000organization.cc.html#L113'>main</a> [ 131 +foo:num <- copy 34 132 ] 133 +error: <a href='000organization.cc.html#L113'>main</a>: non-label '+foo' must begin with a letter 134 135 :(scenario typo_in_address_type_fails) 136 % Hide_errors = true; 137 def <a href='000organization.cc.html#L113'>main</a> [ 138 y:&:charcter <- new character:type 139 *y <- copy 67 140 ] 141 +error: <a href='000organization.cc.html#L113'>main</a>: unknown type charcter in 'y:&:charcter <- new character:type' 142 143 :(scenario array_type_without_size_fails) 144 % Hide_errors = true; 145 def <a href='000organization.cc.html#L113'>main</a> [ 146 x:@:num <- merge 2, 12, 13 147 ] 148 +error: <a href='000organization.cc.html#L113'>main</a> can't determine the size of array variable 'x'. Either allocate it separately and make the type of 'x' an address, or specify the length of the array in the type of 'x'. 149 150 :(scenarios transform) 151 :(scenario transform_checks_types_of_identical_reagents_in_multiple_spaces) 152 def foo [ # dummy 153 ] 154 def <a href='000organization.cc.html#L113'>main</a> [ 155 local-scope 156 0:space/names:foo <- copy 0 # specify surrounding space 157 x:bool <- copy 1/true 158 x:num/space:1 <- copy 34 159 x/space:1 <- copy 35 160 ] 161 $error: 0 162 163 :(scenario transform_handles_empty_reagents) 164 % Hide_errors = true; 165 def <a href='000organization.cc.html#L113'>main</a> [ 166 add * 167 ] 168 +error: illegal name '*' 169 # no crash </pre> </body> </html>


context:
space:
mode: