about summary refs log blame commit diff stats
path: root/archive/0.vm.arc/counters.mu
blob: 0e4145131104963cfea960374db5433031e6cb76 (plain) (tree) 
b96af395 ^

































1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

































                                                                                                             
(function init-counter [
  (default-space:space-address <- new space:literal 30:literal)
  (n:integer <- next-input)
  (reply default-space:space-address)
 ])

(function increment-counter [
  (default-space:space-address <- new space:literal 30:literal)
  (0:space-address/names:init-counter <- next-input)  ; setup outer space; it *must* come from 'init-counter'
  (x:integer <- next-input)
  (n:integer/space:1 <- add n:integer/space:1 x:integer)
  (reply n:integer/space:1)
 ])

(function main [
  (default-space:space-address <- new space:literal 30:literal)
  ; counter A
  (a:space-address <- init-counter 34:literal)
  ; counter B
  (b:space-address <- init-counter 23:literal)
  ; increment both by 2 but in different ways
  (increment-counter a:space-address 1:literal)
  (bres:integer <- increment-counter b:space-address 2:literal)
  (ares:integer <- increment-counter a:space-address 1:literal)
  ; check results
  ($print (("Contents of counters a: " literal)))
  (print-integer nil:literal/terminal ares:integer)
  ($print ((" b: " literal)))
  (print-integer nil:literal/terminal bres:integer)
  ($print (("\n" literal)))
 ])

; compare http://www.paulgraham.com/accgen.html
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-10-21 22:45:46 +0000
ss="p">(in.peek() == '['); out << static_cast<char>(in.get()); // slurp the '[' if (code_string(in, out)) slurp_quoted_comment_aware(in, out); else slurp_quoted_comment_oblivious(in, out); return out.str(); } // A string is a code string if it contains a newline before any non-whitespace // todo: support comments before the newline. But that gets messy. bool code_string(istream& in, ostringstream& out) { while (!in.eof()) { char c = in.get(); if (!isspace(c)) { in.putback(c); //? cerr << "code_string: " << out.str() << '\n'; //? 1 return false; } out << c; if (c == '\n') { //? cerr << "code_string: " << out.str() << '\n'; //? 1 return true; } } return false; } // Read a regular string. Regular strings can only contain other regular // strings. void slurp_quoted_comment_oblivious(istream& in, ostringstream& out) { //? cerr << "comment oblivious\n"; //? 1 int brace_depth = 1; while (!in.eof()) { char c = in.get(); //? cerr << '%' << (int)c << ' ' << brace_depth << ": " << out.str() << "%$\n"; //? 1 //? cout << (int)c << ": " << brace_depth << '\n'; //? 2 if (c == '\\') { out << static_cast<char>(in.get()); continue; } out << c; //? cout << out.str() << "$\n"; //? 1 if (c == '[') ++brace_depth; if (c == ']') --brace_depth; if (brace_depth == 0) break; } if (in.eof() && brace_depth > 0) { raise << "unbalanced '['\n" << end(); out.clear(); } } // Read a code string. Code strings can contain either code or regular strings. void slurp_quoted_comment_aware(istream& in, ostringstream& out) { //? cerr << "comment aware\n"; //? 1 char c; while (in >> c) { //? cerr << '^' << (int)c << ": " << out.str() << "$\n"; //? 1 if (c == '\\') { out << static_cast<char>(in.get()); continue; } if (c == '#') { out << c; while (!in.eof() && in.peek() != '\n') out << static_cast<char>(in.get()); continue; } if (c == '[') { in.putback(c); // recurse out << slurp_quoted(in); continue; } out << c; if (c == ']') return; } raise << "unbalanced '['\n" << end(); out.clear(); } :(after "Parsing reagent(string s)") if (s.at(0) == '[') { assert(*s.rbegin() == ']'); // delete [] delimiters s.erase(0, 1); s.erase(SIZE(s)-1); name = s; types.push_back(0); properties.push_back(pair<string, vector<string> >(name, vector<string>())); properties.back().second.push_back("literal-string"); return; } //: Two tweaks to printing literal strings compared to other reagents: //: a) Don't print the string twice in the representation, just put '_' in //: the property list. //: b) Escape newlines in the string to make it more friendly to trace(). :(after "string reagent::to_string()") if (!properties.at(0).second.empty() && properties.at(0).second.at(0) == "literal-string") { return emit_literal_string(name); } :(code) string emit_literal_string(string name) { size_t pos = 0; while (pos != string::npos) pos = replace(name, "\n", "\\n", pos); return "{name: \""+name+"\", properties: [_: \"literal-string\"]}"; } size_t replace(string& str, const string& from, const string& to, size_t n) { size_t result = str.find(from, n); if (result != string::npos) str.replace(result, from.length(), to); return result; } :(scenario string_literal_nested) recipe main [ 1:address:array:character <- copy [abc [def]] ] +parse: ingredient: {name: "abc [def]", properties: [_: "literal-string"]} :(scenario string_literal_escaped) recipe main [ 1:address:array:character <- copy [abc \[def] ] +parse: ingredient: {name: "abc [def", properties: [_: "literal-string"]} :(scenario string_literal_escaped_comment_aware) recipe main [ 1:address:array:character <- copy [ abc \\\[def] ] +parse: ingredient: {name: "\nabc \[def", properties: [_: "literal-string"]} :(scenario string_literal_and_comment) recipe main [ 1:address:array:character <- copy [abc] # comment ] +parse: instruction: copy +parse: ingredient: {name: "abc", properties: [_: "literal-string"]} +parse: product: {name: "1", properties: ["1": "address":"array":"character"]} # no other ingredients $parse: 3 :(scenario string_literal_escapes_newlines_in_trace) recipe main [ copy [abc def] ] +parse: ingredient: {name: "abc\ndef", properties: [_: "literal-string"]} :(scenario string_literal_can_skip_past_comments) recipe main [ copy [ # ']' inside comment bar ] ] +parse: ingredient: {name: "\n # ']' inside comment\n bar\n ", properties: [_: "literal-string"]} :(scenario string_literal_empty) recipe main [ copy [] ] +parse: ingredient: {name: "", properties: [_: "literal-string"]}
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-10-21 22:45:45 +0000