From b3cfaa74a148d81d3c4a5dcc40b5ae3532b371ea Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 20 Oct 2009 10:29:17 -0400
Subject: Adapted existing demos to tuple pattern-matching

---
 demo/batchFun.urs | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'demo/batchFun.urs')

diff --git a/demo/batchFun.urs b/demo/batchFun.urs
index e3acb197..56e1e88d 100644
--- a/demo/batchFun.urs
+++ b/demo/batchFun.urs
@@ -1,11 +1,11 @@
-con colMeta = fn t_state :: (Type * Type) =>
+con colMeta = fn (db :: Type, state :: Type) =>
                  {Nam : string,
-                  Show : t_state.1 -> xbody,
-                  Inject : sql_injectable t_state.1,
+                  Show : db -> xbody,
+                  Inject : sql_injectable db,
 
-                  NewState : transaction t_state.2,
-                  Widget : t_state.2 -> xbody,
-                  ReadState : t_state.2 -> transaction t_state.1}
+                  NewState : transaction state,
+                  Widget : state -> xbody,
+                  ReadState : state -> transaction db}
 con colsMeta = fn cols :: {(Type * Type)} => $(map colMeta cols)
 
 val int : string -> colMeta (int, source string)
-- 
cgit v1.2.3