From 63b1679b3ce5fa663c5a2ab0544d01867c8cf0f0 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 21 Jan 2019 18:20:59 -0400 Subject: Fixed bug due to recent changes to "lux/type/abstract". --- stdlib/source/lux/host/jvm/modifier.lux | 16 ++++++++-------- 1 file 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!) (~ g!)] [(.def: (~' #export) (~ g!) (~ g!name) - (.|> (number.hex (~ g!)) //encoding.to-u2 (~' :abstraction)))] + (.|> (number.hex (~ g!)) //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 (~' =) - ((~' :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 (~' map) - (|>> (~' :abstraction)))) - #binary.writer (|>> (~' :representation) + (|>> abstract.:abstraction))) + #binary.writer (|>> abstract.:representation (~' _/writer))})))) monoidC (` (.structure: (~' #export) (~' _) (monoid.Monoid (~ g!name)) (.def: (~' identity) (~ g!empty)) -- cgit v1.2.3