diff options
Diffstat (limited to '053recipe_header.cc')
| -rw-r--r-- | 053recipe_header.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/053recipe_header.cc b/053recipe_header.cc index 057234f9..e299d3c0 100644 --- a/053recipe_header.cc +++ b/053recipe_header.cc @@ -362,7 +362,7 @@ def add2 x:num, y:num [ def foo -> x:num [ local-scope x:num <- copy 0 - z:bool <- copy 0/false + z:bool <- copy false return-if z, z ] +error: foo: replied with the wrong type at 'return-if z, z' @@ -580,7 +580,7 @@ def add2 x:num, y:num -> z:num [ local-scope load-ingredients z <- add x, y # no type for z - return-if 0/false, 34 + return-if false, 34 ] +mem: storing 8 in location 1 |