summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-05-31 07:44:52 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-05-31 07:44:52 -0400
commit6d144445b780d0acdb46b36702b28be17eca1049 (patch)
treeb3a79de42ade98bb9fec9492bdb97ce60ac48027 /tests
parentce09df0fd2af2465c1df0fbeacf0cb6a07cd2add (diff)
Proper C pretty-printing of floats in scientific notation
Diffstat (limited to 'tests')
-rw-r--r--tests/float.ur6
-rw-r--r--tests/float.urs1
2 files changed, 7 insertions, 0 deletions
diff --git a/tests/float.ur b/tests/float.ur
new file mode 100644
index 00000000..aae6d521
--- /dev/null
+++ b/tests/float.ur
@@ -0,0 +1,6 @@
+fun main () =
+ let
+ val x = 0.001 * 50.0
+ in
+ return <xml><body>{[x]}</body></xml>
+ end
diff --git a/tests/float.urs b/tests/float.urs
new file mode 100644
index 00000000..6ac44e0b
--- /dev/null
+++ b/tests/float.urs
@@ -0,0 +1 @@
+val main : unit -> transaction page