summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-12 10:30:08 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-12 10:30:08 -0400
commit418f655bfaee62e8a371437c7a442a1d08c4c34f (patch)
tree682f9130b3e9a34c72a18cd9f1ecf4d3a7845ae9 /tests
parente05a4f5bc55f825145a8795c682f475d735eafc4 (diff)
Get type definitions font-locking again
Diffstat (limited to 'tests')
-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