From 0296844d5f200b3731eeb8a8d40da7af55d84be7 Mon Sep 17 00:00:00 2001 From: pca006132 Date: Wed, 21 Jul 2021 13:28:05 +0800 Subject: [PATCH] cleanup --- nac3core/Cargo.toml | 2 +- nac3core/src/lib.rs | 8 - nac3core/src/typecheck/mod.rs | 1 - nac3core/src/typecheck/test_typedef.rs | 272 ------------------ .../mod.rs} | 0 .../typecheck/{typedef.rs => typedef/mod.rs} | 3 + .../src/typecheck/typedef/test_typedef.rs | 269 +++++++++++++++++ 7 files changed, 273 insertions(+), 282 deletions(-) delete mode 100644 nac3core/src/typecheck/test_typedef.rs rename nac3core/src/typecheck/{type_inferencer.rs => type_inferencer/mod.rs} (100%) rename nac3core/src/typecheck/{typedef.rs => typedef/mod.rs} (99%) create mode 100644 nac3core/src/typecheck/typedef/test_typedef.rs diff --git a/nac3core/Cargo.toml b/nac3core/Cargo.toml index 50ba54ed..402ce18b 100644 --- a/nac3core/Cargo.toml +++ b/nac3core/Cargo.toml @@ -9,10 +9,10 @@ num-bigint = "0.3" num-traits = "0.2" inkwell = { git = "https://github.com/TheDan64/inkwell", branch = "master", features = ["llvm10-0"] } rustpython-parser = { git = "https://github.com/RustPython/RustPython", branch = "master" } -indoc = "1.0" ena = "0.14" itertools = "0.10.1" [dev-dependencies] test-case = "1.2.0" +indoc = "1.0" diff --git a/nac3core/src/lib.rs b/nac3core/src/lib.rs index 74440eef..1cce4c19 100644 --- a/nac3core/src/lib.rs +++ b/nac3core/src/lib.rs @@ -1,12 +1,4 @@ #![warn(clippy::all)] -#![allow(clippy::clone_double_ref)] - -extern crate num_bigint; -extern crate inkwell; -extern crate rustpython_parser; -extern crate indoc; -extern crate ena; -extern crate itertools; mod typecheck; diff --git a/nac3core/src/typecheck/mod.rs b/nac3core/src/typecheck/mod.rs index cfab64c1..6e50fadf 100644 --- a/nac3core/src/typecheck/mod.rs +++ b/nac3core/src/typecheck/mod.rs @@ -2,6 +2,5 @@ pub mod location; mod magic_methods; pub mod symbol_resolver; -mod test_typedef; pub mod typedef; pub mod type_inferencer; diff --git a/nac3core/src/typecheck/test_typedef.rs b/nac3core/src/typecheck/test_typedef.rs deleted file mode 100644 index d85fda7a..00000000 --- a/nac3core/src/typecheck/test_typedef.rs +++ /dev/null @@ -1,272 +0,0 @@ -#[cfg(test)] -mod test { - use super::super::typedef::*; - use itertools::Itertools; - use std::collections::HashMap; - use test_case::test_case; - - struct TestEnvironment { - pub unifier: Unifier, - type_mapping: HashMap, - } - - impl TestEnvironment { - fn new() -> TestEnvironment { - let mut unifier = Unifier::new(); - let mut type_mapping = HashMap::new(); - - type_mapping.insert( - "int".into(), - unifier.add_ty(TypeEnum::TObj { - obj_id: 0, - fields: HashMap::new(), - params: HashMap::new(), - }), - ); - type_mapping.insert( - "float".into(), - unifier.add_ty(TypeEnum::TObj { - obj_id: 1, - fields: HashMap::new(), - params: HashMap::new(), - }), - ); - type_mapping.insert( - "bool".into(), - unifier.add_ty(TypeEnum::TObj { - obj_id: 2, - fields: HashMap::new(), - params: HashMap::new(), - }), - ); - let (v0, id) = unifier.get_fresh_var(); - type_mapping.insert( - "Foo".into(), - unifier.add_ty(TypeEnum::TObj { - obj_id: 3, - fields: [("a".into(), v0)].iter().cloned().collect(), - params: [(id, v0)].iter().cloned().collect(), - }), - ); - - TestEnvironment { - unifier, - type_mapping, - } - } - - fn parse(&mut self, typ: &str, mapping: &Mapping) -> Type { - let result = self.internal_parse(typ, mapping); - assert!(result.1.is_empty()); - result.0 - } - - fn internal_parse<'a, 'b>( - &'a mut self, - typ: &'b str, - mapping: &Mapping, - ) -> (Type, &'b str) { - // for testing only, so we can just panic when the input is malformed - let end = typ - .find(|c| ['[', ',', ']', '='].contains(&c)) - .unwrap_or_else(|| typ.len()); - match &typ[..end] { - "Tuple" => { - let mut s = &typ[end..]; - assert!(&s[0..1] == "["); - let mut ty = Vec::new(); - while &s[0..1] != "]" { - let result = self.internal_parse(&s[1..], mapping); - ty.push(result.0); - s = result.1; - } - (self.unifier.add_ty(TypeEnum::TTuple { ty }), &s[1..]) - } - "List" => { - assert!(&typ[end..end + 1] == "["); - let (ty, s) = self.internal_parse(&typ[end + 1..], mapping); - assert!(&s[0..1] == "]"); - (self.unifier.add_ty(TypeEnum::TList { ty }), &s[1..]) - } - "Record" => { - let mut s = &typ[end..]; - assert!(&s[0..1] == "["); - let mut fields = HashMap::new(); - while &s[0..1] != "]" { - let eq = s.find('=').unwrap(); - let key = s[1..eq].to_string(); - let result = self.internal_parse(&s[eq + 1..], mapping); - fields.insert(key, result.0); - s = result.1; - } - (self.unifier.add_ty(TypeEnum::TRecord { fields }), &s[1..]) - } - x => { - let mut s = &typ[end..]; - let ty = mapping.get(x).cloned().unwrap_or_else(|| { - // mapping should be type variables, type_mapping should be concrete types - // we should not resolve the type of type variables. - let mut ty = *self.type_mapping.get(x).unwrap(); - let te = self.unifier.get_ty(ty); - if let TypeEnum::TObj { params, .. } = &*te.as_ref().borrow() { - if !params.is_empty() { - assert!(&s[0..1] == "["); - let mut p = Vec::new(); - while &s[0..1] != "]" { - let result = self.internal_parse(&s[1..], mapping); - p.push(result.0); - s = result.1; - } - s = &s[1..]; - ty = self - .unifier - .subst(ty, ¶ms.keys().cloned().zip(p.into_iter()).collect()) - .unwrap_or(ty); - } - } - ty - }); - (ty, s) - } - } - } - } - - #[test_case(2, - &[("v1", "v2"), ("v2", "float")], - &[("v1", "float"), ("v2", "float")] - ; "simple variable" - )] - #[test_case(2, - &[("v1", "List[v2]"), ("v1", "List[float]")], - &[("v1", "List[float]"), ("v2", "float")] - ; "list element" - )] - #[test_case(3, - &[ - ("v1", "Record[a=v3,b=v3]"), - ("v2", "Record[b=float,c=v3]"), - ("v1", "v2") - ], - &[ - ("v1", "Record[a=float,b=float,c=float]"), - ("v2", "Record[a=float,b=float,c=float]"), - ("v3", "float") - ] - ; "record merge" - )] - #[test_case(3, - &[ - ("v1", "Record[a=float]"), - ("v2", "Foo[v3]"), - ("v1", "v2") - ], - &[ - ("v1", "Foo[float]"), - ("v3", "float") - ] - ; "record obj merge" - )] - /// Test cases for valid unifications. - fn test_unify( - variable_count: u32, - unify_pairs: &[(&'static str, &'static str)], - verify_pairs: &[(&'static str, &'static str)], - ) { - let unify_count = unify_pairs.len(); - // test all permutations... - for perm in unify_pairs.iter().permutations(unify_count) { - let mut env = TestEnvironment::new(); - let mut mapping = HashMap::new(); - for i in 1..=variable_count { - let v = env.unifier.get_fresh_var(); - mapping.insert(format!("v{}", i), v.0); - } - // unification may have side effect when we do type resolution, so freeze the types - // before doing unification. - let mut pairs = Vec::new(); - for (a, b) in perm.iter() { - let t1 = env.parse(a, &mapping); - let t2 = env.parse(b, &mapping); - pairs.push((t1, t2)); - } - for (t1, t2) in pairs { - env.unifier.unify(t1, t2).unwrap(); - } - for (a, b) in verify_pairs.iter() { - let t1 = env.parse(a, &mapping); - let t2 = env.parse(b, &mapping); - assert!(env.unifier.eq(t1, t2)); - } - } - } - - #[test_case(2, - &[ - ("v1", "Tuple[int]"), - ("v2", "List[int]"), - ], - (("v1", "v2"), "Cannot unify TList with TTuple") - ; "type mismatch" - )] - #[test_case(2, - &[ - ("v1", "Tuple[int]"), - ("v2", "Tuple[float]"), - ], - (("v1", "v2"), "Cannot unify objects with ID 0 and 1") - ; "tuple parameter mismatch" - )] - #[test_case(2, - &[ - ("v1", "Tuple[int,int]"), - ("v2", "Tuple[int]"), - ], - (("v1", "v2"), "Cannot unify tuples with length 2 and 1") - ; "tuple length mismatch" - )] - #[test_case(3, - &[ - ("v1", "Record[a=float,b=int]"), - ("v2", "Foo[v3]"), - ], - (("v1", "v2"), "No such attribute b") - ; "record obj merge" - )] - #[test_case(2, - &[ - ("v1", "List[v2]"), - ], - (("v1", "v2"), "Recursive type is prohibited.") - ; "recursive type for lists" - )] - /// Test cases for invalid unifications. - fn test_invalid_unification( - variable_count: u32, - unify_pairs: &[(&'static str, &'static str)], - errornous_pair: ((&'static str, &'static str), &'static str), - ) { - let mut env = TestEnvironment::new(); - let mut mapping = HashMap::new(); - for i in 1..=variable_count { - let v = env.unifier.get_fresh_var(); - mapping.insert(format!("v{}", i), v.0); - } - // unification may have side effect when we do type resolution, so freeze the types - // before doing unification. - let mut pairs = Vec::new(); - for (a, b) in unify_pairs.iter() { - let t1 = env.parse(a, &mapping); - let t2 = env.parse(b, &mapping); - pairs.push((t1, t2)); - } - let (t1, t2) = ( - env.parse(errornous_pair.0 .0, &mapping), - env.parse(errornous_pair.0 .1, &mapping), - ); - for (a, b) in pairs { - env.unifier.unify(a, b).unwrap(); - } - assert_eq!(env.unifier.unify(t1, t2), Err(errornous_pair.1.to_string())); - } -} diff --git a/nac3core/src/typecheck/type_inferencer.rs b/nac3core/src/typecheck/type_inferencer/mod.rs similarity index 100% rename from nac3core/src/typecheck/type_inferencer.rs rename to nac3core/src/typecheck/type_inferencer/mod.rs diff --git a/nac3core/src/typecheck/typedef.rs b/nac3core/src/typecheck/typedef/mod.rs similarity index 99% rename from nac3core/src/typecheck/typedef.rs rename to nac3core/src/typecheck/typedef/mod.rs index e9abbb16..b57ad609 100644 --- a/nac3core/src/typecheck/typedef.rs +++ b/nac3core/src/typecheck/typedef/mod.rs @@ -6,6 +6,9 @@ use std::iter::once; use std::ops::Deref; use std::rc::Rc; +#[cfg(test)] +mod test_typedef; + #[derive(Copy, Clone, PartialEq, Eq, Debug)] /// Handle for a type, implementated as a key in the unification table. pub struct Type(u32); diff --git a/nac3core/src/typecheck/typedef/test_typedef.rs b/nac3core/src/typecheck/typedef/test_typedef.rs new file mode 100644 index 00000000..0855b164 --- /dev/null +++ b/nac3core/src/typecheck/typedef/test_typedef.rs @@ -0,0 +1,269 @@ +use super::super::typedef::*; +use itertools::Itertools; +use std::collections::HashMap; +use test_case::test_case; + +struct TestEnvironment { + pub unifier: Unifier, + type_mapping: HashMap, +} + +impl TestEnvironment { + fn new() -> TestEnvironment { + let mut unifier = Unifier::new(); + let mut type_mapping = HashMap::new(); + + type_mapping.insert( + "int".into(), + unifier.add_ty(TypeEnum::TObj { + obj_id: 0, + fields: HashMap::new(), + params: HashMap::new(), + }), + ); + type_mapping.insert( + "float".into(), + unifier.add_ty(TypeEnum::TObj { + obj_id: 1, + fields: HashMap::new(), + params: HashMap::new(), + }), + ); + type_mapping.insert( + "bool".into(), + unifier.add_ty(TypeEnum::TObj { + obj_id: 2, + fields: HashMap::new(), + params: HashMap::new(), + }), + ); + let (v0, id) = unifier.get_fresh_var(); + type_mapping.insert( + "Foo".into(), + unifier.add_ty(TypeEnum::TObj { + obj_id: 3, + fields: [("a".into(), v0)].iter().cloned().collect(), + params: [(id, v0)].iter().cloned().collect(), + }), + ); + + TestEnvironment { + unifier, + type_mapping, + } + } + + fn parse(&mut self, typ: &str, mapping: &Mapping) -> Type { + let result = self.internal_parse(typ, mapping); + assert!(result.1.is_empty()); + result.0 + } + + fn internal_parse<'a, 'b>( + &'a mut self, + typ: &'b str, + mapping: &Mapping, + ) -> (Type, &'b str) { + // for testing only, so we can just panic when the input is malformed + let end = typ + .find(|c| ['[', ',', ']', '='].contains(&c)) + .unwrap_or_else(|| typ.len()); + match &typ[..end] { + "Tuple" => { + let mut s = &typ[end..]; + assert!(&s[0..1] == "["); + let mut ty = Vec::new(); + while &s[0..1] != "]" { + let result = self.internal_parse(&s[1..], mapping); + ty.push(result.0); + s = result.1; + } + (self.unifier.add_ty(TypeEnum::TTuple { ty }), &s[1..]) + } + "List" => { + assert!(&typ[end..end + 1] == "["); + let (ty, s) = self.internal_parse(&typ[end + 1..], mapping); + assert!(&s[0..1] == "]"); + (self.unifier.add_ty(TypeEnum::TList { ty }), &s[1..]) + } + "Record" => { + let mut s = &typ[end..]; + assert!(&s[0..1] == "["); + let mut fields = HashMap::new(); + while &s[0..1] != "]" { + let eq = s.find('=').unwrap(); + let key = s[1..eq].to_string(); + let result = self.internal_parse(&s[eq + 1..], mapping); + fields.insert(key, result.0); + s = result.1; + } + (self.unifier.add_ty(TypeEnum::TRecord { fields }), &s[1..]) + } + x => { + let mut s = &typ[end..]; + let ty = mapping.get(x).cloned().unwrap_or_else(|| { + // mapping should be type variables, type_mapping should be concrete types + // we should not resolve the type of type variables. + let mut ty = *self.type_mapping.get(x).unwrap(); + let te = self.unifier.get_ty(ty); + if let TypeEnum::TObj { params, .. } = &*te.as_ref().borrow() { + if !params.is_empty() { + assert!(&s[0..1] == "["); + let mut p = Vec::new(); + while &s[0..1] != "]" { + let result = self.internal_parse(&s[1..], mapping); + p.push(result.0); + s = result.1; + } + s = &s[1..]; + ty = self + .unifier + .subst(ty, ¶ms.keys().cloned().zip(p.into_iter()).collect()) + .unwrap_or(ty); + } + } + ty + }); + (ty, s) + } + } + } +} + +#[test_case(2, + &[("v1", "v2"), ("v2", "float")], + &[("v1", "float"), ("v2", "float")] + ; "simple variable" +)] +#[test_case(2, + &[("v1", "List[v2]"), ("v1", "List[float]")], + &[("v1", "List[float]"), ("v2", "float")] + ; "list element" +)] +#[test_case(3, + &[ + ("v1", "Record[a=v3,b=v3]"), + ("v2", "Record[b=float,c=v3]"), + ("v1", "v2") + ], + &[ + ("v1", "Record[a=float,b=float,c=float]"), + ("v2", "Record[a=float,b=float,c=float]"), + ("v3", "float") + ] + ; "record merge" +)] +#[test_case(3, + &[ + ("v1", "Record[a=float]"), + ("v2", "Foo[v3]"), + ("v1", "v2") + ], + &[ + ("v1", "Foo[float]"), + ("v3", "float") + ] + ; "record obj merge" +)] +/// Test cases for valid unifications. +fn test_unify( + variable_count: u32, + unify_pairs: &[(&'static str, &'static str)], + verify_pairs: &[(&'static str, &'static str)], +) { + let unify_count = unify_pairs.len(); + // test all permutations... + for perm in unify_pairs.iter().permutations(unify_count) { + let mut env = TestEnvironment::new(); + let mut mapping = HashMap::new(); + for i in 1..=variable_count { + let v = env.unifier.get_fresh_var(); + mapping.insert(format!("v{}", i), v.0); + } + // unification may have side effect when we do type resolution, so freeze the types + // before doing unification. + let mut pairs = Vec::new(); + for (a, b) in perm.iter() { + let t1 = env.parse(a, &mapping); + let t2 = env.parse(b, &mapping); + pairs.push((t1, t2)); + } + for (t1, t2) in pairs { + env.unifier.unify(t1, t2).unwrap(); + } + for (a, b) in verify_pairs.iter() { + let t1 = env.parse(a, &mapping); + let t2 = env.parse(b, &mapping); + assert!(env.unifier.eq(t1, t2)); + } + } +} + +#[test_case(2, + &[ + ("v1", "Tuple[int]"), + ("v2", "List[int]"), + ], + (("v1", "v2"), "Cannot unify TList with TTuple") + ; "type mismatch" +)] +#[test_case(2, + &[ + ("v1", "Tuple[int]"), + ("v2", "Tuple[float]"), + ], + (("v1", "v2"), "Cannot unify objects with ID 0 and 1") + ; "tuple parameter mismatch" +)] +#[test_case(2, + &[ + ("v1", "Tuple[int,int]"), + ("v2", "Tuple[int]"), + ], + (("v1", "v2"), "Cannot unify tuples with length 2 and 1") + ; "tuple length mismatch" +)] +#[test_case(3, + &[ + ("v1", "Record[a=float,b=int]"), + ("v2", "Foo[v3]"), + ], + (("v1", "v2"), "No such attribute b") + ; "record obj merge" +)] +#[test_case(2, + &[ + ("v1", "List[v2]"), + ], + (("v1", "v2"), "Recursive type is prohibited.") + ; "recursive type for lists" +)] +/// Test cases for invalid unifications. +fn test_invalid_unification( + variable_count: u32, + unify_pairs: &[(&'static str, &'static str)], + errornous_pair: ((&'static str, &'static str), &'static str), +) { + let mut env = TestEnvironment::new(); + let mut mapping = HashMap::new(); + for i in 1..=variable_count { + let v = env.unifier.get_fresh_var(); + mapping.insert(format!("v{}", i), v.0); + } + // unification may have side effect when we do type resolution, so freeze the types + // before doing unification. + let mut pairs = Vec::new(); + for (a, b) in unify_pairs.iter() { + let t1 = env.parse(a, &mapping); + let t2 = env.parse(b, &mapping); + pairs.push((t1, t2)); + } + let (t1, t2) = ( + env.parse(errornous_pair.0 .0, &mapping), + env.parse(errornous_pair.0 .1, &mapping), + ); + for (a, b) in pairs { + env.unifier.unify(a, b).unwrap(); + } + assert_eq!(env.unifier.unify(t1, t2), Err(errornous_pair.1.to_string())); +}