summaryrefslogtreecommitdiff
path: root/tests/language-feature/lambda/coerce-to-functype.slang
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2025-05-16 10:42:11 -0700
committerGitHub <noreply@github.com>2025-05-16 10:42:11 -0700
commit9dfd5244ad2953753535e82acd05e72e5ab2bc5f (patch)
tree0f7c8a0bf4ea3dd25348e1d1ac8e5bfcfd8c9724 /tests/language-feature/lambda/coerce-to-functype.slang
parent1fd7b2296d8360c245a0c732e7f842876533f92a (diff)
Allow lambda exprs without captures to coerce to `functype`. (#7129)
Diffstat (limited to 'tests/language-feature/lambda/coerce-to-functype.slang')
-rw-r--r--tests/language-feature/lambda/coerce-to-functype.slang13
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/language-feature/lambda/coerce-to-functype.slang b/tests/language-feature/lambda/coerce-to-functype.slang
new file mode 100644
index 000000000..9ec430def
--- /dev/null
+++ b/tests/language-feature/lambda/coerce-to-functype.slang
@@ -0,0 +1,13 @@
+//TEST:INTERPRET(filecheck=CHECK):
+
+func test(f: functype(int, int)->float) -> float
+{
+ return f(2,3) + 10.0f;
+}
+
+func main()
+{
+ let result = test((int x, int y)=>x+y);
+ // CHECK: 15.0
+ printf("%f\n", result);
+} \ No newline at end of file