Mercurial > urweb
comparison tests/crud.urs @ 371:782ef3ad8c28
Crud auto-indented correctly
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 16 Oct 2008 16:00:58 -0400 |
parents | 4f75cc2e1373 |
children | 1fb318c17546 |
comparison
equal
deleted
inserted
replaced
370:4f75cc2e1373 | 371:782ef3ad8c28 |
---|---|
1 con colMeta = fn t_formT :: (Type * Type) => | 1 con colMeta = fn t_formT :: (Type * Type) => |
2 {Nam : string, | 2 {Nam : string, |
3 Show : t_formT.1 -> xbody, | 3 Show : t_formT.1 -> xbody, |
4 Widget : nm :: Name -> xml form [] [nm = t_formT.2], | 4 Widget : nm :: Name -> xml form [] [nm = t_formT.2], |
5 WidgetPopulated : nm :: Name -> t_formT.1 | 5 WidgetPopulated : nm :: Name -> t_formT.1 |
6 -> xml form [] [nm = t_formT.2], | 6 -> xml form [] [nm = t_formT.2], |
7 Parse : t_formT.2 -> t_formT.1, | 7 Parse : t_formT.2 -> t_formT.1, |
8 Inject : sql_injectable t_formT.1} | 8 Inject : sql_injectable t_formT.1} |
9 con colsMeta = fn cols :: {(Type * Type)} => $(mapT2T colMeta cols) | 9 con colsMeta = fn cols :: {(Type * Type)} => $(mapT2T colMeta cols) |
10 | 10 |
11 val int : string -> colMeta (int, string) | 11 val int : string -> colMeta (int, string) |