diff options
| author | Kartik Agaram <vc@akkartik.com> | 2018-05-12 23:08:39 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2018-05-12 23:08:39 -0700 |
| commit | 059def11cb8c53d85f7eed2af98a0bca0120a9cc (patch) | |
| tree | c24e543185fc9d054ad9c46a4f1d3a0021acf62f /055shape_shifting_container.cc | |
| parent | 1fb0cf9ef9e616163039fd4df6584c6c2ba68d23 (diff) | |
| download | mu-059def11cb8c53d85f7eed2af98a0bca0120a9cc.tar.gz | |
4244
Diffstat (limited to '055shape_shifting_container.cc')
| -rw-r--r-- | 055shape_shifting_container.cc | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/055shape_shifting_container.cc b/055shape_shifting_container.cc index e56b9020..32032456 100644 --- a/055shape_shifting_container.cc +++ b/055shape_shifting_container.cc @@ -2,12 +2,6 @@ //: pre-requisite: extend our notion of containers to not necessarily be //: atomic types -:(before "End is_mu_container(type) Special-cases") -if (!type->atom) - return is_mu_container(get_base_type(type)); -:(before "End is_mu_exclusive_container(type) Special-cases") -if (!type->atom) - return is_mu_exclusive_container(get_base_type(type)); :(after "Update GET base_type in Check") base_type = get_base_type(base_type); :(after "Update GET base_type in Run") |