Constructors.str2numeral for making numerals from strings

This commit is contained in:
aarne
2009-12-07 10:29:53 +00:00
parent 8798ff76f9
commit 7f47802cd2

View File

@@ -100,8 +100,8 @@ appPredefined t = case t of
(y,_) <- appPredefined y0
(z,_) <- appPredefined z0
case (z, y, x) of
(ty,op,t) | f == cMapStr -> retf $ mapStr ty op t
_ -> retb t ---- prtBad "cannot compute predefined" t
(ty,op,t) | f == cMapStr -> retf $ mapStr ty op t
_ -> retb t ---- prtBad "cannot compute predefined" t
_ -> retb t ---- prtBad "cannot compute predefined" t
_ -> retb t