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(-)

(limited to 'stdlib')

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))
-- 
cgit v1.2.3