aboutsummaryrefslogtreecommitdiff
path: root/lux-php/source/program.lux
diff options
context:
space:
mode:
Diffstat (limited to 'lux-php/source/program.lux')
-rw-r--r--lux-php/source/program.lux96
1 files changed, 48 insertions, 48 deletions
diff --git a/lux-php/source/program.lux b/lux-php/source/program.lux
index 9421b6f9c..5fdcc3600 100644
--- a/lux-php/source/program.lux
+++ b/lux-php/source/program.lux
@@ -185,37 +185,37 @@
(<| (if (ffi.null? value)
(php/runtime/memory/NullMemory::INSTANCE))
(case (ffi.check java/lang/Boolean value)
- {#.Some value}
+ {.#Some value}
(if (:as Bit value)
(php/runtime/memory/TrueMemory::INSTANCE)
(php/runtime/memory/FalseMemory::INSTANCE))
- #.None)
+ {.#None})
(case (ffi.check java/lang/Long value)
- {#.Some value}
+ {.#Some value}
(php/runtime/memory/LongMemory::new value)
- #.None)
+ {.#None})
(case (ffi.check java/lang/Double value)
- {#.Some value}
+ {.#Some value}
(php/runtime/memory/DoubleMemory::new value)
- #.None)
+ {.#None})
(case (ffi.check java/lang/String value)
- {#.Some value}
+ {.#Some value}
(php/runtime/memory/StringMemory::new value)
- #.None)
+ {.#None})
(case (ffi.check [java/lang/Object] value)
- {#.Some value}
+ {.#Some value}
(lux_structure (:as (Array java/lang/Object) value))
- #.None)
+ {.#None})
(case (ffi.check php/runtime/memory/ObjectMemory value)
- {#.Some value}
+ {.#Some value}
value
- #.None)
+ {.#None})
(undefined)
))
@@ -243,10 +243,10 @@
php/runtime/Memory
(`` (<| (~~ (template [<class> <method> <extractor>]
[(case (ffi.check <class> index)
- {#.Some index}
+ {.#Some index}
(<method> trace (<extractor> index) self)
- #.None)]
+ {.#None})]
[php/runtime/memory/ReferenceMemory
php/runtime/Memory::generic_valueOfIndex
@@ -283,10 +283,10 @@
(^ (static runtime.variant_flag_field))
(case (array.read! 1 value)
- #.None
+ {.#None}
(php/runtime/memory/NullMemory::INSTANCE)
- {#.Some value}
+ {.#Some value}
..unit)
(^ (static runtime.variant_value_field))
@@ -317,17 +317,17 @@
(:as php/runtime/memory/ReferenceMemory)
php/runtime/memory/ReferenceMemory::getValue)]
(case (ffi.check php/runtime/memory/NullMemory value)
- {#.Some _}
+ {.#Some _}
(recur (++ idx) output)
- #.None
+ {.#None}
(case (read value)
- {#try.Success lux_value}
+ {try.#Success lux_value}
(recur (++ idx) (array.write! idx lux_value output))
error
error)))
- {#try.Success output}))))
+ {try.#Success output}))))
(def: variant_tag_field
(php/runtime/memory/StringMemory::new runtime.variant_tag_field))
@@ -348,8 +348,8 @@
(php/runtime/memory/ArrayMemory::get ..variant_value_field)
maybe.trusted
read)]
- [{#try.Success tag} {#try.Success value}]
- {#try.Success [(java/lang/Long::intValue (:as java/lang/Long tag))
+ [{try.#Success tag} {try.#Success value}]
+ {try.#Success [(java/lang/Long::intValue (:as java/lang/Long tag))
(: Any
(case (|> host_object
(php/runtime/memory/ArrayMemory::get ..variant_flag_field)
@@ -357,10 +357,10 @@
(:as php/runtime/memory/ReferenceMemory)
php/runtime/memory/ReferenceMemory::getValue
(ffi.check php/runtime/memory/NullMemory))
- {#.Some _}
+ {.#Some _}
(ffi.null)
- #.None
+ {.#None}
synthesis.unit))
value]}
@@ -376,37 +376,37 @@
Reader
(`` (<| (~~ (template [<class> <constant>]
[(case (ffi.check <class> host_object)
- {#.Some _}
- {#try.Success <constant>}
+ {.#Some _}
+ {try.#Success <constant>}
- #.None)]
+ {.#None})]
[php/runtime/memory/FalseMemory false]
[php/runtime/memory/TrueMemory true]
))
(~~ (template [<class> <post>]
[(case (ffi.check <class> host_object)
- {#.Some value}
+ {.#Some value}
(`` (|> value (~~ (template.splice <post>))))
- #.None)]
+ {.#None})]
- [program/StructureValue [program/StructureValue::getValue #try.Success]]
- [php/runtime/memory/LongMemory [php/runtime/memory/LongMemory::toLong #try.Success]]
- [php/runtime/memory/DoubleMemory [php/runtime/memory/DoubleMemory::toDouble #try.Success]]
- [php/runtime/memory/StringMemory [php/runtime/memory/StringMemory::toString #try.Success]]
+ [program/StructureValue [program/StructureValue::getValue {try.#Success}]]
+ [php/runtime/memory/LongMemory [php/runtime/memory/LongMemory::toLong {try.#Success}]]
+ [php/runtime/memory/DoubleMemory [php/runtime/memory/DoubleMemory::toDouble {try.#Success}]]
+ [php/runtime/memory/StringMemory [php/runtime/memory/StringMemory::toString {try.#Success}]]
[php/runtime/memory/ReferenceMemory [php/runtime/memory/ReferenceMemory::getValue read]]
- [php/runtime/memory/ObjectMemory [#try.Success]]
+ [php/runtime/memory/ObjectMemory [{try.#Success}]]
))
(case (ffi.check php/runtime/memory/ArrayMemory host_object)
- {#.Some value}
+ {.#Some value}
(if (|> value
(php/runtime/memory/ArrayMemory::get ..tuple_size_field)
- (case> {#.Some _} false #.None true))
+ (case> {.#Some _} false {.#None} true))
(read_variant read value)
(read_tuple read value))
- #.None)
+ {.#None})
(exception.throw ..unknown_kind_of_object host_object)
)))
@@ -457,10 +457,10 @@
(def: (expander macro inputs lux)
Expander
(case (ensure_macro macro)
- {#.Some macro}
+ {.#Some macro}
(call_macro inputs lux macro)
- #.None
+ {.#None}
(exception.throw ..cannot_apply_a_non_function (:as java/lang/Object macro))))
(def: host
@@ -501,11 +501,11 @@
(IO (Platform [Nat _.Label] _.Expression _.Statement))
(do io.monad
[host ..host]
- (wrap [#platform.&file_system (file.async file.default)
- #platform.host host
- #platform.phase php.generate
- #platform.runtime runtime.generate
- #platform.write (|>> _.code (\ utf8.codec encoded))])))
+ (wrap [platform.#&file_system (file.async file.default)
+ platform.#host host
+ platform.#phase php.generate
+ platform.#runtime runtime.generate
+ platform.#write (|>> _.code (\ utf8.codec encoded))])))
(def: (program context program)
(Program _.Expression _.Statement)
@@ -558,10 +558,10 @@
(do io.monad
[platform ..platform]
(exec (do promise.monad
- [_ (/.compiler [#/static.host @.php
- #/static.host_module_extension extension
- #/static.target (/cli.target service)
- #/static.artifact_extension extension]
+ [_ (/.compiler [/static.#host @.php
+ /static.#host_module_extension extension
+ /static.#target (/cli.target service)
+ /static.#artifact_extension extension]
..expander
analysis.bundle
(io.io platform)