about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--056recipe_header.cc2
-rw-r--r--057static_dispatch.cc3
-rw-r--r--999spaces.cc11
3 files changed, 9 insertions, 7 deletions
diff --git a/056recipe_header.cc b/056recipe_header.cc
index ac1ca37e..b0d1d0ca 100644
--- a/056recipe_header.cc
+++ b/056recipe_header.cc
@@ -133,7 +133,7 @@ recipe add2 x:number, y:number -> z:number [
 ]
 +error: add2: replied with the wrong type at 'reply z'
 
-:(after "Transform.push_back(check_types_by_name)")
+:(before "End Type Modifying Transforms")
 Transform.push_back(check_reply_instructions_against_header);  // idempotent
 
 :(code)
diff --git a/057static_dispatch.cc b/057static_dispatch.cc
index 223e6ec9..a333838c 100644
--- a/057static_dispatch.cc
+++ b/057static_dispatch.cc
@@ -120,9 +120,8 @@ recipe test a:number, b:number -> z:number [
 ]
 +mem: storing 2 in location 7
 
-//: after insert_fragments (tangle) and before computing operation ids
 //: after filling in all missing types (because we'll be introducing 'blank' types in this transform in a later layer, for shape-shifting recipes)
-:(after "Transform.push_back(deduce_types_from_header)")
+:(after "End Type Modifying Transforms")
 Transform.push_back(resolve_ambiguous_calls);  // idempotent
 
 :(code)
diff --git a/999spaces.cc b/999spaces.cc
index 8a90dbb4..4e8999d9 100644
--- a/999spaces.cc
+++ b/999spaces.cc
@@ -45,14 +45,17 @@ assert(Max_callstack_depth == 9989);
 //:      ↳ 56.4 fill in reply ingredients
 //:
 //:     begin type modifying transforms
+//:     ---
 //:       48 check types by name
-//:        ↓ ↱ 56.3 deduce types from header
-//:        ↓ ↑ ↳ 57 static dispatch
-//:        ↳ 56 check reply instructions against header
+//:     ---
+//:        ↱ 56.3 deduce types from header
+//:       56 check reply instructions against header
 //:     end type modifying transforms
 //:
+//:     57 static dispatch
+//:
 //:     30 check or set invalid containers
-//:     ---
+//:   ---
 //:     13 update instruction operation
 //:     40 transform braces
 //:     41 transform labels