diff options
author | Eduardo Julian | 2017-09-08 19:19:22 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-09-08 19:19:22 -0400 |
commit | 06713336cdfd09db3eba26eda2c04db05bcd71e4 (patch) | |
tree | f775c46fd273c523e633e20386c332b925fe39e3 /new-luxc/source/luxc/io.jvm.lux | |
parent | 2697c570707ffa379225b6112b09fdec654eb0c8 (diff) |
- Re-named "jvm-import" to "import".
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/io.jvm.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/new-luxc/source/luxc/io.jvm.lux b/new-luxc/source/luxc/io.jvm.lux index cb37c69a9..e8f403d6d 100644 --- a/new-luxc/source/luxc/io.jvm.lux +++ b/new-luxc/source/luxc/io.jvm.lux @@ -7,20 +7,20 @@ [text "T/" Eq<Text>] text/format) [macro] - host) + [host]) (luxc ["&" base])) -(jvm-import java.io.File +(host;import java.io.File (new [String String]) (exists [] #io #try boolean)) -(jvm-import java.io.Reader +(host;import java.io.Reader (close [] #io #try void)) -(jvm-import java.io.FileReader +(host;import java.io.FileReader (new [File])) -(jvm-import java.io.BufferedReader +(host;import java.io.BufferedReader (new [Reader]) (readLine [] #io #try #? String)) |