summaryrefslogtreecommitdiff
path: root/tests/crud.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-16 16:00:58 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-16 16:00:58 -0400
commit22236f78bf5acb81d9c404ab71be9aa3d9e3bf26 (patch)
tree0841a60524db4ea17a419856effca6eb75d0e7c4 /tests/crud.urs
parent5a71851c8495e85a43227db438b15a3060d724d9 (diff)
Crud auto-indented correctly
Diffstat (limited to 'tests/crud.urs')
-rw-r--r--tests/crud.urs2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/crud.urs b/tests/crud.urs
index 7796a7a2..33090421 100644
--- a/tests/crud.urs
+++ b/tests/crud.urs
@@ -3,7 +3,7 @@ con colMeta = fn t_formT :: (Type * Type) =>
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)