From e07da25c269c5ea86613bf0ffddc416fbdbc7b11 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 10 May 2015 12:56:19 -0400 Subject: Fix .sql generation to honor 'noMangleSql' in column names --- tests/nomangle.ur | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 tests/nomangle.ur (limited to 'tests/nomangle.ur') diff --git a/tests/nomangle.ur b/tests/nomangle.ur new file mode 100644 index 00000000..b853a690 --- /dev/null +++ b/tests/nomangle.ur @@ -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 => {[r.Bar]}); + return {rs} -- cgit v1.2.3