diff tests/nomangle.ur @ 2144:f55b0e45422f

Fix .sql generation to honor 'noMangleSql' in column names
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 May 2015 12:56:19 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/nomangle.ur	Sun May 10 12:56:19 2015 -0400
@@ -0,0 +1,7 @@
+table foo : { Bar : int, Baz : string }
+  PRIMARY KEY Baz
+
+fun main () : transaction page =
+    rs <- queryX1 (SELECT foo.Bar FROM foo WHERE foo.Baz = 'Hi')
+          (fn r => <xml>{[r.Bar]}</xml>);
+    return <xml><body>{rs}</body></xml>