From ac7a6c08ebba80c6c5d8b4d8ce79d06a6c86d9ee Mon Sep 17 00:00:00 2001 From: mryouse Date: Wed, 3 Aug 2022 01:20:59 +0000 Subject: bugfix: :[] return types in std --- neb/std/types.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'neb/std/types.py') diff --git a/neb/std/types.py b/neb/std/types.py index 20aa27a..cd899bc 100644 --- a/neb/std/types.py +++ b/neb/std/types.py @@ -137,7 +137,7 @@ TYPES.register("->string", tostring_multi) def interpretTypeOf(symbol, args, env, ns): return Type(f"{args[0].type_}") -typeof_func = Builtin("typeof", interpretTypeOf, [Arg("candidate", TypeEnum.ANY)]) +typeof_func = Builtin("typeof", interpretTypeOf, [Arg("candidate", TypeEnum.ANY)], return_type=Type(":type")) typeof_multi = MultiFunction("typeof") typeof_multi.register(typeof_func) TYPES.register("typeof", typeof_multi) -- cgit v1.2.3