From dbb9192edae68feb230b5b231fcaf10fd68103e8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 7 Sep 2008 10:20:42 -0400 Subject: toString for float and bool --- tests/toString.ur | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'tests/toString.ur') diff --git a/tests/toString.ur b/tests/toString.ur index 830f4713..f51ef098 100644 --- a/tests/toString.ur +++ b/tests/toString.ur @@ -1,3 +1,5 @@ fun main () : transaction page = return - 6 = {cdata (intToString 6)} + 6 = {cdata (intToString 6)}
+ 12.34 = {cdata (floatToString 12.34)}
+ False = {cdata (boolToString False)}
-- cgit v1.2.3