summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-04-16 09:46:42 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-04-16 09:46:42 -0400
commitb5e07682e03fde1fa04b4f22d59600162ab5a685 (patch)
treec33f8114b34b77838cbc0ffdcca11d9345d49c3c /tests
parent2b1c2fd0321b3ee072f6d9f43a3e908ec49e3251 (diff)
Do a lot more type simplification for error messages
Diffstat (limited to 'tests')
-rw-r--r--tests/league.ur7
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/league.ur b/tests/league.ur
new file mode 100644
index 00000000..7edd5f42
--- /dev/null
+++ b/tests/league.ur
@@ -0,0 +1,7 @@
+type team = string
+type league = string
+
+table team : { Id : team,
+ League : league }
+
+val foo:int = queryL(SELECT * FROM team)