comparison tests/sqlprecision.ur @ 1920:2f33d9a51765

Increase precision for rendering floats to SQL
author Adam Chlipala <adam@chlipala.net>
date Tue, 03 Dec 2013 16:54:04 -0500
parents
children
comparison
equal deleted inserted replaced
1919:f5d1037effc9 1920:2f33d9a51765
1 table t : { N : float }
2
3 fun insert r =
4 dml (INSERT INTO t (N) VALUES ({[readError r.N]}));
5 return <xml/>
6
7 fun main () = return <xml><body>
8 <form>
9 <textbox{#N}/>
10 <submit action={insert}/>
11 </form>
12 </body></xml>