aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/world/file/watch.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/world/file/watch.lux')
-rw-r--r--stdlib/source/library/lux/world/file/watch.lux20
1 files changed, 10 insertions, 10 deletions
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
["#::."