diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-05-03 09:14:19 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-05-03 09:14:19 -0700 |
commit | f890f14792a238aee8cdf965bc4afbaad5f98cca (patch) | |
tree | 64fa02d038f9440ba6a04649dec8939ec70ef828 | |
parent | 3377364a849d938a9999357caf26853a844b238c (diff) | |
download | mu-f890f14792a238aee8cdf965bc4afbaad5f98cca.tar.gz |
2892
-rw-r--r-- | 032exclusive_container.cc | 5 | ||||
-rw-r--r-- | 057shape_shifting_container.cc | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/032exclusive_container.cc b/032exclusive_container.cc index e9f918f4..e071cf52 100644 --- a/032exclusive_container.cc +++ b/032exclusive_container.cc @@ -31,7 +31,10 @@ def main [ +mem: storing 35 in location 6 :(before "End size_of(type) Cases") -if (t.kind == EXCLUSIVE_CONTAINER) return get(Container_metadata, type).size; +if (t.kind == EXCLUSIVE_CONTAINER) { + // Compute size_of Exclusive Container + return get(Container_metadata, type).size; +} :(before "End compute_container_metadata Cases") if (info.kind == EXCLUSIVE_CONTAINER) { container_metadata metadata; diff --git a/057shape_shifting_container.cc b/057shape_shifting_container.cc index 92c2475a..183ec36b 100644 --- a/057shape_shifting_container.cc +++ b/057shape_shifting_container.cc @@ -262,6 +262,8 @@ void replace_type_ingredients(reagent& element, const type_tree* caller_type, co :(after "Compute size_of Container") assert(!contains_type_ingredient(type)); +:(after "Compute size_of Exclusive Container") +assert(!contains_type_ingredient(type)); :(code) bool contains_type_ingredient(const reagent& x) { |