diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 00:43:13 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 00:43:20 -0700 |
commit | 192d59d3bb9ee0baa1afd82cb5d0f352bdc6e403 (patch) | |
tree | 56ade9284cbd296ade90601a3a047c5cbdf3428c /021check_instruction.cc | |
parent | 08f4628e8b858120fe3547d8e5431d9abfe46bf8 (diff) | |
download | mu-192d59d3bb9ee0baa1afd82cb5d0f352bdc6e403.tar.gz |
3380
One more place we were missing expanding type abbreviations: inside container definitions.
Diffstat (limited to '021check_instruction.cc')
-rw-r--r-- | 021check_instruction.cc | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/021check_instruction.cc b/021check_instruction.cc index 1baacfb4..b847fbe5 100644 --- a/021check_instruction.cc +++ b/021check_instruction.cc @@ -46,35 +46,35 @@ void check_instruction(const recipe_ordinal r) { :(scenario copy_checks_reagent_count) % Hide_errors = true; def main [ - 1:number <- copy 34, 35 + 1:num <- copy 34, 35 ] -+error: main: ingredients and products should match in '1:number <- copy 34, 35' ++error: main: ingredients and products should match in '1:num <- copy 34, 35' :(scenario write_scalar_to_array_disallowed) % Hide_errors = true; def main [ - 1:array:number <- copy 34 + 1:array:num <- copy 34 ] -+error: main: can't copy '34' to '1:array:number'; types don't match ++error: main: can't copy '34' to '1:array:num'; types don't match :(scenario write_scalar_to_array_disallowed_2) % Hide_errors = true; def main [ - 1:number, 2:array:number <- copy 34, 35 + 1:num, 2:array:num <- copy 34, 35 ] -+error: main: can't copy '35' to '2:array:number'; types don't match ++error: main: can't copy '35' to '2:array:num'; types don't match :(scenario write_scalar_to_address_disallowed) % Hide_errors = true; def main [ - 1:address:number <- copy 34 + 1:address:num <- copy 34 ] -+error: main: can't copy '34' to '1:address:number'; types don't match ++error: main: can't copy '34' to '1:address:num'; types don't match :(scenario write_address_to_number_allowed) def main [ - 1:address:number <- copy 12/unsafe - 2:number <- copy 1:address:number + 1:address:num <- copy 12/unsafe + 2:num <- copy 1:address:num ] +mem: storing 12 in location 2 $error: 0 @@ -82,15 +82,15 @@ $error: 0 :(scenario write_boolean_to_number_allowed) def main [ 1:boolean <- copy 1/true - 2:number <- copy 1:boolean + 2:num <- copy 1:boolean ] +mem: storing 1 in location 2 $error: 0 :(scenario write_number_to_boolean_allowed) def main [ - 1:number <- copy 34 - 2:boolean <- copy 1:number + 1:num <- copy 34 + 2:boolean <- copy 1:num ] +mem: storing 34 in location 2 $error: 0 |