diff options
| author | Eduardo Julian | 2021-09-03 21:51:30 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-03 21:51:30 -0400 |
| commit | 891b1cfc82322f8017f0a4f6b707d6fe52024545 (patch) | |
| tree | 957429c0a2ad850b3570492deabe054fb2ace63e /stdlib/source/program/aedifex/runtime.lux | |
| parent | e76add6e6f904677f5c09bb2a66dce283f1b848a (diff) | |
Unified tuple and record syntax.
Diffstat (limited to 'stdlib/source/program/aedifex/runtime.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/runtime.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/program/aedifex/runtime.lux b/stdlib/source/program/aedifex/runtime.lux index bdf81da78..b5a9a78e0 100644 --- a/stdlib/source/program/aedifex/runtime.lux +++ b/stdlib/source/program/aedifex/runtime.lux @@ -16,8 +16,8 @@ (type: .public Runtime (Record - {#program Text - #parameters (List Text)})) + [#program Text + #parameters (List Text)])) (def: .public equivalence (Equivalence Runtime) @@ -28,8 +28,8 @@ (template [<name> <command> <parameters>] [(def: .public <name> Runtime - {#program <command> - #parameters (`` (list (~~ (template.spliced <parameters>))))})] + [#program <command> + #parameters (`` (list (~~ (template.spliced <parameters>))))])] [default_java "java" ["-jar"]] [default_js "node" ["--stack_size=8192"]] |