From f621a133e6e0a516c0586270fea8eaffb4829d82 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 8 Aug 2021 17:56:15 -0400
Subject: No more #export magic syntax.

---
 lux-jvm/source/luxc/lang/translation/jvm/case.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
index 2c9bfdb61..a863f9113 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -119,7 +119,7 @@
 
                #.None
                (in (_.GOTO @else)))
-       #let [ifI (.if when _.IFEQ _.IFNE)]]
+       .let [ifI (.if when _.IFEQ _.IFNE)]]
       (in (<| _.with_label (function (_ @else))
               (|>> peekI
                    (_.unwrap type.boolean)
@@ -236,7 +236,7 @@
              _.NULL
              (_.GOTO @end)))))
 
-(def: #export (if phase archive [testS thenS elseS])
+(def: .public (if phase archive [testS thenS elseS])
   (Generator [Synthesis Synthesis Synthesis])
   (do phase.monad
     [testI (phase archive testS)
@@ -253,7 +253,7 @@
                  elseI
                  (_.label @end))))))
 
-(def: #export (let phase archive [inputS register exprS])
+(def: .public (let phase archive [inputS register exprS])
   (Generator [Synthesis Nat Synthesis])
   (do phase.monad
     [inputI (phase archive inputS)
@@ -262,7 +262,7 @@
              (_.ASTORE register)
              exprI))))
 
-(def: #export (get phase archive [path recordS])
+(def: .public (get phase archive [path recordS])
   (Generator [(List synthesis.Member) Synthesis])
   (do phase.monad
     [recordG (phase archive recordS)]
@@ -277,7 +277,7 @@
                    recordG
                    (list.reversed path)))))
 
-(def: #export (case phase archive [valueS path])
+(def: .public (case phase archive [valueS path])
   (Generator [Synthesis Path])
   (do phase.monad
     [@end _.make_label
-- 
cgit v1.2.3