diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-02-19 02:53:19 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-02-19 02:53:19 -0800 |
commit | f3b504bc058162ec7f46280263fbd8bf72175f50 (patch) | |
tree | 93f4621a46bf88a1265f99a60e9343cd55842ce7 | |
parent | f6c7b4155936e7c5485a14abcbb458d0c3bbd882 (diff) | |
download | mu-f3b504bc058162ec7f46280263fbd8bf72175f50.tar.gz |
2681
-rw-r--r-- | 058shape_shifting_container.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/058shape_shifting_container.cc b/058shape_shifting_container.cc index 05466e3d..a49b8a0e 100644 --- a/058shape_shifting_container.cc +++ b/058shape_shifting_container.cc @@ -228,7 +228,7 @@ bool contains_type_ingredient(const type_tree* type) { return contains_type_ingredient(type->left) || contains_type_ingredient(type->right); } -// ugly and likely wrong; maybe avoid replacing in place? +// todo: too complicated and likely incomplete; maybe avoid replacing in place? Maybe process element_type and element_type_name in separate functions? void replace_type_ingredients(type_tree* element_type, string_tree* element_type_name, const type_tree* callsite_type, const string_tree* callsite_type_name, const type_info& container_info) { if (!callsite_type) return; // error but it's already been raised above if (!element_type) return; |