From 92a3d0824b37e564f3d5bb7e042f97f991f25416 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Sun, 17 Jun 2018 16:10:00 -0700 Subject: 4263 Implement literal constants before type abbreviations, reducing some unnecessary tangling. --- 021check_instruction.cc | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) (limited to '021check_instruction.cc') diff --git a/021check_instruction.cc b/021check_instruction.cc index ee44161a..7f8f067c 100644 --- a/021check_instruction.cc +++ b/021check_instruction.cc @@ -103,18 +103,12 @@ bool types_match(const reagent& to, const reagent& from) { if (is_mu_array(to)) return false; // End Matching Types For Literal(to) if (!to.type) return false; - if (is_mu_address(to)) return types_match_literal_to_address(from); - // End Literal types_match Special-cases + if (is_mu_address(to)) return from.name == "null"; return size_of(to) == 1; // literals are always scalars } return types_strictly_match(to, from); } -bool types_match_literal_to_address(const reagent& from) { - // End Literal->Address types_match(from) Special-cases - return false; -} - //: copy arguments for later layers bool types_strictly_match(reagent/*copy*/ to, reagent/*copy*/ from) { // End Preprocess types_strictly_match(reagent to, reagent from) -- cgit 1.4.1-2-gfad0