From 0fb3f6e21216177ea2038e613d2fd7c8f3c198b3 Mon Sep 17 00:00:00 2001
From: Michael Sippel <micha@fragmental.art>
Date: Sat, 11 Nov 2023 16:26:58 +0100
Subject: [PATCH] parser test: also test variable-ids

---
 src/test/parser.rs | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

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")
     );
 }