diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-04-16 09:46:42 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-04-16 09:46:42 -0400 |
| commit | b5e07682e03fde1fa04b4f22d59600162ab5a685 (patch) | |
| tree | c33f8114b34b77838cbc0ffdcca11d9345d49c3c /tests | |
| parent | 2b1c2fd0321b3ee072f6d9f43a3e908ec49e3251 (diff) | |
Do a lot more type simplification for error messages
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/league.ur | 7 |
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) |