summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile/Compute/Predef.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/compiler/GF/Compile/Compute/Predef.hs')
-rw-r--r--src/compiler/GF/Compile/Compute/Predef.hs4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/compiler/GF/Compile/Compute/Predef.hs b/src/compiler/GF/Compile/Compute/Predef.hs
index 609a17798..b9e23d424 100644
--- a/src/compiler/GF/Compile/Compute/Predef.hs
+++ b/src/compiler/GF/Compile/Compute/Predef.hs
@@ -27,6 +27,10 @@ instance Predef Int where
instance Predef Bool where
toValue = boolV
+ fromValue v = case v of
+ VCApp (cPredef,cPTrue) [] -> return True
+ VCApp (cPredef,cPFalse) [] -> return False
+ _ -> verror "Bool" v
instance Predef String where
toValue = string