Remove two missing-methods warnings

This commit is contained in:
John J. Camilleri
2021-07-08 12:10:41 +02:00
parent 6077d5dd5b
commit cdbe73eb47
2 changed files with 6 additions and 1 deletions

View File

@@ -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