From 433e33875836ed5d1277a05a1c2a4ed035e89929 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 3 Dec 2013 16:54:04 -0500 Subject: Increase precision for rendering floats to SQL --- tests/sqlprecision.ur | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 tests/sqlprecision.ur (limited to 'tests/sqlprecision.ur') diff --git a/tests/sqlprecision.ur b/tests/sqlprecision.ur new file mode 100644 index 00000000..0391ea04 --- /dev/null +++ b/tests/sqlprecision.ur @@ -0,0 +1,12 @@ +table t : { N : float } + +fun insert r = + dml (INSERT INTO t (N) VALUES ({[readError r.N]})); + return + +fun main () = return + -- cgit v1.2.3