From cdbe73eb475cf44e1a45b2abacb12756e394016a Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Thu, 8 Jul 2021 12:10:41 +0200 Subject: Remove two missing-methods warnings --- src/compiler/GF/Compile/Compute/Predef.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/compiler/GF/Compile/Compute') 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 -- cgit v1.2.3