diff options
author | Eduardo Julian | 2022-01-07 03:15:45 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-01-07 03:15:45 -0400 |
commit | 8665dee72f0e2be39ef1c2d15f733bb7b30b6a73 (patch) | |
tree | 9f2c52d9f0ff41ef3f9385e678f0c74d1bfdf216 /stdlib/source/library/lux/tool/compiler/meta | |
parent | d0f33f630aedb67d2888e32ceb7bc237839b274e (diff) |
Fixes for the pure-Lux JVM compiler machinery. [Part 3]
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler/meta')
-rw-r--r-- | stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux | 56 |
1 files changed, 30 insertions, 26 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux index fe078baa2..533ed6cb0 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux @@ -1,24 +1,24 @@ (.using - [library - [lux "*" - [abstract - [equivalence {"+" Equivalence}]] - [control - ["<>" parser - ["<b>" binary {"+" Parser}]]] - [data - ["[0]" product] - ["[0]" text - ["%" format {"+" format}]] - [format - ["[0]" binary {"+" Writer}]]] - [math - [number - ["[0]" nat]]] - [meta - ["[0]" symbol]]]] - [//// - [version {"+" Version}]]) + [library + [lux "*" + [abstract + [equivalence {"+" Equivalence}]] + [control + ["<>" parser + ["<[0]>" binary {"+" Parser}]]] + [data + ["[0]" product] + ["[0]" text + ["%" format {"+" format}]] + [format + ["[0]" binary {"+" Writer}]]] + [math + [number + ["[0]" nat]]] + [meta + ["[0]" symbol]]]] + [//// + ["[0]" version {"+" Version}]]) (type: .public Signature (Record @@ -27,18 +27,22 @@ (def: .public equivalence (Equivalence Signature) - (product.equivalence symbol.equivalence nat.equivalence)) + ($_ product.equivalence + symbol.equivalence + nat.equivalence)) (def: .public (description signature) (-> Signature Text) - (format (%.symbol (value@ #name signature)) " " (%.nat (value@ #version signature)))) + (format (%.symbol (value@ #name signature)) " " (version.format (value@ #version signature)))) (def: .public writer (Writer Signature) - (binary.and (binary.and binary.text binary.text) - binary.nat)) + ($_ binary.and + (binary.and binary.text binary.text) + binary.nat)) (def: .public parser (Parser Signature) - (<>.and (<>.and <b>.text <b>.text) - <b>.nat)) + ($_ <>.and + (<>.and <binary>.text <binary>.text) + <binary>.nat)) |