diff options
| author | Kartik Agaram <vc@akkartik.com> | 2018-06-16 23:19:59 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2018-06-16 23:19:59 -0700 |
| commit | b89b822439f47a490a1b764e14a1ed1b73059cba (patch) | |
| tree | 8c01baef90f26f7797e2feb535bb8ccd4decd27e /021check_instruction.cc | |
| parent | 5859d7056c951e56e3db760202801135784b4e5c (diff) | |
| download | mu-b89b822439f47a490a1b764e14a1ed1b73059cba.tar.gz | |
4260 - make address coercions explicit
'deaddress' is a terrible name. Hopefully I'll come up with something better.
Diffstat (limited to '021check_instruction.cc')
| -rw-r--r-- | 021check_instruction.cc | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/021check_instruction.cc b/021check_instruction.cc index d7628008..44f08f3f 100644 --- a/021check_instruction.cc +++ b/021check_instruction.cc @@ -71,14 +71,6 @@ def main [ ] +error: main: can't copy '34' to '1:address:num'; types don't match -:(scenario write_address_to_number_allowed) -def main [ - 1:address:num <- copy 12/unsafe - 2:num <- copy 1:address:num -] -+mem: storing 12 in location 2 -$error: 0 - :(scenario write_address_to_character_disallowed) % Hide_errors = true; def main [ @@ -114,7 +106,6 @@ def main [ // 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_real_mu_number(to)) return true; if (is_mu_boolean(from) && is_real_mu_number(to)) return true; if (is_real_mu_number(from) && is_mu_character(to)) return true; // End types_coercible Special-cases |