summaryrefslogtreecommitdiff
path: root/tests/crud.urs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/crud.urs')
-rw-r--r--tests/crud.urs30
1 files changed, 15 insertions, 15 deletions
diff --git a/tests/crud.urs b/tests/crud.urs
index 8ef81b87..866853d5 100644
--- a/tests/crud.urs
+++ b/tests/crud.urs
@@ -1,21 +1,21 @@
-con colMeta = fn t_formT :: (Type * Type) => {
- Nam : string,
- Show : t_formT.1 -> xbody,
- Widget : nm :: Name -> xml form [] [nm = t_formT.2],
- WidgetPopulated : nm :: Name -> t_formT.1 -> xml form [] [nm = t_formT.2],
- Parse : t_formT.2 -> t_formT.1,
- Inject : sql_injectable t_formT.1
-}
+con colMeta = fn t_formT :: (Type * Type) =>
+ {Nam : string,
+ Show : t_formT.1 -> xbody,
+ Widget : nm :: Name -> xml form [] [nm = t_formT.2],
+ WidgetPopulated : nm :: Name -> t_formT.1
+ -> 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)
functor Make(M : sig
- con cols :: {(Type * Type)}
- constraint [Id] ~ cols
- val tab : sql_table ([Id = int] ++ mapT2T fstTT cols)
+ con cols :: {(Type * Type)}
+ constraint [Id] ~ cols
+ val tab : sql_table ([Id = int] ++ mapT2T fstTT cols)
- val title : string
+ val title : string
- val cols : colsMeta cols
-end) : sig
- val main : unit -> transaction page
+ val cols : colsMeta cols
+ end) : sig
+ val main : unit -> transaction page
end