diff options
Diffstat (limited to '056recipe_header.cc')
| -rw-r--r-- | 056recipe_header.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/056recipe_header.cc b/056recipe_header.cc index d1735887..db2aebbe 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 "Begin Type Modifying Transforms") +:(before "End Checks") Transform.push_back(check_reply_instructions_against_header); // idempotent :(code) @@ -194,7 +194,7 @@ recipe add2 x:number, y:number -> z:number [ ] +mem: storing 8 in location 1 -:(before "Transform.push_back(check_reply_instructions_against_header)") +:(after "Begin Type Modifying Transforms") Transform.push_back(deduce_types_from_header); // idempotent :(code) |