diff options
| author | Eduardo Julian | 2021-07-15 00:45:15 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-15 00:45:15 -0400 |
| commit | 0abd5bd3c0e38e352e9ba38268e04e1c858ab01e (patch) | |
| tree | fe0af9e70413e9fc4f3848e0642920fca501c626 /stdlib/source/library | |
| parent | 89ca40f2f101b2b38187eab5cf905371cd47eb57 (diff) | |
Re-named "spec" hierarchy to "specification".
Diffstat (limited to 'stdlib/source/library')
| -rw-r--r-- | stdlib/source/library/lux/ffi.lua.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/library/lux/math.lux | 3 | ||||
| -rw-r--r-- | stdlib/source/library/lux/world/console.lux | 16 |
3 files changed, 12 insertions, 9 deletions
diff --git a/stdlib/source/library/lux/ffi.lua.lux b/stdlib/source/library/lux/ffi.lua.lux index 0099865f5..bb224c575 100644 --- a/stdlib/source/library/lux/ffi.lua.lux +++ b/stdlib/source/library/lux/ffi.lua.lux @@ -27,7 +27,7 @@ (template [<name>] [(with_expansions [<brand> (template.identifier [<name> "'"])] - (abstract: #export <brand> Any) + (abstract: <brand> Any) (type: #export <name> (..Object <brand>)))] diff --git a/stdlib/source/library/lux/math.lux b/stdlib/source/library/lux/math.lux index 0070bcfa3..65c3c01d0 100644 --- a/stdlib/source/library/lux/math.lux +++ b/stdlib/source/library/lux/math.lux @@ -36,6 +36,9 @@ [ceil "jvm invokestatic:java.lang.Math:ceil:double"] [floor "jvm invokestatic:java.lang.Math:floor:double"] + + [root/2 "jvm invokestatic:java.lang.Math:sqrt:double"] + [root/3 "jvm invokestatic:java.lang.Math:cbrt:double"] ) (def: #export (pow param subject) (-> Frac Frac Frac) diff --git a/stdlib/source/library/lux/world/console.lux b/stdlib/source/library/lux/world/console.lux index 41652fdd7..5020554a1 100644 --- a/stdlib/source/library/lux/world/console.lux +++ b/stdlib/source/library/lux/world/console.lux @@ -16,14 +16,6 @@ ["." text (#+ Char) ["%" format (#+ format)]]]]]) -(template [<name>] - [(exception: #export (<name>) - "")] - - [cannot_open] - [cannot_close] - ) - (interface: #export (Console !) (: (-> [] (! (Try Char))) read) @@ -66,6 +58,14 @@ (#static in java/io/InputStream) (#static out java/io/PrintStream)]) + (template [<name>] + [(exception: #export (<name>) + "")] + + [cannot_open] + [cannot_close] + ) + (def: #export default (IO (Try (Console IO))) (do io.monad |