aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source')
-rw-r--r--stdlib/source/documentation/lux/ffi.jvm.lux20
-rw-r--r--stdlib/source/documentation/lux/ffi.old.lux20
-rw-r--r--stdlib/source/documentation/lux/ffi.rb.lux20
-rw-r--r--stdlib/source/documentation/lux/math/infix.lux1
-rw-r--r--stdlib/source/library/lux/control/concurrency/thread.lux12
-rw-r--r--stdlib/source/library/lux/data/binary.lux6
-rw-r--r--stdlib/source/library/lux/data/text/buffer.lux2
-rw-r--r--stdlib/source/library/lux/data/text/encoding/utf8.lux4
-rw-r--r--stdlib/source/library/lux/debug.lux6
-rw-r--r--stdlib/source/library/lux/ffi.js.lux8
-rw-r--r--stdlib/source/library/lux/ffi.jvm.lux20
-rw-r--r--stdlib/source/library/lux/ffi.lua.lux10
-rw-r--r--stdlib/source/library/lux/ffi.old.lux18
-rw-r--r--stdlib/source/library/lux/ffi.php.lux8
-rw-r--r--stdlib/source/library/lux/ffi.py.lux40
-rw-r--r--stdlib/source/library/lux/ffi.rb.lux8
-rw-r--r--stdlib/source/library/lux/ffi.scm.lux8
-rw-r--r--stdlib/source/library/lux/math/infix.lux32
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/constant.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/loader.lux6
-rw-r--r--stdlib/source/library/lux/target/jvm/reflection.lux14
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux14
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux10
-rw-r--r--stdlib/source/library/lux/world/console.lux12
-rw-r--r--stdlib/source/library/lux/world/db/jdbc.lux26
-rw-r--r--stdlib/source/library/lux/world/db/jdbc/input.lux2
-rw-r--r--stdlib/source/library/lux/world/db/jdbc/output.lux6
-rw-r--r--stdlib/source/library/lux/world/file.lux136
-rw-r--r--stdlib/source/library/lux/world/file/watch.lux20
-rw-r--r--stdlib/source/library/lux/world/net/http/client.lux26
-rw-r--r--stdlib/source/library/lux/world/program.lux58
-rw-r--r--stdlib/source/library/lux/world/shell.lux22
-rw-r--r--stdlib/source/program/aedifex/command/build.lux2
-rw-r--r--stdlib/source/program/aedifex/hash.lux2
-rw-r--r--stdlib/source/program/aedifex/repository/identity.lux2
-rw-r--r--stdlib/source/test/lux/documentation.lux20
-rw-r--r--stdlib/source/test/lux/ffi.js.lux2
-rw-r--r--stdlib/source/test/lux/ffi.jvm.lux6
-rw-r--r--stdlib/source/test/lux/ffi.lua.lux2
-rw-r--r--stdlib/source/test/lux/ffi.py.lux4
-rw-r--r--stdlib/source/test/lux/ffi.rb.lux2
-rw-r--r--stdlib/source/test/lux/math/infix.lux9
-rw-r--r--stdlib/source/test/lux/math/number/frac.lux4
-rw-r--r--stdlib/source/test/lux/target/jvm.lux4
48 files changed, 324 insertions, 348 deletions
diff --git a/stdlib/source/documentation/lux/ffi.jvm.lux b/stdlib/source/documentation/lux/ffi.jvm.lux
index a781e10ff..c6d2a97ae 100644
--- a/stdlib/source/documentation/lux/ffi.jvm.lux
+++ b/stdlib/source/documentation/lux/ffi.jvm.lux
@@ -97,7 +97,7 @@
[]))
(#public (virtual) java/lang/Object
"")
- (#public #static (static) java/lang/Object
+ (#public "static" (static) java/lang/Object
"")
(Runnable [] (run) void
[])
@@ -184,17 +184,17 @@
["#::."
(new [])
(equals [java/lang/Object] boolean)
- (wait [int] #io #try void)])]
+ (wait [int] "io" "try" void)])]
["Special options can also be given for the return values."
- "#? means that the values will be returned inside a Maybe type. That way, null becomes #.None."
- "#try means that the computation might throw an exception, and the return value will be wrapped by the Try type."
- "#io means the computation has side effects, and will be wrapped by the IO type."
- "These options must show up in the following order [#io #try #?] (although, each option can be used independently)."
+ "'?' means that the values will be returned inside a Maybe type. That way, null becomes #.None."
+ "'try' means that the computation might throw an exception, and the return value will be wrapped by the Try type."
+ "'io' means the computation has side effects, and will be wrapped by the IO type."
+ "These options must show up in the following order ['io' 'try' '?'] (although, each option can be used independently)."
(import: java/lang/String
["#::."
(new [[byte]])
- (#static valueOf [char] java/lang/String)
- (#static valueOf #as int_valueOf [int] java/lang/String)])
+ ("static" valueOf [char] java/lang/String)
+ ("static" valueOf #as int_valueOf [int] java/lang/String)])
(import: (java/util/List e)
["#::."
@@ -209,7 +209,7 @@
"All enum options to be imported must be specified."
(import: java/lang/Character$UnicodeScript
["#::."
- (#enum ARABIC CYRILLIC LATIN)])]
+ ("enum" ARABIC CYRILLIC LATIN)])]
["It should also be noted, the only types that may show up in method arguments or return values may be Java classes, arrays, primitives, void or type-vars."
"Lux types, such as Maybe cannot be named (otherwise, they'd be confused for Java classes)."
(import: (lux/concurrency/async/JvmAsync A)
@@ -218,7 +218,7 @@
(poll [] A)
(wasResolved [] boolean)
(waitOn [lux/Function] void)
- (#static [A] make [A] (lux/concurrency/async/JvmAsync A))])]
+ ("static" [A] make [A] (lux/concurrency/async/JvmAsync A))])]
["Also, the names of the imported members will look like Class::member"
(java/lang/Object::new [])
(java/lang/Object::equals [other_object] my_object)
diff --git a/stdlib/source/documentation/lux/ffi.old.lux b/stdlib/source/documentation/lux/ffi.old.lux
index ac2dd546c..86e9a23b6 100644
--- a/stdlib/source/documentation/lux/ffi.old.lux
+++ b/stdlib/source/documentation/lux/ffi.old.lux
@@ -64,7 +64,7 @@
[]))
(#public (virtual) java/lang/Object
"")
- (#public #static (static) java/lang/Object
+ (#public "static" (static) java/lang/Object
"")
(Runnable [] (run) void
[]))
@@ -148,17 +148,17 @@
["#::."
(new [])
(equals [java/lang/Object] boolean)
- (wait [int] #io #try void)])]
+ (wait [int] "io" "try" void)])]
["Special options can also be given for the return values."
- "#? means that the values will be returned inside a Maybe type. That way, null becomes #.None."
- "#try means that the computation might throw an exception, and the return value will be wrapped by the Try type."
- "#io means the computation has side effects, and will be wrapped by the IO type."
- "These options must show up in the following order [#io #try #?] (although, each option can be used independently)."
+ "'?' means that the values will be returned inside a Maybe type. That way, null becomes #.None."
+ "'try' means that the computation might throw an exception, and the return value will be wrapped by the Try type."
+ "'io' means the computation has side effects, and will be wrapped by the IO type."
+ "These options must show up in the following order ['io' 'try' '?'] (although, each option can be used independently)."
(import: java/lang/String
["#::."
(new [[byte]])
- (#static valueOf [char] java/lang/String)
- (#static valueOf #as int_valueOf [int] java/lang/String)])
+ ("static" valueOf [char] java/lang/String)
+ ("static" valueOf #as int_valueOf [int] java/lang/String)])
(import: (java/util/List e)
["#::."
@@ -173,7 +173,7 @@
"All enum options to be imported must be specified."
(import: java/lang/Character$UnicodeScript
["#::."
- (#enum ARABIC CYRILLIC LATIN)])]
+ ("enum" ARABIC CYRILLIC LATIN)])]
["It should also be noted, the only types that may show up in method arguments or return values may be Java classes, arrays, primitives, void or type-parameters."
"Lux types, such as Maybe cannot be named (otherwise, they'd be confused for Java classes)."
(import: (lux/concurrency/async/JvmAsync A)
@@ -182,7 +182,7 @@
(poll [] A)
(wasResolved [] boolean)
(waitOn [lux/Function] void)
- (#static [A] make [A] (lux/concurrency/async/JvmAsync A))])]
+ ("static" [A] make [A] (lux/concurrency/async/JvmAsync A))])]
["Also, the names of the imported members will look like Class::member"
(java/lang/Object::new [])
(java/lang/Object::equals [other_object] my_object)
diff --git a/stdlib/source/documentation/lux/ffi.rb.lux b/stdlib/source/documentation/lux/ffi.rb.lux
index 7d265ec07..a257a7b26 100644
--- a/stdlib/source/documentation/lux/ffi.rb.lux
+++ b/stdlib/source/documentation/lux/ffi.rb.lux
@@ -19,17 +19,17 @@
(import: File #as RubyFile
["#::."
- (#static SEPARATOR ..String)
- (#static open [Path ..String] #io #try RubyFile)
- (#static stat [Path] #io #try Stat)
- (#static delete [Path] #io #try Int)
- (#static file? [Path] #io #try Bit)
- (#static directory? [Path] #io #try Bit)
+ ("static" SEPARATOR ..String)
+ ("static" open [Path ..String] "io" "try" RubyFile)
+ ("static" stat [Path] "io" "try" Stat)
+ ("static" delete [Path] "io" "try" Int)
+ ("static" file? [Path] "io" "try" Bit)
+ ("static" directory? [Path] "io" "try" Bit)
- (read [] #io #try Binary)
- (write [Binary] #io #try Int)
- (flush [] #io #try #? Any)
- (close [] #io #try #? Any)])])
+ (read [] "io" "try" Binary)
+ (write [Binary] "io" "try" Int)
+ (flush [] "io" "try" "?" Any)
+ (close [] "io" "try" "?" Any)])])
(.def: .public documentation
(.List $.Module)
diff --git a/stdlib/source/documentation/lux/math/infix.lux b/stdlib/source/documentation/lux/math/infix.lux
index add6876f2..37f4959a3 100644
--- a/stdlib/source/documentation/lux/math/infix.lux
+++ b/stdlib/source/documentation/lux/math/infix.lux
@@ -20,7 +20,6 @@
[(infix [[x + y] * [x - y]])]
[(infix [sin [x + y]])]
[(infix [[x < y] and [y < z]])]
- [(infix [#and x < y < z])]
[(infix [(* 3 9) gcd 450])])
(.def: .public documentation
diff --git a/stdlib/source/library/lux/control/concurrency/thread.lux b/stdlib/source/library/lux/control/concurrency/thread.lux
index d618d7270..603b44da8 100644
--- a/stdlib/source/library/lux/control/concurrency/thread.lux
+++ b/stdlib/source/library/lux/control/concurrency/thread.lux
@@ -26,36 +26,36 @@
(ffi.import: java/lang/Runtime
["#::."
- (#static getRuntime [] java/lang/Runtime)
+ ("static" getRuntime [] java/lang/Runtime)
(availableProcessors [] int)])
(ffi.import: java/lang/Runnable)
(ffi.import: java/util/concurrent/TimeUnit
["#::."
- (#enum MILLISECONDS)])
+ ("enum" MILLISECONDS)])
(ffi.import: java/util/concurrent/Executor
["#::."
- (execute [java/lang/Runnable] #io void)])
+ (execute [java/lang/Runnable] "io" void)])
(ffi.import: (java/util/concurrent/ScheduledFuture a))
(ffi.import: java/util/concurrent/ScheduledThreadPoolExecutor
["#::."
(new [int])
- (schedule [java/lang/Runnable long java/util/concurrent/TimeUnit] #io (java/util/concurrent/ScheduledFuture java/lang/Object))]))]
+ (schedule [java/lang/Runnable long java/util/concurrent/TimeUnit] "io" (java/util/concurrent/ScheduledFuture java/lang/Object))]))]
(for {@.old (as_is <jvm>)
@.jvm (as_is <jvm>)
@.js
- (as_is (ffi.import: (setTimeout [ffi.Function ffi.Number] #io Any)))
+ (as_is (ffi.import: (setTimeout [ffi.Function ffi.Number] "io" Any)))
@.python
(ffi.import: threading/Timer
["#::."
(new [ffi.Float ffi.Function])
- (start [] #io #? Any)])}
+ (start [] "io" "?" Any)])}
... Default
(type: Thread
diff --git a/stdlib/source/library/lux/data/binary.lux b/stdlib/source/library/lux/data/binary.lux
index c87d157ea..c4dd05e8e 100644
--- a/stdlib/source/library/lux/data/binary.lux
+++ b/stdlib/source/library/lux/data/binary.lux
@@ -40,12 +40,12 @@
(ffi.import: java/lang/System
["#::."
- (#static arraycopy [java/lang/Object int java/lang/Object int int] #try void)])
+ ("static" arraycopy [java/lang/Object int java/lang/Object int int] "try" void)])
(ffi.import: java/util/Arrays
["#::."
- (#static copyOfRange [[byte] int int] [byte])
- (#static equals [[byte] [byte]] boolean)])
+ ("static" copyOfRange [[byte] int int] [byte])
+ ("static" equals [[byte] [byte]] boolean)])
(def: byte_mask
I64
diff --git a/stdlib/source/library/lux/data/text/buffer.lux b/stdlib/source/library/lux/data/text/buffer.lux
index e23a11f63..ddbf123c6 100644
--- a/stdlib/source/library/lux/data/text/buffer.lux
+++ b/stdlib/source/library/lux/data/text/buffer.lux
@@ -42,7 +42,7 @@
(join [Text] Text)]))
@.lua (as_is (import: (table/concat [(array.Array Text) Text] Text))
...https://www.lua.org/manual/5.3/manual.html#pdf-table.concat
- (import: (table/insert [(array.Array Text) Text] #? Nothing))
+ (import: (table/insert [(array.Array Text) Text] "?" Nothing))
... https://www.lua.org/manual/5.3/manual.html#pdf-table.insert
)}
(as_is))))
diff --git a/stdlib/source/library/lux/data/text/encoding/utf8.lux b/stdlib/source/library/lux/data/text/encoding/utf8.lux
index e7d9b611c..dd0881732 100644
--- a/stdlib/source/library/lux/data/text/encoding/utf8.lux
+++ b/stdlib/source/library/lux/data/text/encoding/utf8.lux
@@ -24,8 +24,8 @@
... On Node
(ffi.import: Buffer
["#::."
- (#static from #as from|encoded [ffi.String ffi.String] Buffer)
- (#static from #as from|decoded [Uint8Array] Buffer)
+ ("static" from #as from|encoded [ffi.String ffi.String] Buffer)
+ ("static" from #as from|decoded [Uint8Array] Buffer)
(toString [ffi.String] ffi.String)])
... On the browser
diff --git a/stdlib/source/library/lux/debug.lux b/stdlib/source/library/lux/debug.lux
index c08076bcf..531bb7cd8 100644
--- a/stdlib/source/library/lux/debug.lux
+++ b/stdlib/source/library/lux/debug.lux
@@ -72,10 +72,10 @@
@.js
(as_is (import: JSON
["#::."
- (#static stringify [.Any] ffi.String)])
+ ("static" stringify [.Any] ffi.String)])
(import: Array
["#::."
- (#static isArray [.Any] ffi.Boolean)]))
+ ("static" isArray [.Any] ffi.Boolean)]))
@.python
(as_is (type: PyType
@@ -90,7 +90,7 @@
(import: math
["#::."
- (#static type [.Any] #? ffi.String)]))
+ ("static" type [.Any] "?" ffi.String)]))
@.ruby
(as_is (import: Class)
diff --git a/stdlib/source/library/lux/ffi.js.lux b/stdlib/source/library/lux/ffi.js.lux
index cb2fafe6f..247894177 100644
--- a/stdlib/source/library/lux/ffi.js.lux
+++ b/stdlib/source/library/lux/ffi.js.lux
@@ -53,7 +53,7 @@
(def: nullable
(Parser Nullable)
- (let [token (' #?)]
+ (let [token (' "?")]
(<| (<>.and (<>.parses? (<code>.this! token)))
(<>.after (<>.not (<code>.this! token)))
<code>.any)))
@@ -71,7 +71,7 @@
(def: static!
(Parser Any)
- (<code>.this! (' #static)))
+ (<code>.this! (' "static")))
(def: field
(Parser Field)
@@ -103,8 +103,8 @@
<code>.local_identifier
(<>.maybe (<>.after (<code>.this! (' #as)) <code>.local_identifier))
(<code>.tuple (<>.some ..nullable))
- (<>.parses? (<code>.this! (' #io)))
- (<>.parses? (<code>.this! (' #try)))
+ (<>.parses? (<code>.this! (' "io")))
+ (<>.parses? (<code>.this! (' "try")))
..nullable))
(def: static_method
diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux
index d01286a1a..e50f12602 100644
--- a/stdlib/source/library/lux/ffi.jvm.lux
+++ b/stdlib/source/library/lux/ffi.jvm.lux
@@ -852,7 +852,7 @@
(<code>.form (do <>.monad
[pm privacy_modifier^
strict_fp? (<>.parses? (<code>.this! (' #strict)))
- _ (<code>.this! (' #static))
+ _ (<code>.this! (' "static"))
method_vars (<>.else (list) ..vars^)
.let [total_vars method_vars]
[name arguments] (<code>.form (<>.and <code>.local_identifier
@@ -938,20 +938,20 @@
(def: import_member_return_flags^
(Parser [Bit Bit Bit])
($_ <>.and
- (<>.parses? (<code>.this! (' #io)))
- (<>.parses? (<code>.this! (' #try)))
- (<>.parses? (<code>.this! (' #?)))))
+ (<>.parses? (<code>.this! (' "io")))
+ (<>.parses? (<code>.this! (' "try")))
+ (<>.parses? (<code>.this! (' "?")))))
(def: primitive_mode^
(Parser Primitive_Mode)
- (<>.or (<code>.tag! ["" "manual"])
- (<code>.tag! ["" "auto"])))
+ (<>.or (<code>.this! (' "manual"))
+ (<code>.this! (' "auto"))))
(def: (import_member_decl^ owner_vars)
(-> (List (Type Var)) (Parser Import_Member_Declaration))
($_ <>.either
(<code>.form (do <>.monad
- [_ (<code>.this! (' #enum))
+ [_ (<code>.this! (' "enum"))
enum_members (<>.some <code>.local_identifier)]
(in (#EnumDecl enum_members))))
(<code>.form (do <>.monad
@@ -974,7 +974,7 @@
))
(<code>.form (do <>.monad
[kind (: (Parser ImportMethodKind)
- (<>.or (<code>.tag! ["" "static"])
+ (<>.or (<code>.this! (' "static"))
(in [])))
tvars (<>.else (list) ..vars^)
name <code>.local_identifier
@@ -995,11 +995,11 @@
{#import_method_name name
#import_method_return return}]))))
(<code>.form (do <>.monad
- [static? (<>.parses? (<code>.this! (' #static)))
+ [static? (<>.parses? (<code>.this! (' "static")))
name <code>.local_identifier
?prim_mode (<>.maybe primitive_mode^)
gtype (..type^ owner_vars)
- maybe? (<>.parses? (<code>.this! (' #?)))
+ maybe? (<>.parses? (<code>.this! (' "?")))
setter? (<>.parses? (<code>.this! (' #!)))]
(in (#FieldAccessDecl {#import_field_mode (maybe.else #AutoPrM ?prim_mode)
#import_field_name name
diff --git a/stdlib/source/library/lux/ffi.lua.lux b/stdlib/source/library/lux/ffi.lua.lux
index d8bcfdb42..4d9fcf6a1 100644
--- a/stdlib/source/library/lux/ffi.lua.lux
+++ b/stdlib/source/library/lux/ffi.lua.lux
@@ -53,7 +53,7 @@
(def: nilable
(Parser Nilable)
- (let [token (' #?)]
+ (let [token (' "?")]
(<| (<>.and (<>.parses? (<code>.this! token)))
(<>.after (<>.not (<code>.this! token)))
<code>.any)))
@@ -63,7 +63,7 @@
(def: static!
(Parser Any)
- (<code>.this! (' #static)))
+ (<code>.this! (' "static")))
(def: field
(Parser Field)
@@ -102,8 +102,8 @@
<code>.local_identifier
(<>.maybe (<>.after (<code>.this! (' #as)) <code>.local_identifier))
(<code>.tuple (<>.some ..nilable))
- (<>.parses? (<code>.this! (' #io)))
- (<>.parses? (<code>.this! (' #try)))
+ (<>.parses? (<code>.this! (' "io")))
+ (<>.parses? (<code>.this! (' "try")))
..nilable))
(def: static_method
@@ -220,7 +220,7 @@
(syntax: .public (import: [import ..import])
{#.doc (example "Easily import types, methods, functions and constants."
- (import: (os/getenv [..String] #io #? ..String)))}
+ (import: (os/getenv [..String] "io" "?" ..String)))}
(with_identifiers [g!temp]
(case import
(#Class [class format members])
diff --git a/stdlib/source/library/lux/ffi.old.lux b/stdlib/source/library/lux/ffi.old.lux
index 016bce2b5..a6dd4c4bf 100644
--- a/stdlib/source/library/lux/ffi.old.lux
+++ b/stdlib/source/library/lux/ffi.old.lux
@@ -802,7 +802,7 @@
(<code>.form (do <>.monad
[pm privacy_modifier^
strict_fp? (<>.parses? (<code>.this! (' #strict)))
- _ (<code>.this! (' #static))
+ _ (<code>.this! (' "static"))
method_vars ..type_params^
.let [total_vars method_vars]
[name arg_decls] (<code>.form (<>.and <code>.local_identifier
@@ -882,22 +882,22 @@
(def: (import_member_args^ type_vars)
(-> (List Type_Parameter) (Parser (List [Bit GenericType])))
- (<code>.tuple (<>.some (<>.and (<>.parses? (<code>.this! (' #?))) (..generic_type^ type_vars)))))
+ (<code>.tuple (<>.some (<>.and (<>.parses? (<code>.this! (' "?"))) (..generic_type^ type_vars)))))
(def: import_member_return_flags^
(Parser [Bit Bit Bit])
- ($_ <>.and (<>.parses? (<code>.this! (' #io))) (<>.parses? (<code>.this! (' #try))) (<>.parses? (<code>.this! (' #?)))))
+ ($_ <>.and (<>.parses? (<code>.this! (' "io"))) (<>.parses? (<code>.this! (' "try"))) (<>.parses? (<code>.this! (' "?")))))
(def: primitive_mode^
(Parser Primitive_Mode)
- (<>.or (<code>.this! (' #manual))
- (<code>.this! (' #auto))))
+ (<>.or (<code>.this! (' "manual"))
+ (<code>.this! (' "auto"))))
(def: (import_member_decl^ owner_vars)
(-> (List Type_Parameter) (Parser Import_Member_Declaration))
($_ <>.either
(<code>.form (do <>.monad
- [_ (<code>.this! (' #enum))
+ [_ (<code>.this! (' "enum"))
enum_members (<>.some <code>.local_identifier)]
(in (#EnumDecl enum_members))))
(<code>.form (do <>.monad
@@ -920,7 +920,7 @@
))
(<code>.form (do <>.monad
[kind (: (Parser ImportMethodKind)
- (<>.or (<code>.this! (' #static))
+ (<>.or (<code>.this! (' "static"))
(in [])))
tvars ..type_params^
name <code>.local_identifier
@@ -942,11 +942,11 @@
#import_method_return return
}]))))
(<code>.form (do <>.monad
- [static? (<>.parses? (<code>.this! (' #static)))
+ [static? (<>.parses? (<code>.this! (' "static")))
name <code>.local_identifier
?prim_mode (<>.maybe primitive_mode^)
gtype (..generic_type^ owner_vars)
- maybe? (<>.parses? (<code>.this! (' #?)))
+ maybe? (<>.parses? (<code>.this! (' "?")))
setter? (<>.parses? (<code>.this! (' #!)))]
(in (#FieldAccessDecl {#import_field_mode (maybe.else #AutoPrM ?prim_mode)
#import_field_name name
diff --git a/stdlib/source/library/lux/ffi.php.lux b/stdlib/source/library/lux/ffi.php.lux
index c06124708..1e7f61563 100644
--- a/stdlib/source/library/lux/ffi.php.lux
+++ b/stdlib/source/library/lux/ffi.php.lux
@@ -50,7 +50,7 @@
(def: nullable
(Parser Nullable)
- (let [token (' #?)]
+ (let [token (' "?")]
(<| (<>.and (<>.parses? (<code>.this! token)))
(<>.after (<>.not (<code>.this! token)))
<code>.any)))
@@ -67,7 +67,7 @@
(def: static!
(Parser Any)
- (<code>.this! (' #static)))
+ (<code>.this! (' "static")))
(def: field
(Parser Field)
@@ -108,8 +108,8 @@
<code>.local_identifier
(<>.maybe ..alias)
(<code>.tuple (<>.some ..nullable))
- (<>.parses? (<code>.this! (' #io)))
- (<>.parses? (<code>.this! (' #try)))
+ (<>.parses? (<code>.this! (' "io")))
+ (<>.parses? (<code>.this! (' "try")))
..nullable))
(def: static_method
diff --git a/stdlib/source/library/lux/ffi.py.lux b/stdlib/source/library/lux/ffi.py.lux
index bf455fc2e..b523ce1e4 100644
--- a/stdlib/source/library/lux/ffi.py.lux
+++ b/stdlib/source/library/lux/ffi.py.lux
@@ -53,7 +53,7 @@
(def: noneable
(Parser Noneable)
- (let [token (' #?)]
+ (let [token (' "?")]
(<| (<>.and (<>.parses? (<code>.this! token)))
(<>.after (<>.not (<code>.this! token)))
<code>.any)))
@@ -71,7 +71,7 @@
(def: static!
(Parser Any)
- (<code>.this! (' #static)))
+ (<code>.this! (' "static")))
(def: field
(Parser Field)
@@ -103,8 +103,8 @@
<code>.local_identifier
(<>.maybe (<>.after (<code>.this! (' #as)) <code>.local_identifier))
(<code>.tuple (<>.some ..noneable))
- (<>.parses? (<code>.this! (' #io)))
- (<>.parses? (<code>.this! (' #try)))
+ (<>.parses? (<code>.this! (' "io")))
+ (<>.parses? (<code>.this! (' "try")))
..noneable))
(def: static_method
@@ -222,25 +222,25 @@
{#.doc (example "Easily import types, methods, functions and constants."
(import: os
["#::."
- (#static F_OK ..Integer)
- (#static R_OK ..Integer)
- (#static W_OK ..Integer)
- (#static X_OK ..Integer)
-
- (#static mkdir [..String] #io #try #? Any)
- (#static access [..String ..Integer] #io #try ..Boolean)
- (#static remove [..String] #io #try #? Any)
- (#static rmdir [..String] #io #try #? Any)
- (#static rename [..String ..String] #io #try #? Any)
- (#static listdir [..String] #io #try (Array ..String))])
+ ("static" F_OK ..Integer)
+ ("static" R_OK ..Integer)
+ ("static" W_OK ..Integer)
+ ("static" X_OK ..Integer)
+
+ ("static" mkdir [..String] "io" "try" "?" Any)
+ ("static" access [..String ..Integer] "io" "try" ..Boolean)
+ ("static" remove [..String] "io" "try" "?" Any)
+ ("static" rmdir [..String] "io" "try" "?" Any)
+ ("static" rename [..String ..String] "io" "try" "?" Any)
+ ("static" listdir [..String] "io" "try" (Array ..String))])
(import: os/path
["#::."
- (#static isfile [..String] #io #try ..Boolean)
- (#static isdir [..String] #io #try ..Boolean)
- (#static sep ..String)
- (#static getsize [..String] #io #try ..Integer)
- (#static getmtime [..String] #io #try ..Float)]))}
+ ("static" isfile [..String] "io" "try" ..Boolean)
+ ("static" isdir [..String] "io" "try" ..Boolean)
+ ("static" sep ..String)
+ ("static" getsize [..String] "io" "try" ..Integer)
+ ("static" getmtime [..String] "io" "try" ..Float)]))}
(with_identifiers [g!temp]
(case import
(#Class [class format members])
diff --git a/stdlib/source/library/lux/ffi.rb.lux b/stdlib/source/library/lux/ffi.rb.lux
index 3c1da5d57..62bafd5e5 100644
--- a/stdlib/source/library/lux/ffi.rb.lux
+++ b/stdlib/source/library/lux/ffi.rb.lux
@@ -52,7 +52,7 @@
(def: nilable
(Parser Nilable)
- (let [token (' #?)]
+ (let [token (' "?")]
(<| (<>.and (<>.parses? (<code>.this! token)))
(<>.after (<>.not (<code>.this! token)))
<code>.any)))
@@ -69,7 +69,7 @@
(def: static!
(Parser Any)
- (<code>.this! (' #static)))
+ (<code>.this! (' "static")))
(def: field
(Parser Field)
@@ -110,8 +110,8 @@
<code>.local_identifier
(<>.maybe ..alias)
(<code>.tuple (<>.some ..nilable))
- (<>.parses? (<code>.this! (' #io)))
- (<>.parses? (<code>.this! (' #try)))
+ (<>.parses? (<code>.this! (' "io")))
+ (<>.parses? (<code>.this! (' "try")))
..nilable))
(def: static_method
diff --git a/stdlib/source/library/lux/ffi.scm.lux b/stdlib/source/library/lux/ffi.scm.lux
index f8f75f21e..58603cef7 100644
--- a/stdlib/source/library/lux/ffi.scm.lux
+++ b/stdlib/source/library/lux/ffi.scm.lux
@@ -50,7 +50,7 @@
(def: nilable
(Parser Nilable)
- (let [token (' #?)]
+ (let [token (' "?")]
(<| (<>.and (<>.parses? (<code>.this! token)))
(<>.after (<>.not (<code>.this! token)))
<code>.any)))
@@ -67,7 +67,7 @@
(def: static!
(Parser Any)
- (<code>.this! (' #static)))
+ (<code>.this! (' "static")))
(def: field
(Parser Field)
@@ -100,8 +100,8 @@
<code>.local_identifier
(<>.maybe ..alias)
(<code>.tuple (<>.some ..nilable))
- (<>.parses? (<code>.this! (' #io)))
- (<>.parses? (<code>.this! (' #try)))
+ (<>.parses? (<code>.this! (' "io")))
+ (<>.parses? (<code>.this! (' "try")))
..nilable))
(def: input_variables
diff --git a/stdlib/source/library/lux/math/infix.lux b/stdlib/source/library/lux/math/infix.lux
index 207484719..fca3ed8ec 100644
--- a/stdlib/source/library/lux/math/infix.lux
+++ b/stdlib/source/library/lux/math/infix.lux
@@ -45,29 +45,15 @@
..literal
(<code>.form (<>.many <code>.any))
(<code>.tuple (<>.and <code>.any expression))
- (<code>.tuple ($_ <>.either
- (do <>.monad
- [_ (<code>.this! (' #and))
- init_subject expression
- init_op <code>.any
- init_param expression
- steps (<>.some (<>.and <code>.any expression))]
- (in (product.right (list\mix (function (_ [op param] [subject [_subject _op _param]])
- [param [(#Binary _subject _op _param)
- (` and)
- (#Binary subject op param)]])
- [init_param [init_subject init_op init_param]]
- steps))))
- (do <>.monad
- [init_subject expression
- init_op <code>.any
- init_param expression
- steps (<>.some (<>.and <code>.any expression))]
- (in (list\mix (function (_ [op param] [_subject _op _param])
- [(#Binary _subject _op _param) op param])
- [init_subject init_op init_param]
- steps)))
- ))
+ (<code>.tuple (do <>.monad
+ [init_subject expression
+ init_op <code>.any
+ init_param expression
+ steps (<>.some (<>.and <code>.any expression))]
+ (in (list\mix (function (_ [op param] [_subject _op _param])
+ [(#Binary _subject _op _param) op param])
+ [init_subject init_op init_param]
+ steps))))
)))
(def: (prefix infix)
diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux
index 53886c7b5..e3c1fc9db 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode.lux
@@ -463,11 +463,11 @@
(import: java/lang/Float
["#::."
- (#static floatToRawIntBits #manual [float] int)])
+ ("static" floatToRawIntBits "manual" [float] int)])
(import: java/lang/Double
["#::."
- (#static doubleToRawLongBits #manual [double] long)])
+ ("static" doubleToRawLongBits "manual" [double] long)])
(template [<name> <type> <constructor> <constant> <wide> <to_lux> <specializations>]
[(def: .public (<name> value)
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux
index 0775af818..63eff794c 100644
--- a/stdlib/source/library/lux/target/jvm/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/constant.lux
@@ -67,7 +67,7 @@
(import: java/lang/Float
["#::."
- (#static floatToRawIntBits #manual [float] int)])
+ ("static" floatToRawIntBits "manual" [float] int)])
(implementation: .public float_equivalence
(Equivalence java/lang/Float)
@@ -83,7 +83,7 @@
(import: java/lang/Double
["#::."
- (#static doubleToRawLongBits [double] long)])
+ ("static" doubleToRawLongBits [double] long)])
(abstract: .public (Value kind)
{}
diff --git a/stdlib/source/library/lux/target/jvm/loader.lux b/stdlib/source/library/lux/target/jvm/loader.lux
index 3d644cf5d..796e8f0f8 100644
--- a/stdlib/source/library/lux/target/jvm/loader.lux
+++ b/stdlib/source/library/lux/target/jvm/loader.lux
@@ -43,7 +43,7 @@
(import: java/lang/reflect/Method
["#::."
- (invoke [java/lang/Object [java/lang/Object]] #try java/lang/Object)])
+ (invoke [java/lang/Object [java/lang/Object]] "try" java/lang/Object)])
(import: (java/lang/Class a)
["#::."
@@ -51,7 +51,7 @@
(import: java/lang/Integer
["#::."
- (#static TYPE (java/lang/Class java/lang/Integer))])
+ ("static" TYPE (java/lang/Class java/lang/Integer))])
(import: java/lang/reflect/AccessibleObject
["#::."
@@ -60,7 +60,7 @@
(import: java/lang/ClassLoader
["#::."
(loadClass [java/lang/String]
- #io #try (java/lang/Class java/lang/Object))])
+ "io" "try" (java/lang/Class java/lang/Object))])
(with_expansions [<elemT> (as_is (java/lang/Class java/lang/Object))]
(def: java/lang/ClassLoader::defineClass
diff --git a/stdlib/source/library/lux/target/jvm/reflection.lux b/stdlib/source/library/lux/target/jvm/reflection.lux
index 55316e26f..dfb2ff5d1 100644
--- a/stdlib/source/library/lux/target/jvm/reflection.lux
+++ b/stdlib/source/library/lux/target/jvm/reflection.lux
@@ -62,10 +62,10 @@
(import: java/lang/reflect/Modifier
["#::."
- (#static isStatic [int] boolean)
- (#static isFinal [int] boolean)
- (#static isInterface [int] boolean)
- (#static isAbstract [int] boolean)])
+ ("static" isStatic [int] boolean)
+ ("static" isFinal [int] boolean)
+ ("static" isInterface [int] boolean)
+ ("static" isAbstract [int] boolean)])
(import: java/lang/annotation/Annotation)
@@ -100,14 +100,14 @@
(import: (java/lang/Class c)
["#::."
- (#static forName [java/lang/String boolean java/lang/ClassLoader] #try (java/lang/Class java/lang/Object))
+ ("static" forName [java/lang/String boolean java/lang/ClassLoader] "try" (java/lang/Class java/lang/Object))
(getName [] java/lang/String)
(getModifiers [] int)
(isAssignableFrom [(java/lang/Class java/lang/Object)] boolean)
(getTypeParameters [] [(java/lang/reflect/TypeVariable (java/lang/Class c))])
(getGenericInterfaces [] [java/lang/reflect/Type])
- (getGenericSuperclass [] #? java/lang/reflect/Type)
- (getDeclaredField [java/lang/String] #try java/lang/reflect/Field)
+ (getGenericSuperclass [] "?" java/lang/reflect/Type)
+ (getDeclaredField [java/lang/String] "try" java/lang/reflect/Field)
(getConstructors [] [(java/lang/reflect/Constructor java/lang/Object)])
(getDeclaredMethods [] [java/lang/reflect/Method])])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
index 30da17c13..05a6aa294 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
@@ -73,10 +73,10 @@
(import: java/lang/reflect/Modifier
["#::."
- (#static isStatic [int] boolean)
- (#static isFinal [int] boolean)
- (#static isInterface [int] boolean)
- (#static isAbstract [int] boolean)])
+ ("static" isStatic [int] boolean)
+ ("static" isFinal [int] boolean)
+ ("static" isInterface [int] boolean)
+ ("static" isAbstract [int] boolean)])
(import: java/lang/annotation/Annotation)
@@ -102,14 +102,14 @@
(import: (java/lang/Class c)
["#::."
- (#static forName [java/lang/String] #try (java/lang/Class java/lang/Object))
+ ("static" forName [java/lang/String] "try" (java/lang/Class java/lang/Object))
(getName [] java/lang/String)
(getModifiers [] int)
(isAssignableFrom [(java/lang/Class java/lang/Object)] boolean)
(getTypeParameters [] [(java/lang/reflect/TypeVariable (java/lang/Class c))])
(getGenericInterfaces [] [java/lang/reflect/Type])
- (getGenericSuperclass [] #? java/lang/reflect/Type)
- (getDeclaredField [java/lang/String] #try java/lang/reflect/Field)
+ (getGenericSuperclass [] "?" java/lang/reflect/Type)
+ (getDeclaredField [java/lang/String] "try" java/lang/reflect/Field)
(getConstructors [] [(java/lang/reflect/Constructor java/lang/Object)])
(getDeclaredMethods [] [java/lang/reflect/Method])
(getDeclaredAnnotations [] [java/lang/annotation/Annotation])])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
index 832fce239..e3c07cd49 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
@@ -43,10 +43,10 @@
)
(import: java/lang/reflect/Field
- (get [#? java/lang/Object] #try #? java/lang/Object))
+ (get ["?" java/lang/Object] "try" "?" java/lang/Object))
(import: (java/lang/Class a)
- (getField [java/lang/String] #try java/lang/reflect/Field))
+ (getField [java/lang/String] "try" java/lang/reflect/Field))
(import: java/lang/Object
(getClass [] (java/lang/Class java/lang/Object)))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux
index 7a5e65744..3a278c4d4 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux
@@ -74,7 +74,7 @@
(_.invokestatic $Double "valueOf" (type.method [(list type.double) $Double (list)])))
(import: java/lang/Double
- (#static doubleToRawLongBits #manual [double] int))
+ ("static" doubleToRawLongBits "manual" [double] int))
(def: .public (f64 value)
(-> Frac (Bytecode Any))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux
index e528b33a0..eb15a08a7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux
@@ -184,8 +184,8 @@
... [[Numbers]]
(host.import: java/lang/Double
- (#static MIN_VALUE Double)
- (#static MAX_VALUE Double))
+ ("static" MIN_VALUE Double)
+ ("static" MAX_VALUE Double))
(template [<name> <const> <encode>]
[(def: (<name> _)
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
index 832c6f8f6..37d9f7623 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
@@ -53,12 +53,12 @@
(import: java/util/jar/Attributes
["#::."
- (put [java/lang/Object java/lang/Object] #? java/lang/Object)])
+ (put [java/lang/Object java/lang/Object] "?" java/lang/Object)])
(import: java/util/jar/Attributes$Name
["#::."
- (#static MAIN_CLASS java/util/jar/Attributes$Name)
- (#static MANIFEST_VERSION java/util/jar/Attributes$Name)])
+ ("static" MAIN_CLASS java/util/jar/Attributes$Name)
+ ("static" MANIFEST_VERSION java/util/jar/Attributes$Name)])
(import: java/util/jar/Manifest
["#::."
@@ -100,7 +100,7 @@
(import: java/util/jar/JarOutputStream
["#::."
(new [java/io/OutputStream java/util/jar/Manifest])
- (putNextEntry [java/util/zip/ZipEntry] #try void)])
+ (putNextEntry [java/util/zip/ZipEntry] "try" void)])
(import: java/io/ByteArrayInputStream
["#::."
@@ -113,7 +113,7 @@
(import: java/util/jar/JarInputStream
["#::."
(new [java/io/InputStream])
- (getNextJarEntry [] #try #? java/util/jar/JarEntry)])
+ (getNextJarEntry [] "try" "?" java/util/jar/JarEntry)])
(def: byte
1)
diff --git a/stdlib/source/library/lux/world/console.lux b/stdlib/source/library/lux/world/console.lux
index b3b9813ed..b34096ea5 100644
--- a/stdlib/source/library/lux/world/console.lux
+++ b/stdlib/source/library/lux/world/console.lux
@@ -43,21 +43,21 @@
(import: java/io/Console
["#::."
- (readLine [] #io #try java/lang/String)])
+ (readLine [] "io" "try" java/lang/String)])
(import: java/io/InputStream
["#::."
- (read [] #io #try int)])
+ (read [] "io" "try" int)])
(import: java/io/PrintStream
["#::."
- (print [java/lang/String] #io #try void)])
+ (print [java/lang/String] "io" "try" void)])
(import: java/lang/System
["#::."
- (#static console [] #io #? java/io/Console)
- (#static in java/io/InputStream)
- (#static out java/io/PrintStream)])
+ ("static" console [] "io" "?" java/io/Console)
+ ("static" in java/io/InputStream)
+ ("static" out java/io/PrintStream)])
(template [<name>]
[(exception: .public (<name>)
diff --git a/stdlib/source/library/lux/world/db/jdbc.lux b/stdlib/source/library/lux/world/db/jdbc.lux
index 47701f3b0..67b8d5354 100644
--- a/stdlib/source/library/lux/world/db/jdbc.lux
+++ b/stdlib/source/library/lux/world/db/jdbc.lux
@@ -28,27 +28,27 @@
(import: java/lang/String)
(import: java/sql/ResultSet
- (getRow [] #try int)
- (next [] #try boolean)
- (close [] #io #try void))
+ (getRow [] "try" int)
+ (next [] "try" boolean)
+ (close [] "io" "try" void))
(import: java/sql/Statement
- (#static NO_GENERATED_KEYS int)
- (#static RETURN_GENERATED_KEYS int)
- (getGeneratedKeys [] #try java/sql/ResultSet)
- (close [] #io #try void))
+ ("static" NO_GENERATED_KEYS int)
+ ("static" RETURN_GENERATED_KEYS int)
+ (getGeneratedKeys [] "try" java/sql/ResultSet)
+ (close [] "io" "try" void))
(import: java/sql/PreparedStatement
- (executeUpdate [] #io #try int)
- (executeQuery [] #io #try java/sql/ResultSet))
+ (executeUpdate [] "io" "try" int)
+ (executeQuery [] "io" "try" java/sql/ResultSet))
(import: java/sql/Connection
- (prepareStatement [java/lang/String int] #try java/sql/PreparedStatement)
- (isValid [int] #try boolean)
- (close [] #io #try void))
+ (prepareStatement [java/lang/String int] "try" java/sql/PreparedStatement)
+ (isValid [int] "try" boolean)
+ (close [] "io" "try" void))
(import: java/sql/DriverManager
- (#static getConnection [java/lang/String java/lang/String java/lang/String] #io #try java/sql/Connection))
+ ("static" getConnection [java/lang/String java/lang/String java/lang/String] "io" "try" java/sql/Connection))
(type: .public Credentials
(Record
diff --git a/stdlib/source/library/lux/world/db/jdbc/input.lux b/stdlib/source/library/lux/world/db/jdbc/input.lux
index f108a2fbf..633663bcf 100644
--- a/stdlib/source/library/lux/world/db/jdbc/input.lux
+++ b/stdlib/source/library/lux/world/db/jdbc/input.lux
@@ -23,7 +23,7 @@
(`` (import: java/sql/PreparedStatement
(~~ (template [<name> <type>]
- [(<name> [int <type>] #try void)]
+ [(<name> [int <type>] "try" void)]
[setBoolean boolean]
diff --git a/stdlib/source/library/lux/world/db/jdbc/output.lux b/stdlib/source/library/lux/world/db/jdbc/output.lux
index 59e30845c..dd3e19751 100644
--- a/stdlib/source/library/lux/world/db/jdbc/output.lux
+++ b/stdlib/source/library/lux/world/db/jdbc/output.lux
@@ -25,7 +25,7 @@
(`` (import: java/sql/ResultSet
(~~ (template [<method_name> <return_class>]
- [(<method_name> [int] #try <return_class>)]
+ [(<method_name> [int] "try" <return_class>)]
[getBoolean boolean]
@@ -44,8 +44,8 @@
[getTime java/sql/Time]
[getTimestamp java/sql/Timestamp]
))
- (next [] #try boolean)
- (close [] #io #try void)))
+ (next [] "try" boolean)
+ (close [] "io" "try" void)))
(type: .public (Output a)
(-> [Nat java/sql/ResultSet] (Try [Nat a])))
diff --git a/stdlib/source/library/lux/world/file.lux b/stdlib/source/library/lux/world/file.lux
index f80d00462..6e7a2e1ed 100644
--- a/stdlib/source/library/lux/world/file.lux
+++ b/stdlib/source/library/lux/world/file.lux
@@ -167,41 +167,41 @@
["#::."
(new [java/lang/String])
(~~ (template [<name>]
- [(<name> [] #io #try boolean)]
+ [(<name> [] "io" "try" boolean)]
[createNewFile] [mkdir]
[delete]
[isFile] [isDirectory]
[canRead] [canWrite] [canExecute]))
- (length [] #io #try long)
- (listFiles [] #io #try #? [java/io/File])
- (getAbsolutePath [] #io #try java/lang/String)
- (renameTo [java/io/File] #io #try boolean)
- (lastModified [] #io #try long)
- (setLastModified [long] #io #try boolean)
- (#static separator java/lang/String)]))
+ (length [] "io" "try" long)
+ (listFiles [] "io" "try" "?" [java/io/File])
+ (getAbsolutePath [] "io" "try" java/lang/String)
+ (renameTo [java/io/File] "io" "try" boolean)
+ (lastModified [] "io" "try" long)
+ (setLastModified [long] "io" "try" boolean)
+ ("static" separator java/lang/String)]))
(ffi.import: java/lang/AutoCloseable
["#::."
- (close [] #io #try void)])
+ (close [] "io" "try" void)])
(ffi.import: java/io/OutputStream
["#::."
- (write [[byte]] #io #try void)
- (flush [] #io #try void)])
+ (write [[byte]] "io" "try" void)
+ (flush [] "io" "try" void)])
(ffi.import: java/io/FileOutputStream
["#::."
- (new [java/io/File boolean] #io #try)])
+ (new [java/io/File boolean] "io" "try")])
(ffi.import: java/io/InputStream
["#::."
- (read [[byte]] #io #try int)])
+ (read [[byte]] "io" "try" int)])
(ffi.import: java/io/FileInputStream
["#::."
- (new [java/io/File] #io #try)])
+ (new [java/io/File] "io" "try")])
(`` (implementation: .public default
(System IO)
@@ -302,7 +302,7 @@
@.js
(as_is (ffi.import: Buffer
["#::."
- (#static from [Binary] ..Buffer)])
+ ("static" from [Binary] ..Buffer)])
(ffi.import: FileDescriptor)
@@ -541,35 +541,35 @@
(ffi.import: PyFile
["#::."
- (read [] #io #try Binary)
- (write [Binary] #io #try #? Any)
- (close [] #io #try #? Any)])
+ (read [] "io" "try" Binary)
+ (write [Binary] "io" "try" "?" Any)
+ (close [] "io" "try" "?" Any)])
- (ffi.import: (open [ffi.String ffi.String] #io #try PyFile))
+ (ffi.import: (open [ffi.String ffi.String] "io" "try" PyFile))
(ffi.import: (tuple [[ffi.Integer ffi.Integer]] (Tuple/2 ffi.Integer ffi.Integer)))
(ffi.import: os
["#::."
- (#static F_OK ffi.Integer)
- (#static R_OK ffi.Integer)
- (#static W_OK ffi.Integer)
- (#static X_OK ffi.Integer)
-
- (#static mkdir [ffi.String] #io #try #? Any)
- (#static access [ffi.String ffi.Integer] #io #try ffi.Boolean)
- (#static remove [ffi.String] #io #try #? Any)
- (#static rmdir [ffi.String] #io #try #? Any)
- (#static rename [ffi.String ffi.String] #io #try #? Any)
- (#static utime [ffi.String (Tuple/2 ffi.Integer ffi.Integer)] #io #try #? Any)
- (#static listdir [ffi.String] #io #try (Array ffi.String))])
+ ("static" F_OK ffi.Integer)
+ ("static" R_OK ffi.Integer)
+ ("static" W_OK ffi.Integer)
+ ("static" X_OK ffi.Integer)
+
+ ("static" mkdir [ffi.String] "io" "try" "?" Any)
+ ("static" access [ffi.String ffi.Integer] "io" "try" ffi.Boolean)
+ ("static" remove [ffi.String] "io" "try" "?" Any)
+ ("static" rmdir [ffi.String] "io" "try" "?" Any)
+ ("static" rename [ffi.String ffi.String] "io" "try" "?" Any)
+ ("static" utime [ffi.String (Tuple/2 ffi.Integer ffi.Integer)] "io" "try" "?" Any)
+ ("static" listdir [ffi.String] "io" "try" (Array ffi.String))])
(ffi.import: os/path
["#::."
- (#static isfile [ffi.String] #io #try ffi.Boolean)
- (#static isdir [ffi.String] #io #try ffi.Boolean)
- (#static sep ffi.String)
- (#static getsize [ffi.String] #io #try ffi.Integer)
- (#static getmtime [ffi.String] #io #try ffi.Float)])
+ ("static" isfile [ffi.String] "io" "try" ffi.Boolean)
+ ("static" isdir [ffi.String] "io" "try" ffi.Boolean)
+ ("static" sep ffi.String)
+ ("static" getsize [ffi.String] "io" "try" ffi.Integer)
+ ("static" getmtime [ffi.String] "io" "try" ffi.Float)])
(def: python_separator
(os/path::sep))
@@ -659,7 +659,7 @@
@.ruby
(as_is (ffi.import: Time #as RubyTime
["#::."
- (#static at [Frac] RubyTime)
+ ("static" at [Frac] RubyTime)
(to_f [] Frac)])
(ffi.import: Stat #as RubyStat
@@ -670,31 +670,31 @@
(ffi.import: File #as RubyFile
["#::."
- (#static SEPARATOR ffi.String)
- (#static open [Path ffi.String] #io #try RubyFile)
- (#static stat [Path] #io #try RubyStat)
- (#static delete [Path] #io #try Int)
- (#static file? [Path] #io #try Bit)
- (#static directory? [Path] #io #try Bit)
- (#static utime [RubyTime RubyTime Path] #io #try Int)
-
- (read [] #io #try Binary)
- (write [Binary] #io #try Int)
- (flush [] #io #try #? Any)
- (close [] #io #try #? Any)])
+ ("static" SEPARATOR ffi.String)
+ ("static" open [Path ffi.String] "io" "try" RubyFile)
+ ("static" stat [Path] "io" "try" RubyStat)
+ ("static" delete [Path] "io" "try" Int)
+ ("static" file? [Path] "io" "try" Bit)
+ ("static" directory? [Path] "io" "try" Bit)
+ ("static" utime [RubyTime RubyTime Path] "io" "try" Int)
+
+ (read [] "io" "try" Binary)
+ (write [Binary] "io" "try" Int)
+ (flush [] "io" "try" "?" Any)
+ (close [] "io" "try" "?" Any)])
(ffi.import: Dir #as RubyDir
["#::."
- (#static open [Path] #io #try RubyDir)
+ ("static" open [Path] "io" "try" RubyDir)
- (children [] #io #try (Array Path))
- (close [] #io #try #? Any)])
+ (children [] "io" "try" (Array Path))
+ (close [] "io" "try" "?" Any)])
(ffi.import: "fileutils" FileUtils #as RubyFileUtils
["#::."
- (#static move [Path Path] #io #try #? Any)
- (#static rmdir [Path] #io #try #? Any)
- (#static mkdir [Path] #io #try #? Any)])
+ ("static" move [Path Path] "io" "try" "?" Any)
+ ("static" rmdir [Path] "io" "try" "?" Any)
+ ("static" mkdir [Path] "io" "try" "?" Any)])
(def: ruby_separator
Text
@@ -812,26 +812,26 @@
... (ffi.import: (unpack [ffi.String ffi.String] Binary))
... ... https://www.php.net/manual/en/ref.filesystem.php
... ... https://www.php.net/manual/en/function.file-get-contents.php
- ... (ffi.import: (file_get_contents [Path] #io #try ffi.String))
+ ... (ffi.import: (file_get_contents [Path] "io" "try" ffi.String))
... ... https://www.php.net/manual/en/function.file-put-contents.php
- ... (ffi.import: (file_put_contents [Path ffi.String Int] #io #try ffi.Integer))
- ... (ffi.import: (filemtime [Path] #io #try ffi.Integer))
- ... (ffi.import: (filesize [Path] #io #try ffi.Integer))
- ... (ffi.import: (is_executable [Path] #io #try ffi.Boolean))
- ... (ffi.import: (touch [Path ffi.Integer] #io #try ffi.Boolean))
- ... (ffi.import: (rename [Path Path] #io #try ffi.Boolean))
- ... (ffi.import: (unlink [Path] #io #try ffi.Boolean))
+ ... (ffi.import: (file_put_contents [Path ffi.String Int] "io" "try" ffi.Integer))
+ ... (ffi.import: (filemtime [Path] "io" "try" ffi.Integer))
+ ... (ffi.import: (filesize [Path] "io" "try" ffi.Integer))
+ ... (ffi.import: (is_executable [Path] "io" "try" ffi.Boolean))
+ ... (ffi.import: (touch [Path ffi.Integer] "io" "try" ffi.Boolean))
+ ... (ffi.import: (rename [Path Path] "io" "try" ffi.Boolean))
+ ... (ffi.import: (unlink [Path] "io" "try" ffi.Boolean))
... ... https://www.php.net/manual/en/function.rmdir.php
- ... (ffi.import: (rmdir [Path] #io #try ffi.Boolean))
+ ... (ffi.import: (rmdir [Path] "io" "try" ffi.Boolean))
... ... https://www.php.net/manual/en/function.scandir.php
- ... (ffi.import: (scandir [Path] #io #try (Array Path)))
+ ... (ffi.import: (scandir [Path] "io" "try" (Array Path)))
... ... https://www.php.net/manual/en/function.is-file.php
- ... (ffi.import: (is_file [Path] #io #try ffi.Boolean))
+ ... (ffi.import: (is_file [Path] "io" "try" ffi.Boolean))
... ... https://www.php.net/manual/en/function.is-dir.php
- ... (ffi.import: (is_dir [Path] #io #try ffi.Boolean))
+ ... (ffi.import: (is_dir [Path] "io" "try" ffi.Boolean))
... ... https://www.php.net/manual/en/function.mkdir.php
- ... (ffi.import: (mkdir [Path] #io #try ffi.Boolean))
+ ... (ffi.import: (mkdir [Path] "io" "try" ffi.Boolean))
... (def: byte_array_format "C*")
... (def: default_separator (..DIRECTORY_SEPARATOR))
diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux
index e5998a925..cb316fbd4 100644
--- a/stdlib/source/library/lux/world/file/watch.lux
+++ b/stdlib/source/library/lux/world/file/watch.lux
@@ -294,14 +294,14 @@
(import: java/nio/file/Path
["#::."
- (register [java/nio/file/WatchService [(java/nio/file/WatchEvent$Kind [? < java/lang/Object])]] #io #try java/nio/file/WatchKey)
+ (register [java/nio/file/WatchService [(java/nio/file/WatchEvent$Kind [? < java/lang/Object])]] "io" "try" java/nio/file/WatchKey)
(toString [] java/lang/String)])
(import: java/nio/file/StandardWatchEventKinds
["#::."
- (#static ENTRY_CREATE (java/nio/file/WatchEvent$Kind java/nio/file/Path))
- (#static ENTRY_MODIFY (java/nio/file/WatchEvent$Kind java/nio/file/Path))
- (#static ENTRY_DELETE (java/nio/file/WatchEvent$Kind java/nio/file/Path))])
+ ("static" ENTRY_CREATE (java/nio/file/WatchEvent$Kind java/nio/file/Path))
+ ("static" ENTRY_MODIFY (java/nio/file/WatchEvent$Kind java/nio/file/Path))
+ ("static" ENTRY_DELETE (java/nio/file/WatchEvent$Kind java/nio/file/Path))])
(def: (default_event_concern event)
(All (_ a)
@@ -326,10 +326,10 @@
(import: java/nio/file/WatchKey
["#::."
- (reset [] #io boolean)
- (cancel [] #io void)
+ (reset [] "io" boolean)
+ (cancel [] "io" void)
(watchable [] java/nio/file/Watchable)
- (pollEvents [] #io (java/util/List (java/nio/file/WatchEvent ?)))])
+ (pollEvents [] "io" (java/util/List (java/nio/file/WatchEvent ?)))])
(def: default_key_concern
(-> java/nio/file/WatchKey (IO Concern))
@@ -340,15 +340,15 @@
(import: java/nio/file/WatchService
["#::."
- (poll [] #io #try #? java/nio/file/WatchKey)])
+ (poll [] "io" "try" "?" java/nio/file/WatchKey)])
(import: java/nio/file/FileSystem
["#::."
- (newWatchService [] #io #try java/nio/file/WatchService)])
+ (newWatchService [] "io" "try" java/nio/file/WatchService)])
(import: java/nio/file/FileSystems
["#::."
- (#static getDefault [] java/nio/file/FileSystem)])
+ ("static" getDefault [] java/nio/file/FileSystem)])
(import: java/io/File
["#::."
diff --git a/stdlib/source/library/lux/world/net/http/client.lux b/stdlib/source/library/lux/world/net/http/client.lux
index 72130914c..0292ab79b 100644
--- a/stdlib/source/library/lux/world/net/http/client.lux
+++ b/stdlib/source/library/lux/world/net/http/client.lux
@@ -73,38 +73,38 @@
(ffi.import: java/lang/AutoCloseable
["#::."
- (close [] #io #try void)])
+ (close [] "io" "try" void)])
(ffi.import: java/io/InputStream)
(ffi.import: java/io/OutputStream
["#::."
- (flush [] #io #try void)
- (write [[byte]] #io #try void)])
+ (flush [] "io" "try" void)
+ (write [[byte]] "io" "try" void)])
(ffi.import: java/net/URLConnection
["#::."
- (setDoOutput [boolean] #io #try void)
- (setRequestProperty [java/lang/String java/lang/String] #io #try void)
- (getInputStream [] #io #try java/io/InputStream)
- (getOutputStream [] #io #try java/io/OutputStream)
- (getHeaderFieldKey [int] #io #try #? java/lang/String)
- (getHeaderField [int] #io #try #? java/lang/String)])
+ (setDoOutput [boolean] "io" "try" void)
+ (setRequestProperty [java/lang/String java/lang/String] "io" "try" void)
+ (getInputStream [] "io" "try" java/io/InputStream)
+ (getOutputStream [] "io" "try" java/io/OutputStream)
+ (getHeaderFieldKey [int] "io" "try" "?" java/lang/String)
+ (getHeaderField [int] "io" "try" "?" java/lang/String)])
(ffi.import: java/net/HttpURLConnection
["#::."
- (setRequestMethod [java/lang/String] #io #try void)
- (getResponseCode [] #io #try int)])
+ (setRequestMethod [java/lang/String] "io" "try" void)
+ (getResponseCode [] "io" "try" int)])
(ffi.import: java/net/URL
["#::."
(new [java/lang/String])
- (openConnection [] #io #try java/net/URLConnection)])
+ (openConnection [] "io" "try" java/net/URLConnection)])
(ffi.import: java/io/BufferedInputStream
["#::."
(new [java/io/InputStream])
- (read [[byte] int int] #io #try int)])
+ (read [[byte] int int] "io" "try" int)])
(def: jvm_method
(-> //.Method Text)
diff --git a/stdlib/source/library/lux/world/program.lux b/stdlib/source/library/lux/world/program.lux
index 98a642fcf..9b0733ec5 100644
--- a/stdlib/source/library/lux/world/program.lux
+++ b/stdlib/source/library/lux/world/program.lux
@@ -129,10 +129,10 @@
(import: java/lang/System
["#::."
- (#static getenv [] (java/util/Map java/lang/String java/lang/String))
- (#static getenv #as resolveEnv [java/lang/String] #io #? java/lang/String)
- (#static getProperty [java/lang/String] #? java/lang/String)
- (#static exit [int] #io void)])
+ ("static" getenv [] (java/util/Map java/lang/String java/lang/String))
+ ("static" getenv #as resolveEnv [java/lang/String] "io" "?" java/lang/String)
+ ("static" getProperty [java/lang/String] "?" java/lang/String)
+ ("static" exit [int] "io" void)])
(def: (jvm\\consume iterator)
(All (_ a) (-> (java/util/Iterator a) (List a)))
@@ -149,8 +149,8 @@
(import: NodeJs_Process
["#::."
- (exit [ffi.Number] #io Nothing)
- (cwd [] #io Path)])
+ (exit [ffi.Number] "io" Nothing)
+ (cwd [] "io" Path)])
(def: (exit_node_js! code)
(-> Exit (IO Nothing))
@@ -194,11 +194,11 @@
(import: Object
["#::."
- (#static entries [Object] (Array (Array ffi.String)))])
+ ("static" entries [Object] (Array (Array ffi.String)))])
(import: NodeJs_OS
["#::."
- (homedir [] #io Path)])
+ (homedir [] "io" Path)])
(template [<name> <path>]
[(def: (<name> _)
@@ -222,25 +222,25 @@
(undefined))))
@.python (as_is (import: os
["#::."
- (#static getcwd [] #io ffi.String)
- (#static _exit [ffi.Integer] #io Nothing)])
+ ("static" getcwd [] "io" ffi.String)
+ ("static" _exit [ffi.Integer] "io" Nothing)])
(import: os/path
["#::."
- (#static expanduser [ffi.String] #io ffi.String)])
+ ("static" expanduser [ffi.String] "io" ffi.String)])
(import: os/environ
["#::."
- (#static keys [] #io (Array ffi.String))
- (#static get [ffi.String] #io #? ffi.String)]))
+ ("static" keys [] "io" (Array ffi.String))
+ ("static" get [ffi.String] "io" "?" ffi.String)]))
@.lua (as_is (ffi.import: LuaFile
["#::."
- (read [ffi.String] #io #? ffi.String)
- (close [] #io ffi.Boolean)])
+ (read [ffi.String] "io" "?" ffi.String)
+ (close [] "io" ffi.Boolean)])
- (ffi.import: (io/popen [ffi.String] #io #try #? LuaFile))
- (ffi.import: (os/getenv [ffi.String] #io #? ffi.String))
- (ffi.import: (os/exit [ffi.Integer] #io Nothing))
+ (ffi.import: (io/popen [ffi.String] "io" "try" "?" LuaFile))
+ (ffi.import: (os/getenv [ffi.String] "io" "?" ffi.String))
+ (ffi.import: (os/exit [ffi.Integer] "io" Nothing))
(def: (run_command default command)
(-> Text Text (IO Text))
@@ -262,39 +262,39 @@
(in default)))))
@.ruby (as_is (ffi.import: Env #as RubyEnv
["#::."
- (#static keys [] (Array Text))
- (#static fetch [Text] #io #? Text)])
+ ("static" keys [] (Array Text))
+ ("static" fetch [Text] "io" "?" Text)])
(ffi.import: "fileutils" FileUtils #as RubyFileUtils
["#::."
- (#static pwd Path)])
+ ("static" pwd Path)])
(ffi.import: Dir #as RubyDir
["#::."
- (#static home Path)])
+ ("static" home Path)])
(ffi.import: Kernel #as RubyKernel
["#::."
- (#static exit [Int] #io Nothing)]))
+ ("static" exit [Int] "io" Nothing)]))
... @.php
- ... (as_is (ffi.import: (exit [Int] #io Nothing))
+ ... (as_is (ffi.import: (exit [Int] "io" Nothing))
... ... https://www.php.net/manual/en/function.exit.php
- ... (ffi.import: (getcwd [] #io ffi.String))
+ ... (ffi.import: (getcwd [] "io" ffi.String))
... ... https://www.php.net/manual/en/function.getcwd.php
- ... (ffi.import: (getenv #as getenv/1 [ffi.String] #io ffi.String))
- ... (ffi.import: (getenv #as getenv/0 [] #io (Array ffi.String)))
+ ... (ffi.import: (getenv #as getenv/1 [ffi.String] "io" ffi.String))
+ ... (ffi.import: (getenv #as getenv/0 [] "io" (Array ffi.String)))
... ... https://www.php.net/manual/en/function.getenv.php
... ... https://www.php.net/manual/en/function.array-keys.php
... (ffi.import: (array_keys [(Array ffi.String)] (Array ffi.String)))
... )
... @.scheme
- ... (as_is (ffi.import: (exit [Int] #io Nothing))
+ ... (as_is (ffi.import: (exit [Int] "io" Nothing))
... ... https://srfi.schemers.org/srfi-98/srfi-98.html
... (abstract: Pair Any)
... (abstract: PList Any)
- ... (ffi.import: (get-environment-variables [] #io PList))
+ ... (ffi.import: (get-environment-variables [] "io" PList))
... (ffi.import: (car [Pair] Text))
... (ffi.import: (cdr [Pair] Text))
... (ffi.import: (car #as head [PList] Pair))
diff --git a/stdlib/source/library/lux/world/shell.lux b/stdlib/source/library/lux/world/shell.lux
index e04977d5e..216b2c856 100644
--- a/stdlib/source/library/lux/world/shell.lux
+++ b/stdlib/source/library/lux/world/shell.lux
@@ -203,12 +203,12 @@
(import: java/io/Reader
["#::."
- (read [] #io #try int)])
+ (read [] "io" "try" int)])
(import: java/io/BufferedReader
["#::."
(new [java/io/Reader])
- (readLine [] #io #try #? java/lang/String)])
+ (readLine [] "io" "try" "?" java/lang/String)])
(import: java/io/InputStream)
@@ -218,15 +218,15 @@
(import: java/io/OutputStream
["#::."
- (write [[byte]] #io #try void)])
+ (write [[byte]] "io" "try" void)])
(import: java/lang/Process
["#::."
- (getInputStream [] #io #try java/io/InputStream)
- (getErrorStream [] #io #try java/io/InputStream)
- (getOutputStream [] #io #try java/io/OutputStream)
- (destroy [] #io #try void)
- (waitFor [] #io #try int)])
+ (getInputStream [] "io" "try" java/io/InputStream)
+ (getErrorStream [] "io" "try" java/io/InputStream)
+ (getOutputStream [] "io" "try" java/io/OutputStream)
+ (destroy [] "io" "try" void)
+ (waitFor [] "io" "try" int)])
(exception: .public no_more_output)
@@ -275,13 +275,13 @@
(import: java/lang/ProcessBuilder
["#::."
(new [[java/lang/String]])
- (environment [] #try (java/util/Map java/lang/String java/lang/String))
+ (environment [] "try" (java/util/Map java/lang/String java/lang/String))
(directory [java/io/File] java/lang/ProcessBuilder)
- (start [] #io #try java/lang/Process)])
+ (start [] "io" "try" java/lang/Process)])
(import: java/lang/System
["#::."
- (#static getProperty [java/lang/String] #io #try java/lang/String)])
+ ("static" getProperty [java/lang/String] "io" "try" java/lang/String)])
... https://en.wikipedia.org/wiki/Code_injection#Shell_injection
(def: windows?
diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux
index 421fd7086..bcda2401b 100644
--- a/stdlib/source/program/aedifex/command/build.lux
+++ b/stdlib/source/program/aedifex/command/build.lux
@@ -227,7 +227,7 @@
(import: java/lang/System
["#::."
- (#static getProperty [java/lang/String] #io #try java/lang/String)])
+ ("static" getProperty [java/lang/String] "io" "try" java/lang/String)])
(def: windows?
Bit
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index 403fdb677..d0dde1c65 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -28,7 +28,7 @@
(import: java/security/MessageDigest
["#::."
- (#static getInstance [java/lang/String] java/security/MessageDigest)
+ ("static" getInstance [java/lang/String] java/security/MessageDigest)
(digest [[byte]] [byte])])
(abstract: .public SHA-1 {} Any)
diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux
index 533b4fb4e..59d0fdcba 100644
--- a/stdlib/source/program/aedifex/repository/identity.lux
+++ b/stdlib/source/program/aedifex/repository/identity.lux
@@ -35,7 +35,7 @@
(import: java/util/Base64
["#::."
- (#static getEncoder [] java/util/Base64$Encoder)])
+ ("static" getEncoder [] java/util/Base64$Encoder)])
(def: .public (basic_auth user password)
(-> User Password Text)
diff --git a/stdlib/source/test/lux/documentation.lux b/stdlib/source/test/lux/documentation.lux
index b35ff1fb7..3e75d2454 100644
--- a/stdlib/source/test/lux/documentation.lux
+++ b/stdlib/source/test/lux/documentation.lux
@@ -22,12 +22,12 @@
(syntax: (macro_error [macro <code>.any])
(function (_ compiler)
- (case ((macro.expansion macro) compiler)
- (#try.Failure error)
- (#try.Success [compiler (list (code.text error))])
-
- (#try.Success _)
- (#try.Failure "OOPS!"))))
+ (#try.Success [compiler (list (code.bit (case ((macro.expansion macro) compiler)
+ (#try.Failure error)
+ true
+
+ (#try.Success _)
+ false)))])))
(syntax: (description [])
(\ meta.monad each
@@ -38,7 +38,7 @@
(with_expansions ['definition_description' (..description)
'sub_description' (..description)
'super_description' (..description)]
- (as_is (def: g!default
+ (as_is (def: .public g!default
Nat
123)
@@ -106,10 +106,8 @@
))
(_.cover [/.unqualified_identifier]
(`` (and (~~ (template [<example>]
- [(<| (text.contains? (value@ #exception.label /.unqualified_identifier))
- macro_error
- <example>)]
-
+ [(macro_error <example>)]
+
[(/.default g!default)]
[(/.documentation: g!default
(~~ (template.text ['definition_description'])))]
diff --git a/stdlib/source/test/lux/ffi.js.lux b/stdlib/source/test/lux/ffi.js.lux
index 7a3a1b3b1..2d3de761e 100644
--- a/stdlib/source/test/lux/ffi.js.lux
+++ b/stdlib/source/test/lux/ffi.js.lux
@@ -28,7 +28,7 @@
... On Node
(/.import: Buffer
["#::."
- (#static from [/.String /.String] Buffer)
+ ("static" from [/.String /.String] Buffer)
(toString [/.String] /.String)])
... On the browser
diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux
index e130626de..97ecdb7a4 100644
--- a/stdlib/source/test/lux/ffi.jvm.lux
+++ b/stdlib/source/test/lux/ffi.jvm.lux
@@ -235,7 +235,7 @@
(/.import: test/TestInterface1
["#::."
- (actual1 [java/lang/Boolean] #try java/lang/Long)])
+ (actual1 [java/lang/Boolean] "try" java/lang/Long)])
(/.interface: test/TestInterface2
([a] actual2 [a] a))
@@ -418,13 +418,13 @@
(#public [] (new self) []
[])
... Methods
- (#public #static (actual5 {value java/lang/Long})
+ (#public "static" (actual5 {value java/lang/Long})
java/lang/Long
value))
(/.import: test/TestClass5
["#::."
- (#static actual5 [java/lang/Long] java/lang/Long)])
+ ("static" actual5 [java/lang/Long] java/lang/Long)])
(/.class: #abstract test/TestClass6 []
... Constructors
diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux
index 9f78a75b4..7db49a416 100644
--- a/stdlib/source/test/lux/ffi.lua.lux
+++ b/stdlib/source/test/lux/ffi.lua.lux
@@ -11,7 +11,7 @@
[\\library
["." /]])
-(/.import: (os/getenv [/.String] #io #? /.String))
+(/.import: (os/getenv [/.String] "io" "?" /.String))
(def: .public test
Test
diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux
index 2e5e89d5e..42a80a7ec 100644
--- a/stdlib/source/test/lux/ffi.py.lux
+++ b/stdlib/source/test/lux/ffi.py.lux
@@ -13,8 +13,8 @@
(/.import: os
["#::."
- (#static R_OK /.Integer)
- (#static W_OK /.Integer)])
+ ("static" R_OK /.Integer)
+ ("static" W_OK /.Integer)])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/ffi.rb.lux b/stdlib/source/test/lux/ffi.rb.lux
index 6e10fcce1..b9a302b50 100644
--- a/stdlib/source/test/lux/ffi.rb.lux
+++ b/stdlib/source/test/lux/ffi.rb.lux
@@ -11,7 +11,7 @@
(/.import: File
["#::."
- (#static SEPARATOR /.String)])
+ ("static" SEPARATOR /.String)])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/math/infix.lux b/stdlib/source/test/lux/math/infix.lux
index 9c8298346..f9f9475a9 100644
--- a/stdlib/source/test/lux/math/infix.lux
+++ b/stdlib/source/test/lux/math/infix.lux
@@ -47,18 +47,11 @@
non_numeric!
(bit\= (and (n.< parameter subject) (n.< extra parameter))
- (/.infix [[subject n.< parameter] and [parameter n.< extra]]))
-
- and_composition!
- (and (bit\= (and (n.< parameter subject) (n.< extra parameter))
- (/.infix [#and subject n.< parameter n.< extra]))
- (bit\= (and (n.< parameter subject) (n.> extra parameter))
- (/.infix [#and subject n.< parameter n.> extra])))]
+ (/.infix [[subject n.< parameter] and [parameter n.< extra]]))]
(and constant_values!
unary_functions!
binary_functions!
multiple_binary_functions!
function_call!
non_numeric!
- and_composition!
))))))
diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux
index cb8d4abaa..09993f033 100644
--- a/stdlib/source/test/lux/math/number/frac.lux
+++ b/stdlib/source/test/lux/math/number/frac.lux
@@ -120,8 +120,8 @@
(with_expansions [<jvm> (as_is (ffi.import: java/lang/Double
["#::."
- (#static doubleToRawLongBits [double] long)
- (#static longBitsToDouble [long] double)]))]
+ ("static" doubleToRawLongBits [double] long)
+ ("static" longBitsToDouble [long] double)]))]
(for {@.old (as_is <jvm>)
@.jvm (as_is <jvm>)}
(as_is)))
diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux
index 6dd299f2c..2a9161c8c 100644
--- a/stdlib/source/test/lux/target/jvm.lux
+++ b/stdlib/source/test/lux/target/jvm.lux
@@ -67,13 +67,13 @@
(import: java/lang/Float)
(import: java/lang/Double
["#::."
- (#static compare [double double] int)])
+ ("static" compare [double double] int)])
(import: java/lang/Character)
(import: java/lang/String)
(import: java/lang/reflect/Method
["#::."
- (invoke [java/lang/Object [java/lang/Object]] #try java/lang/Object)])
+ (invoke [java/lang/Object [java/lang/Object]] "try" java/lang/Object)])
(import: (java/lang/Class c)
["#::."