From 1137f61adeb416d89436a6849a07f28c8f329fc1 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 14 Jul 2018 03:23:38 -0400
Subject: Switched to using new bit syntax in new-luxc.

---
 new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux')

diff --git a/new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux
index 045f8ceb7..7feb0033c 100644
--- a/new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux
@@ -36,19 +36,19 @@
 
 (def: #export none
   Computation
-  (variant +0 false unit))
+  (variant +0 #0 unit))
 
 (def: #export some
   (-> Expression Computation)
-  (variant +1 true))
+  (variant +1 #1))
 
 (def: #export left
   (-> Expression Computation)
-  (variant +0 false))
+  (variant +0 #0))
 
 (def: #export right
   (-> Expression Computation)
-  (variant +1 true))
+  (variant +1 #1))
 
 (type: Runtime Statement)
 
@@ -306,8 +306,8 @@
 ##     (_.if! (_.= old (_.nth atom//field atom))
 ##            ($_ _.then!
 ##                (_.set-nth! atom//field new atom)
-##                (_.return! (_.bool true)))
-##            (_.return! (_.bool false)))))
+##                (_.return! (_.bool #1)))
+##            (_.return! (_.bool #0)))))
 
 ## (def: runtime//atom
 ##   Runtime
-- 
cgit v1.2.3