From 7eab4909075b037d7a3a7533f8f13a4aebeeb837 Mon Sep 17 00:00:00 2001
From: mryouse
Date: Fri, 22 Jul 2022 02:23:32 +0000
Subject: bugfix: type functions need to be mfs

---
 neb/std/core.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/neb/std/core.py b/neb/std/core.py
index 15cb257..344ac74 100644
--- a/neb/std/core.py
+++ b/neb/std/core.py
@@ -282,7 +282,7 @@ def interpretType(symbol, args, env, ns):
         raise InterpretPanic(symbol, "parent must be a valid type", parent_type)
 
     func = evaluate(args[2], env, ns)
-    if not isinstance(func, Function):
+    if not isinstance(func, MultiFunction):
         raise InterpretPanic(symbol, "validation must be a :func", func)
 
     new_type = UserType(name, parent_type, func)
-- 
cgit v1.2.3