diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/ffi/export.jvm.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/ffi/export.jvm.lux b/stdlib/source/library/lux/ffi/export.jvm.lux index ed68b06d6..402c8b8da 100644 --- a/stdlib/source/library/lux/ffi/export.jvm.lux +++ b/stdlib/source/library/lux/ffi/export.jvm.lux @@ -18,7 +18,7 @@ #type Code #term Code])) -(def: (api of) +(def (api of) (All (_ of) (-> (Parser of) (Parser (API of)))) (<code>.form (all <>.and @@ -30,7 +30,7 @@ (type: Constant Text) -(def: constant +(def constant (Parser Constant) <code>.local) @@ -40,7 +40,7 @@ #name Text #requirements (List [Text Code])])) -(def: function +(def function (Parser Function) (<code>.form (all <>.and @@ -57,14 +57,14 @@ {#Constant (API Constant)} {#Function (API Function)})) -(def: exportP +(def exportP (Parser Export) (all <>.or (..api ..constant) (..api ..function) )) -(def: .public export +(def .public export (syntax (_ [api <code>.local exports (<>.many ..exportP)]) (let [initialization (is (List (API Constant)) |