From c19b19a2d48c3937bae72982cbb88b78d21b3891 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 13 Sep 2021 01:35:52 -0400
Subject: Updated new compilers w.r.t. removal of tags/labels.

---
 lux-jvm/source/luxc/lang/host/jvm.lux | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/host/jvm.lux')

diff --git a/lux-jvm/source/luxc/lang/host/jvm.lux b/lux-jvm/source/luxc/lang/host/jvm.lux
index 600f26dd7..dc4a3b351 100644
--- a/lux-jvm/source/luxc/lang/host/jvm.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm.lux
@@ -9,6 +9,8 @@
       ["<[0]>" code]]]
     [data
      [binary {"+" Binary}]
+     [text
+      ["%" format {"+" format}]]
      [collection
       ["[0]" list ("[1]#[0]" monad)]]]
     [macro
@@ -96,14 +98,14 @@
                    options (<code>.tuple (<>.many <code>.local_identifier))])
   (let [g!type (code.local_identifier type)
         g!none (code.local_identifier none)
-        g!tags+ (list#each code.local_tag options)
+        g!tags+ (list#each (|>> (format "#") code.local_identifier) options)
         g!_left (code.local_identifier "_left")
         g!_right (code.local_identifier "_right")
         g!options+ (list#each (function (_ option)
                                 (` (def: .public (~ (code.local_identifier option))
                                      (~ g!type)
                                      (|> (~ g!none)
-                                         (with@ (~ (code.local_tag option)) #1)))))
+                                         (with@ (~ (code.local_identifier (format "#" option))) #1)))))
                               options)]
     (in (list& (` (type: .public (~ g!type)
                     (.Record
-- 
cgit v1.2.3