summaryrefslogtreecommitdiff
path: root/tests/float.ur
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
commit7a52cdb6ecf0e89c8a0f607855bcb81fbe0e0e68 (patch)
treeb3a79de42ade98bb9fec9492bdb97ce60ac48027 /tests/float.ur
parent7281024b45db2ddcc54cf6257fe5559b9b07aa93 (diff)
Proper C pretty-printing of floats in scientific notation
Diffstat (limited to 'tests/float.ur')
-rw-r--r--tests/float.ur6
1 files changed, 6 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