From bf8900200c25d383c883501446a8048ad8966d94 Mon Sep 17 00:00:00 2001 From: mryouse Date: Thu, 30 Jun 2022 03:40:39 +0000 Subject: initial commit of multi-type support (only list of strings for now) --- neb/std/core.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'neb/std/core.py') diff --git a/neb/std/core.py b/neb/std/core.py index 1c3c4b4..750594e 100644 --- a/neb/std/core.py +++ b/neb/std/core.py @@ -47,7 +47,7 @@ CORE.register("redef", Builtin("redef", interpretRedef, [def_name_arg, def_val_a def interpretLambda(symbol, args, env, ns): new_args = args return_type = Type(":any") - if isinstance(args[0], Type): + if isinstance(args[0], Type) or isinstance(args[0], MultiType): return_type = args[0] new_args = args[1:] -- cgit v1.2.3