From 452086e35b7da0c6fadb6d3b382470bbf0a910b3 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Fri, 19 Feb 2016 09:45:06 -0800 Subject: 2682 New test after yesterday's changes already passing, which helps me gain some confidence. There's some redundancy in the shape_shifting_container layer. I'm probably testing the same things at the level of element_type(), MERGE, and GET.. --- 058shape_shifting_container.cc | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to '058shape_shifting_container.cc') diff --git a/058shape_shifting_container.cc b/058shape_shifting_container.cc index a49b8a0e..1a8d8ccf 100644 --- a/058shape_shifting_container.cc +++ b/058shape_shifting_container.cc @@ -210,6 +210,19 @@ recipe main [ ] +mem: storing 17 in location 2 +:(scenario get_on_complex_shape_shifting_container) +container foo:_a:_b [ + x:_a + y:_b +] +recipe main [ + 1:address:shared:array:character <- new [abc] + {2: (foo number (address shared array character))} <- merge 34/x, 1:address:shared:array:character/y + 3:address:shared:array:character <- get {2: (foo number (address shared array character))}, y:offset + 4:boolean <- equal 1:address:shared:array:character, 3:address:shared:array:character +] ++mem: storing 1 in location 4 + :(before "End element_type Special-cases") if (contains_type_ingredient(element)) { if (!canonized_base.type->right) -- cgit 1.4.1-2-gfad0