diff options
| author | Eduardo Julian | 2021-08-13 04:18:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-13 04:18:57 -0400 |
| commit | e53c1a090eb9cfac3cb23d10d981648d02518ed1 (patch) | |
| tree | 6c92c186525b6e73032ebea68765b791bcc27516 /stdlib/source/library/lux/ffi.rb.lux | |
| parent | 17629d66062b88b040a2397032f6c08361a5f3a7 (diff) | |
Made program: specify its bindings the same way as syntax:.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/ffi.rb.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/ffi.rb.lux b/stdlib/source/library/lux/ffi.rb.lux index b0d3a5c9b..7175fe4c9 100644 --- a/stdlib/source/library/lux/ffi.rb.lux +++ b/stdlib/source/library/lux/ffi.rb.lux @@ -219,7 +219,7 @@ (~ (|> (nilable_type outputT) (try_type try?) (io_type io?)))) - (:assume + (:expected (~ (<| (with_io io?) (with_try try?) (without_nil g!temp outputT) @@ -282,7 +282,7 @@ (~ g!object)) (-> (~ g!type) (~ (nilable_type fieldT))) - (:assume + (:expected (~ (without_nil g!temp fieldT (` ("ruby object get" (~ (code.text field)) (:as (..Object .Any) (~ g!object)))))))))) @@ -311,7 +311,7 @@ (~ (|> (nilable_type outputT) (try_type try?) (io_type io?)))) - (:assume + (:expected (~ (<| (with_io io?) (with_try try?) (without_nil g!temp outputT) |