diff --git a/src/test/parser.rs b/src/test/parser.rs index fe75075..1166229 100644 --- a/src/test/parser.rs +++ b/src/test/parser.rs @@ -7,9 +7,18 @@ use { #[test] fn test_parser_id() { + let mut dict = TypeDict::new(); + + dict.add_varname("T".into()); + + assert_eq!( + Ok(TypeTerm::TypeID(TypeID::Var(0))), + dict.parse("T") + ); + assert_eq!( Ok(TypeTerm::TypeID(TypeID::Fun(0))), - TypeDict::new().parse("A") + dict.parse("A") ); }