Merge branch 'master' into lpgf

This commit is contained in:
John J. Camilleri
2021-07-08 13:57:18 +02:00

View File

@@ -28,8 +28,8 @@ 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
VCApp (mn,i) [] | mn == cPredef && i == cPTrue -> return True
VCApp (mn,i) [] | mn == cPredef && i == cPFalse -> return False
_ -> verror "Bool" v
instance Predef String where