diff options
author | Kartik Agaram <vc@akkartik.com> | 2018-06-17 19:53:52 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2018-06-17 19:53:52 -0700 |
commit | 377b00b045289a3fa8e88d4b2f129d797c687e2f (patch) | |
tree | c308460cba545ca702ab81dc32ab54324b17f9f2 /021check_instruction.cc | |
parent | f5ee2463d00bdf1810c615555e91d993aa1032c3 (diff) | |
download | mu-377b00b045289a3fa8e88d4b2f129d797c687e2f.tar.gz |
4265
Standardize use of type ingredients some more.
Diffstat (limited to '021check_instruction.cc')
-rw-r--r-- | 021check_instruction.cc | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/021check_instruction.cc b/021check_instruction.cc index 7f8f067c..994eb209 100644 --- a/021check_instruction.cc +++ b/021check_instruction.cc @@ -67,17 +67,17 @@ def main [ :(scenario write_scalar_to_address_disallowed) % Hide_errors = true; def main [ - 1:address:num <- copy 34 + 1:&:num <- copy 34 ] -+error: main: can't copy '34' to '1:address:num'; types don't match ++error: main: can't copy '34' to '1:&:num'; types don't match :(scenario write_address_to_character_disallowed) % Hide_errors = true; def main [ - 1:address:num <- copy 12/unsafe - 2:char <- copy 1:address:num + 1:&:num <- copy 12/unsafe + 2:char <- copy 1:&:num ] -+error: main: can't copy '1:address:num' to '2:char'; types don't match ++error: main: can't copy '1:&:num' to '2:char'; types don't match :(scenario write_number_to_character_allowed) def main [ |