From 22236f78bf5acb81d9c404ab71be9aa3d9e3bf26 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 16 Oct 2008 16:00:58 -0400
Subject: Crud auto-indented correctly

---
 tests/crud.ur | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'tests/crud.ur')

diff --git a/tests/crud.ur b/tests/crud.ur
index 81c34472..5427100c 100644
--- a/tests/crud.ur
+++ b/tests/crud.ur
@@ -12,9 +12,9 @@ fun default (t ::: Type) (sh : show t) (rd : read t) (inj : sql_injectable t)
             name : colMeta (t, string) =
     {Nam = name,
      Show = txt _,
-     Widget = fn nm :: Name => (<xml><textbox{nm}/></xml>),
+     Widget = fn nm :: Name => <xml><textbox{nm}/></xml>,
      WidgetPopulated = fn (nm :: Name) n =>
-                          (<xml><textbox{nm} value={show _ n}/></xml>),
+                          <xml><textbox{nm} value={show _ n}/></xml>,
      Parse = readError _,
      Inject = _}
 
@@ -24,9 +24,9 @@ val string = default _ _ _
 
 fun bool name = {Nam = name,
                  Show = txt _,
-                 Widget = fn nm :: Name => (<xml><checkbox{nm}/></xml>),
+                 Widget = fn nm :: Name => <xml><checkbox{nm}/></xml>,
                  WidgetPopulated = fn (nm :: Name) b =>
-                                      (<xml><checkbox{nm} checked={b}/></xml>),
+                                      <xml><checkbox{nm} checked={b}/></xml>,
                  Parse = fn x => x,
                  Inject = _}
 
-- 
cgit v1.2.3