bugfix: parent types can be typed lists

1 files changed, 1 insertions, 4 deletions

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([])