From 418f655bfaee62e8a371437c7a442a1d08c4c34f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 12 Oct 2008 10:30:08 -0400 Subject: Get type definitions font-locking again --- tests/crud.urs | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) (limited to 'tests/crud.urs') 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 -- cgit v1.2.3