From 72fe0cd6dba1a746924399b78335af2ee3cbfff3 Mon Sep 17 00:00:00 2001 From: James Shubin Date: Tue, 5 Dec 2023 01:10:34 -0500 Subject: [PATCH] lang: Polymorphic lambda functions aren't allowed for now We don't allow a lambda variable to be polymorphic anymore. Of course this isn't bad, but it makes things too difficult, at least for now. It's also likely that we don't need this specific feature very often I think. --- lang/interpret_test/TestAstFunc2/polymorphic-lambda.txtar | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/lang/interpret_test/TestAstFunc2/polymorphic-lambda.txtar b/lang/interpret_test/TestAstFunc2/polymorphic-lambda.txtar index de840673..9ce06776 100644 --- a/lang/interpret_test/TestAstFunc2/polymorphic-lambda.txtar +++ b/lang/interpret_test/TestAstFunc2/polymorphic-lambda.txtar @@ -17,5 +17,4 @@ $out2 = $add($val) # hellohello test fmt.printf("%s + %s is %s", $val, $val, $out2) {} # simple concat -- OUTPUT -- -Vertex: test[2 + 2 is 4] -Vertex: test[hello + hello is hellohello] +# err: errUnify: can't unify, invariant illogicality with equality: base kind does not match (Int != Str)