diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-11-10 10:34:16 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-11-10 10:34:16 -0800 |
commit | c8f2ff13929c7204dec46b266fa0b155e6faca12 (patch) | |
tree | b5e293493192c0829e0e381d195e6cace33784fc /053recipe_header.cc | |
parent | f116818c7c6e98a5d9bfa7058096b42df85d8e1c (diff) | |
download | mu-c8f2ff13929c7204dec46b266fa0b155e6faca12.tar.gz |
3657 - better error message
Thanks Ella Couch for reporting this.
Diffstat (limited to '053recipe_header.cc')
-rw-r--r-- | 053recipe_header.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/053recipe_header.cc b/053recipe_header.cc index 2ee10d09..c8904ba3 100644 --- a/053recipe_header.cc +++ b/053recipe_header.cc @@ -353,6 +353,16 @@ def add2 x:num, y:num [ ] +error: add2: replied with the wrong number of products at 'return z' +:(scenario recipe_headers_are_checked_against_transformed_instructions) +% Hide_errors = true; +def foo -> x:num [ + local-scope + x:num <- copy 0 + z:bool <- copy 0/false + return-if z, z +] ++error: foo: replied with the wrong type at 'return-if z, z' + :(scenario recipe_headers_check_for_duplicate_names) % Hide_errors = true; def add2 x:num, x:num -> z:num [ |