From f9fa9f0ce1a41c56427b635f4d0d06d7dda28e70 Mon Sep 17 00:00:00 2001
From: Shunsuke Shibayama <sbym1346@gmail.com>
Date: Sat, 17 Dec 2022 12:27:48 +0900
Subject: [PATCH] Update value.rs

---
 compiler/erg_compiler/ty/value.rs | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/compiler/erg_compiler/ty/value.rs b/compiler/erg_compiler/ty/value.rs
index e214fbef..6acdc173 100644
--- a/compiler/erg_compiler/ty/value.rs
+++ b/compiler/erg_compiler/ty/value.rs
@@ -1257,7 +1257,14 @@ impl ValueObj {
                 Some(TypeObj::Builtin(Type::Record(attr_ts)))
             }
             Self::Subr(subr) => subr.as_type().map(TypeObj::Builtin),
-            Self::Array(_) | Self::Tuple(_) | Self::Dict(_) => todo!(),
+            Self::Array(elems) | Self::Tuple(elems) => {
+                erg_common::log!(err "as_type({})", erg_common::fmt_vec(elems));
+                None
+            }
+            Self::Dict(elems) => {
+                erg_common::log!(err "as_type({elems})");
+                None
+            }
             _other => None,
         }
     }