From 3e1349d29fa00db1fab3a811b60bc9d8de0355e4 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Fri, 30 Sep 2016 10:45:14 -0700 Subject: 3431 Improvements to syntax highlighting, particularly for Mu code in C++ files. --- html/071recipe.cc.html | 59 +++++++++++++++++++++++++------------------------- 1 file changed, 30 insertions(+), 29 deletions(-) (limited to 'html/071recipe.cc.html') diff --git a/html/071recipe.cc.html b/html/071recipe.cc.html index fd4b234a..f661b770 100644 --- a/html/071recipe.cc.html +++ b/html/071recipe.cc.html @@ -15,13 +15,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color * { font-size: 12pt; font-size: 1em; } .Constant { color: #00a0a0; } .cSpecial { color: #008000; } -.traceContains { color: #008000; } +.muRecipe { color: #ff8700; } .SalientComment { color: #00ffff; } .Comment { color: #9090ff; } .Delimiter { color: #800080; } .Special { color: #c00000; } -.Identifier { color: #fcb165; } +.traceContains { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; } +.Identifier { color: #fcb165; } --> @@ -40,10 +41,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color //: todo: support storing shape-shifting recipes into recipe variables and calling them :(scenario call_literal_recipe) -def main [ +def main [ 1:num <- call f, 34 ] -def f x:num -> y:num [ +def f x:num -> y:num [ local-scope load-ingredients y <- copy x @@ -51,11 +52,11 @@ def f x:num -> y:num [ +mem: storing 34 in location 1 :(scenario call_variable) -def main [ - {1: (recipe number -> number)} <- copy f - 2:num <- call {1: (recipe number -> number)}, 34 +def main [ + {1: (recipe number -> number)} <- copy f + 2:num <- call {1: (recipe number -> number)}, 34 ] -def f x:num -> y:num [ +def f x:num -> y:num [ local-scope load-ingredients y <- copy x @@ -113,7 +114,7 @@ get_or_insert(Type,//: assume variable types override recipe literals. :(scenario error_on_recipe_literal_used_as_a_variable) % Hide_errors = true; -def main [ +def main [ local-scope a:bool <- equal break 0 break:bool <- copy 0 @@ -160,10 +161,10 @@ put(Recipe_ordinal,:(scenario call_check_literal_recipe) % Hide_errors = true; -def main [ +def main [ 1:num <- call f, 34 ] -def f x:point -> y:point [ +def f x:point -> y:point [ local-scope load-ingredients y <- copy x @@ -173,11 +174,11 @@ def f x:point -> y:point [ :(scenario call_check_variable_recipe) % Hide_errors = true; -def main [ - {1: (recipe point -> point)} <- copy f - 2:num <- call {1: (recipe point -> point)}, 34 +def main [ + {1: (recipe point -> point)} <- copy f + 2:num <- call {1: (recipe point -> point)}, 34 ] -def f x:point -> y:point [ +def f x:point -> y:point [ local-scope load-ingredients y <- copy x @@ -211,7 +212,7 @@ Transform.push_back(} } -recipe from_reagent(const reagent& r) { +recipe from_reagent(const reagent& r) { assert(r.type); recipe result_header; // will contain only ingredients and products, nothing else result_header.has_header = true; @@ -289,12 +290,12 @@ reagent next_recipe_reagent( :(scenario copy_typecheck_recipe_variable) % Hide_errors = true; -def main [ +def main [ 3:num <- copy 34 # abc def - {1: (recipe number -> number)} <- copy f # store literal in a matching variable - {2: (recipe boolean -> boolean)} <- copy {1: (recipe number -> number)} # mismatch between recipe variables + {1: (recipe number -> number)} <- copy f # store literal in a matching variable + {2: (recipe boolean -> boolean)} <- copy {1: (recipe number -> number)} # mismatch between recipe variables ] -def f x:num -> y:num [ +def f x:num -> y:num [ local-scope load-ingredients y <- copy x @@ -303,10 +304,10 @@ def f x:num -> y:num [ :(scenario copy_typecheck_recipe_variable_2) % Hide_errors = true; -def main [ - {1: (recipe number -> number)} <- copy f # mismatch with a recipe literal +def main [ + {1: (recipe number -> number)} <- copy f # mismatch with a recipe literal ] -def f x:bool -> y:bool [ +def f x:bool -> y:bool [ local-scope load-ingredients y <- copy x @@ -333,12 +334,12 @@ def f x:bool -> y: } :(scenario call_variable_compound_ingredient) -def main [ - {1: (recipe (address number) -> number)} <- copy f +def main [ + {1: (recipe (address number) -> number)} <- copy f 2:&:num <- copy 0 - 3:num <- call {1: (recipe (address number) -> number)}, 2:&:num + 3:num <- call {1: (recipe (address number) -> number)}, 2:&:num ] -def f x:&:num -> y:num [ +def f x:&:num -> y:num [ local-scope load-ingredients y <- copy x @@ -348,10 +349,10 @@ $error: 0 //: make sure we don't accidentally break on a function literal :(scenario jump_forbidden_on_recipe_literals) % Hide_errors = true; -def foo [ +def foo [ local-scope ] -def main [ +def main [ local-scope { break-if foo -- cgit 1.4.1-2-gfad0