handle class fields and methods

2021-08-23 02:52:54 +08:00 · 2021-08-23 02:52:54 +08:00 · 364054331c
commit 364054331c
parent 40b062ce0f
2 changed files with 632 additions and 337 deletions
--- a/nac3core/src/symbol_resolver.rs
+++ b/nac3core/src/symbol_resolver.rs
@ -83,7 +83,7 @@ pub fn parse_type_annotation<T>(
                    // it could be a type variable
                    let ty = resolver
                        .get_symbol_type(unifier, primitives, x)
-                        .ok_or_else(|| "Cannot use function name as type".to_owned())?;
+                        .ok_or_else(|| "unknown type variable name".to_owned())?;
                    if let TypeEnum::TVar { .. } = &*unifier.get_ty(ty) {
                        Ok(ty)
                    } else {
--- a/nac3core/src/top_level.rs
+++ b/nac3core/src/top_level.rs