From c8f2ff13929c7204dec46b266fa0b155e6faca12 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Thu, 10 Nov 2016 10:34:16 -0800
Subject: 3657 - better error message

Thanks Ella Couch for reporting this.
---
 053recipe_header.cc | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to '053recipe_header.cc')

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 [
-- 
cgit 1.4.1-2-gfad0