diff options
Diffstat (limited to 'demo/crud.urs')
| -rw-r--r-- | demo/crud.urs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/demo/crud.urs b/demo/crud.urs index 33090421..8c9cebcf 100644 --- a/demo/crud.urs +++ b/demo/crud.urs @@ -6,7 +6,7 @@ con colMeta = fn t_formT :: (Type * Type) => -> xml form [] [nm = t_formT.2], Parse : t_formT.2 -> t_formT.1, Inject : sql_injectable t_formT.1} -con colsMeta = fn cols :: {(Type * Type)} => $(mapT2T colMeta cols) +con colsMeta = fn cols :: {(Type * Type)} => $(map colMeta cols) val int : string -> colMeta (int, string) val float : string -> colMeta (float, string) @@ -16,7 +16,7 @@ val bool : string -> colMeta (bool, bool) functor Make(M : sig con cols :: {(Type * Type)} constraint [Id] ~ cols - val tab : sql_table ([Id = int] ++ mapT2T fstTT cols) + val tab : sql_table ([Id = int] ++ map fstTT cols) val title : string |