From 69fefab57c40f323d759dc444dbcebad15071585 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 13 Jul 2018 22:01:32 -0400
Subject: Re-named "Bool" type to "Bit".

---
 new-luxc/source/luxc/lang/host/php.lux | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

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

diff --git a/new-luxc/source/luxc/lang/host/php.lux b/new-luxc/source/luxc/lang/host/php.lux
index 50d618f85..34c7c0535 100644
--- a/new-luxc/source/luxc/lang/host/php.lux
+++ b/new-luxc/source/luxc/lang/host/php.lux
@@ -23,7 +23,7 @@
   (type: #export Global (Code' (Expression' Global')))
   (type: #export Var (Code' (Expression' Var')))
   (type: #export Argument
-    {#reference? Bool
+    {#reference? Bit
      #var Var})
   (type: #export Computation (Code' (Expression' Computation')))
   (type: #export Statement (Code' Statement'))
@@ -82,8 +82,10 @@
     (:abstraction "NULL"))
 
   (def: #export bool
-    (-> Bool Computation)
-    (|>> %b :abstraction))
+    (-> Bit Computation)
+    (|>> (case> true "true"
+                false "false")
+         :abstraction))
 
   (def: #export int
     (-> Int Computation)
-- 
cgit v1.2.3