M-Labs/nac3
M-Labs/nac3
8
1
Fork 12
Code Issues 98 Pull Requests 19 Releases Wiki Activity

commit for pull new symbol resolver

Browse Source
This commit is contained in:
ychenfo 2021-08-12 14:48:11 +08:00
parent cb01c79603
commit e176aa660d
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
nac3core/src/top_level.rs
View File

@ -333,8 +333,6 @@ impl TopLevelComposer {
let (params, let (params,
fields fields
) = if let TypeEnum::TObj { ) = if let TypeEnum::TObj {
// FIXME: this params is immutable, and what
// should the key be, get the original typevar's var_id?
params, params,
fields, fields,
.. ..
@ -359,7 +357,7 @@ impl TopLevelComposer {
// `class Foo(Generic[T, V, P]):` // `class Foo(Generic[T, V, P]):`
ast::ExprKind::Tuple {elts, ..} => { ast::ExprKind::Tuple {elts, ..} => {
for e in 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, ..} => { ast::ExprKind::Name {id, ..} => {
// the def_list // the def_list
// type_vars.push(resolver.get_symbol_type(id).ok_or_else(|| "unknown type variable".to_string())?); FIXME: // 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!() unimplemented!()
}, },