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 | 381cdb4213afe0eb08aa393cb82ed4f34570e40a (patch) | |
| tree | c33f8114b34b77838cbc0ffdcca11d9345d49c3c /tests/league.ur | |
| parent | 479492da8c42acbd6ec8832f3012f357dcf190af (diff) | |
Do a lot more type simplification for error messages
Diffstat (limited to 'tests/league.ur')
| -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) |