diff options
Diffstat (limited to '021check_instruction.cc')
| -rw-r--r-- | 021check_instruction.cc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/021check_instruction.cc b/021check_instruction.cc index f65dd398..bf139ea8 100644 --- a/021check_instruction.cc +++ b/021check_instruction.cc @@ -88,12 +88,21 @@ recipe main [ +mem: storing 1 in location 2 $error: 0 +:(scenario write_number_to_boolean_allowed) +recipe main [ + 1:number <- copy 34 + 2:boolean <- copy 1:number +] ++mem: storing 34 in location 2 +$error: 0 + :(code) // types_match with some leniency bool types_coercible(const reagent& to, const reagent& from) { if (types_match(to, from)) return true; if (is_mu_address(from) && is_mu_number(to)) return true; if (is_mu_boolean(from) && is_mu_number(to)) return true; + if (is_mu_number(from) && is_mu_boolean(to)) return true; // End types_coercible Special-cases return false; } |