From 377b00b045289a3fa8e88d4b2f129d797c687e2f Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Sun, 17 Jun 2018 19:53:52 -0700 Subject: 4265 Standardize use of type ingredients some more. --- 021check_instruction.cc | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to '021check_instruction.cc') 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 [ -- cgit 1.4.1-2-gfad0