aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/ffi/export.jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/ffi/export.jvm.lux')
-rw-r--r--stdlib/source/library/lux/ffi/export.jvm.lux10
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))