diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-09-30 01:34:23 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-09-30 01:34:23 -0700 |
| commit | 4f333377efe4b0959c72c090cc8eacc27f669c91 (patch) | |
| tree | 6620bfde5ea929535291545f708dc91bbd5df483 | |
| parent | a0fc38c9e1584960ecad0eb8d58a5d4e6995ad87 (diff) | |
| download | mu-4f333377efe4b0959c72c090cc8eacc27f669c91.tar.gz | |
2219
| -rw-r--r-- | 031address.cc | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/031address.cc b/031address.cc index 7c4f1e34..46c38fd6 100644 --- a/031address.cc +++ b/031address.cc @@ -81,22 +81,14 @@ reagent lookup_memory(reagent x) { } :(after "bool types_match(reagent lhs, reagent rhs)") -if (!canonize_type(lhs)) return false; -if (!canonize_type(rhs)) return false; + if (!canonize_type(lhs)) return false; + if (!canonize_type(rhs)) return false; -:(replace{} "bool is_mu_array(reagent r)") -bool is_mu_array(reagent r) { - if (is_literal(r)) return false; +:(after "bool is_mu_array(reagent r)") if (!canonize_type(r)) return false; - return !r.types.empty() && r.types.at(0) == Type_ordinal["array"]; -} -:(replace{} "bool is_mu_address(reagent r)") -bool is_mu_address(reagent r) { - if (is_literal(r)) return false; +:(after "bool is_mu_address(reagent r)") if (!canonize_type(r)) return false; - return !r.types.empty() && r.types.at(0) == Type_ordinal["address"]; -} :(code) bool canonize_type(reagent& r) { |