about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--071recipe.cc15
1 files changed, 15 insertions, 0 deletions
diff --git a/071recipe.cc b/071recipe.cc
index 033bc21a..9d77869d 100644
--- a/071recipe.cc
+++ b/071recipe.cc
@@ -378,3 +378,18 @@ def foo {f: (recipe num -> num)} [
 ]
 +error: foo: missing type for 'f' in 'b:num <- call f, 1'
 +error:   did you forget 'load-ingredients'?
+
+:(before "End Mu Types Initialization")
+put(Type_abbreviations, "function", new_type_tree("recipe"));
+
+:(scenario call_function)
+def main [
+  {1: (function number -> number)} <- copy f
+  2:num <- call {1: (function number -> number)}, 34
+]
+def f x:num -> y:num [
+  local-scope
+  load-ingredients
+  y <- copy x
+]
++mem: storing 34 in location 2