From cfd438517a46e025b15345e3570b02f5ea6165c0 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 14 Mar 2022 05:25:04 -0400
Subject: Type-safe host-level functions for interop with scripting languages.

---
 stdlib/source/test/lux/ffi.js.lux  | 4 +++-
 stdlib/source/test/lux/ffi.lua.lux | 4 +++-
 stdlib/source/test/lux/ffi.py.lux  | 4 +++-
 3 files changed, 9 insertions(+), 3 deletions(-)

(limited to 'stdlib/source/test')

diff --git a/stdlib/source/test/lux/ffi.js.lux b/stdlib/source/test/lux/ffi.js.lux
index b697c4b66..2a30d0464 100644
--- a/stdlib/source/test/lux/ffi.js.lux
+++ b/stdlib/source/test/lux/ffi.js.lux
@@ -101,7 +101,9 @@
                              "js object null?"
                              not))
                 (_.cover [/.function]
-                         (|> (/.function [input/0] input/0)
+                         (|> (/.function (_ [input/0 Nat])
+                               Int
+                               (.int input/0))
                              "js object null?"
                              not))
                 (_.cover [/.on_browser? /.on_node_js? /.on_nashorn?]
diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux
index 8639e374d..4c0a6aed0 100644
--- a/stdlib/source/test/lux/ffi.lua.lux
+++ b/stdlib/source/test/lux/ffi.lua.lux
@@ -50,7 +50,9 @@
                                  ))))
                 (_.cover [/.Function /.function]
                          (exec
-                           (|> (/.function [input/0] input/0)
+                           (|> (/.function (_ [input/0 Nat])
+                                 Int
+                                 (.int input/0))
                                (: /.Function)
                                (: (Ex (_ a) (/.Object a))))
                            true))
diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux
index 911ea1c82..ec8381e92 100644
--- a/stdlib/source/test/lux/ffi.py.lux
+++ b/stdlib/source/test/lux/ffi.py.lux
@@ -53,7 +53,9 @@
                                  ))))
                 (_.cover [/.Function /.function]
                          (exec
-                           (|> (/.function [input/0] input/0)
+                           (|> (/.function (_ [input/0 Nat])
+                                 Int
+                                 (.int input/0))
                                (: /.Function)
                                (: (Ex (_ a) (/.Object a))))
                            true))
-- 
cgit v1.2.3