From f344b250f6f062a1a1902bf69b23ebf9b565de0e Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 17 Sep 2016 15:01:51 -0700 Subject: 3395 --- html/031merge.cc.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'html/031merge.cc.html') diff --git a/html/031merge.cc.html b/html/031merge.cc.html index 0642eab2..9f3e8440 100644 --- a/html/031merge.cc.html +++ b/html/031merge.cc.html @@ -37,8 +37,8 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color :(scenario merge) container foo [ - x:number - y:number + x:num + y:num ] def main [ 1:foo <- merge 3, 4 @@ -247,9 +247,9 @@ Transform.push_back(:(scenario merge_check_product) % Hide_errors = true; def main [ - 1:number <- merge 3 + 1:num <- merge 3 ] -+error: main: 'merge' should yield a container in '1:number <- merge 3' ++error: main: 'merge' should yield a container in '1:num <- merge 3' :(before "End Includes") #include <stack> -- cgit 1.4.1-2-gfad0