From 9e91a21ef385e33ca373e4308ca3227c228fe09b Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 25 Feb 2016 22:18:05 -0800 Subject: 2710 --- html/030container.cc.html | 4 ---- 1 file changed, 4 deletions(-) (limited to 'html/030container.cc.html') diff --git a/html/030container.cc.html b/html/030container.cc.html index 6151c829..80d27f95 100644 --- a/html/030container.cc.html +++ b/html/030container.cc.html @@ -557,7 +557,6 @@ recipe main [ +error: main: unknown type integer in '1:integer <- copy 0' :(scenario run_allows_type_definition_after_use) -% Hide_errors = true; recipe main [ 1:bar <- copy 0/unsafe ] @@ -679,7 +678,6 @@ case MERGE: { //: type-check 'merge' to avoid interpreting numbers as addresses :(scenario merge_check) -% Hide_errors = true; recipe main [ 1:point <- merge 3, 4 ] @@ -705,7 +703,6 @@ recipe main [ //: container fields. :(scenario merge_check_recursive_containers) -% Hide_errors = true; recipe main [ 1:point <- merge 3, 4 1:point-number <- merge 1:point, 5 @@ -721,7 +718,6 @@ recipe main [ +error: main: too few ingredients in '2:point-number <- merge 1:point' :(scenario merge_check_recursive_containers_3) -% Hide_errors = true; recipe main [ 1:point-number <- merge 3, 4, 5 ] -- cgit 1.4.1-2-gfad0