diff tests/league.ur @ 1723:5ecf67553da8

-unifyMore
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Apr 2012 09:08:45 -0400
parents d6c45026240d
children
line wrap: on
line diff
--- a/tests/league.ur	Sat Apr 21 15:47:02 2012 -0400
+++ b/tests/league.ur	Sun Apr 22 09:08:45 2012 -0400
@@ -4,4 +4,5 @@
 table team : { Id : team,
                League : league }
 
-val foo:int = queryL(SELECT * FROM team)
+val foo = queryL(SELECT * FROM team)
+val bar : int = "hi"