From 007027d1bb5b084352a1fc9e4e4178ee8e9821fe Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 21 Oct 2008 10:40:22 -0400 Subject: num_float --- tests/num.ur | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'tests/num.ur') diff --git a/tests/num.ur b/tests/num.ur index 6dab5ac3..015f227c 100644 --- a/tests/num.ur +++ b/tests/num.ur @@ -1,3 +1,5 @@ fun main () : transaction page = return - {txt _ (-1)}, {txt _ (1 + 1)}, {txt _ (9 - 3)}, {txt _ (9 * 3)}, {txt _ (9 / 3)}, {txt _ (9 % 3)} + {txt _ (-1)}, {txt _ (1 + 1)}, {txt _ (9 - 3)}, {txt _ (9 * 3)}, {txt _ (9 / 3)}, {txt _ (9 % 3)}
+ {txt _ (-1.1)}, {txt _ (1.0 + 1.1)}, {txt _ (9.1 - 3.0)}, {txt _ (9.1 * 3.0)}, + {txt _ (9.1 / 3.0)}, {txt _ (9.1 % 3.0)}
-- cgit v1.2.3