diff options
| author | Eduardo Julian | 2022-03-14 05:25:04 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-14 05:25:04 -0400 |
| commit | cfd438517a46e025b15345e3570b02f5ea6165c0 (patch) | |
| tree | c66ebcd27ba2d44f2efb92659be6acedc61821e4 /stdlib/source/test | |
| parent | 93eb82e1bf6d2f2a6b3b0adb85f4ab93cbb766a9 (diff) | |
Type-safe host-level functions for interop with scripting languages.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/ffi.js.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/test/lux/ffi.lua.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/test/lux/ffi.py.lux | 4 |
3 files changed, 9 insertions, 3 deletions
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)) |