From e176aa660d43ad389b862345078ec2a579ffa0a9 Mon Sep 17 00:00:00 2001
From: ychenfo <ychenfo@connect.ust.hk>
Date: Thu, 12 Aug 2021 14:48:11 +0800
Subject: [PATCH] commit for pull new symbol resolver

---
 nac3core/src/top_level.rs | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/nac3core/src/top_level.rs b/nac3core/src/top_level.rs
index 98cbacb9..6be9e69c 100644
--- a/nac3core/src/top_level.rs
+++ b/nac3core/src/top_level.rs
@@ -333,8 +333,6 @@ impl TopLevelComposer {
                         let (params,
                             fields
                         ) = if let TypeEnum::TObj {
-                            // FIXME: this params is immutable, and what 
-                            // should the key be, get the original typevar's var_id?
                             params,
                             fields,
                             ..
@@ -359,7 +357,7 @@ impl TopLevelComposer {
                                         // `class Foo(Generic[T, V, P]):`
                                         ast::ExprKind::Tuple {elts, ..} => {
                                             for e in elts {
-                                                // resolver.parse_type_annotation(self.definition_list.) // FIXME:
+                                                // let ty_def_id = resolver.
                                             }
                                         },
 
@@ -367,9 +365,6 @@ impl TopLevelComposer {
                                         ast::ExprKind::Name {id, ..} => {
                                             // the def_list
                                             // type_vars.push(resolver.get_symbol_type(id).ok_or_else(|| "unknown type variable".to_string())?); FIXME:
-
-                                            // the TypeEnum of the class
-                                            // FIXME: the `params` destructed above is not mutable, even if this is mutable, what should the key be?
                                             unimplemented!()
                                         },