Mercurial > urweb
diff tests/crud.urs @ 706:1fb318c17546
Enhance table sig item support and get demo compiling again
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 07 Apr 2009 15:04:07 -0400 |
parents | 782ef3ad8c28 |
children |
line wrap: on
line diff
--- a/tests/crud.urs Tue Apr 07 14:11:32 2009 -0400 +++ b/tests/crud.urs Tue Apr 07 15:04:07 2009 -0400 @@ -16,7 +16,7 @@ functor Make(M : sig con cols :: {(Type * Type)} constraint [Id] ~ cols - val tab : sql_table ([Id = int] ++ mapT2T fstTT cols) + table tab : ([Id = int] ++ mapT2T fstTT cols) val title : string