diff options
| author | Eduardo Julian | 2019-01-21 18:20:59 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-01-21 18:20:59 -0400 |
| commit | 63b1679b3ce5fa663c5a2ab0544d01867c8cf0f0 (patch) | |
| tree | c89c71c1e7d229d83cacdc29708e8482661f6d49 | |
| parent | 10009cd51d356fb97b06a32617a46d3fcece55cc (diff) | |
Fixed bug due to recent changes to "lux/type/abstract".
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/host/jvm/modifier.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/lux/host/jvm/modifier.lux b/stdlib/source/lux/host/jvm/modifier.lux index b5bc1fef8..8451c3107 100644 --- a/stdlib/source/lux/host/jvm/modifier.lux +++ b/stdlib/source/lux/host/jvm/modifier.lux @@ -46,17 +46,17 @@ (.def: (~' #export) (~' code) (.-> (~ g!name) //encoding.U2) - (.|>> (~' :representation))) + (.|>> abstract.:representation)) (.def: (~' #export) ((~ g!combine) (~ g!parameter) (~ g!subject)) (.-> (~ g!name) (~ g!name) (~ g!name)) - ((~' :abstraction) (//encoding.to-u2 (i64.and (//encoding.from-u2 ((~' :representation) (~ g!parameter))) - (//encoding.from-u2 ((~' :representation) (~ g!subject))))))) + (abstract.:abstraction (//encoding.to-u2 (i64.and (//encoding.from-u2 (abstract.:representation (~ g!parameter))) + (//encoding.from-u2 (abstract.:representation (~ g!subject))))))) (.do-template [(~ g!<code>) (~ g!<name>)] [(.def: (~' #export) (~ g!<name>) (~ g!name) - (.|> (number.hex (~ g!<code>)) //encoding.to-u2 (~' :abstraction)))] + (.|> (number.hex (~ g!<code>)) //encoding.to-u2 abstract.:abstraction))] ["0000" (~ g!empty)] (~+ (list/map ..code options)) @@ -65,16 +65,16 @@ (.structure: (~' #export) (~' _) (equivalence.Equivalence (~ g!name)) (.def: ((~' =) (~' reference) (~' sample)) (.:: //encoding.Equivalence<U2> (~' =) - ((~' :representation) (~' reference)) - ((~' :representation) (~' sample))))) + (abstract.:representation (~' reference)) + (abstract.:representation (~' sample))))) (.def: (~' #export) (~ g!format) (binary.Format (~ g!name)) (.let [(.^open "_/.") //encoding.u2-format] {#binary.reader (|> (~' _/reader) (:: parser.Functor<Parser> (~' map) - (|>> (~' :abstraction)))) - #binary.writer (|>> (~' :representation) + (|>> abstract.:abstraction))) + #binary.writer (|>> abstract.:representation (~' _/writer))})))) monoidC (` (.structure: (~' #export) (~' _) (monoid.Monoid (~ g!name)) (.def: (~' identity) (~ g!empty)) |