Mercurial > urweb

diff tests/crud.urs @ 371:782ef3ad8c28

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud auto-indented correctly
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Oct 2008 16:00:58 -0400
parents 4f75cc2e1373
children 1fb318c17546
line wrap: on
line diff
--- a/tests/crud.urs	Thu Oct 16 14:52:50 2008 -0400
+++ b/tests/crud.urs	Thu Oct 16 16:00:58 2008 -0400
@@ -3,7 +3,7 @@
                   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],
+                                    -> 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)