From 7732a2a3f4d7171f253bf663d85006e8a69bea2a Mon Sep 17 00:00:00 2001
From: mryouse
Date: Tue, 12 Jul 2022 01:39:44 +0000
Subject: bugfix: parent types can be typed lists

---
 neb/std/core.py | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'neb')

diff --git a/neb/std/core.py b/neb/std/core.py
index 9240b98..50a0c3e 100644
--- a/neb/std/core.py
+++ b/neb/std/core.py
@@ -224,15 +224,12 @@ def interpretType(symbol, args, env, ns):
     parent_type = evaluate(args[1], env, ns)
     if not isinstance(parent_type, TypeWrap):
         raise InterpretPanic(symbol, "parent must be a valid type", parent_type)
-    elif not env.contains(f"{parent_type}"):
-        raise InterpretPanic(symbol, f"no such type {parent_type}")
-    parent = env.get(f"{parent_type}")
 
     func = evaluate(args[2], env, ns)
     if not isinstance(func, Function):
         raise InterpretPanic(symbol, "validation must be a :func", func)
 
-    new_type = UserType(name, parent, func)
+    new_type = UserType(name, parent_type, func)
     env.register(name, new_type)
     return List([])
 
-- 
cgit v1.2.3