diff options
| author | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
| commit | 3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 (patch) | |
| tree | 9dde4f6cb8f16829b2fa43fbccffaa1b3e2659bd /stdlib/source/test/lux/ffi | |
| parent | 0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 (diff) | |
Extensible import syntax [Part 4]
Diffstat (limited to 'stdlib/source/test/lux/ffi')
| -rw-r--r-- | stdlib/source/test/lux/ffi/export.js.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/ffi/export.jvm.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/ffi/export.lua.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/ffi/export.py.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/ffi/export.rb.lux | 2 |
5 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/ffi/export.js.lux b/stdlib/source/test/lux/ffi/export.js.lux index 2e3a99a78..0bb40db7e 100644 --- a/stdlib/source/test/lux/ffi/export.js.lux +++ b/stdlib/source/test/lux/ffi/export.js.lux @@ -7,7 +7,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / + ["[0]" / (.only) ["/[1]" //]]]) (with_expansions [<nat> (static.random_nat)] diff --git a/stdlib/source/test/lux/ffi/export.jvm.lux b/stdlib/source/test/lux/ffi/export.jvm.lux index 4cf439109..ca8270a46 100644 --- a/stdlib/source/test/lux/ffi/export.jvm.lux +++ b/stdlib/source/test/lux/ffi/export.jvm.lux @@ -21,7 +21,7 @@ ["[0]" int ("[1]#[0]" equivalence)] ["[0]" frac ("[1]#[0]" equivalence)]]]]] [\\library - ["[0]" / + ["[0]" / (.only) ["/[1]" //]]]) (def: expected_boolean (//.as_boolean (static.random_bit))) diff --git a/stdlib/source/test/lux/ffi/export.lua.lux b/stdlib/source/test/lux/ffi/export.lua.lux index 45ce89903..94caf19fb 100644 --- a/stdlib/source/test/lux/ffi/export.lua.lux +++ b/stdlib/source/test/lux/ffi/export.lua.lux @@ -7,7 +7,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / + ["[0]" / (.only) ["/[1]" //]]]) (with_expansions [<nat> (static.random_nat)] diff --git a/stdlib/source/test/lux/ffi/export.py.lux b/stdlib/source/test/lux/ffi/export.py.lux index 2e3a99a78..0bb40db7e 100644 --- a/stdlib/source/test/lux/ffi/export.py.lux +++ b/stdlib/source/test/lux/ffi/export.py.lux @@ -7,7 +7,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / + ["[0]" / (.only) ["/[1]" //]]]) (with_expansions [<nat> (static.random_nat)] diff --git a/stdlib/source/test/lux/ffi/export.rb.lux b/stdlib/source/test/lux/ffi/export.rb.lux index 5a0be82c1..3e1729edd 100644 --- a/stdlib/source/test/lux/ffi/export.rb.lux +++ b/stdlib/source/test/lux/ffi/export.rb.lux @@ -7,7 +7,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / + ["[0]" / (.only) ["/[1]" //]]]) (with_expansions [<nat> (static.random_nat)] |