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/more/orm.urs | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'demo/more/orm.urs')

diff --git a/demo/more/orm.urs b/demo/more/orm.urs
index b173d203..63f4ffc9 100644
--- a/demo/more/orm.urs
+++ b/demo/more/orm.urs
@@ -1,9 +1,9 @@
 con link :: (Type * Type) -> Type
 val noParent : t ::: Type -> link (t, unit)
 
-con meta = fn col_parent :: (Type * Type) => {
-	      Link : link col_parent,
-	      Inj : sql_injectable col_parent.1
+con meta = fn (col :: Type, parent :: Type) => {
+	      Link : link (col, parent),
+	      Inj : sql_injectable col
 	      }
 
 val local : t :: Type -> sql_injectable t -> meta (t, unit)
@@ -29,9 +29,9 @@ functor Table(M : sig
 
     con col :: Type -> Type
     val idCol : col id
-    val cols : $(map (fn col_parent :: (Type * Type) =>
-                         {Col : col col_parent.1,
-                          Parent : row -> transaction (option col_parent.2)}) M.cols)
+    val cols : $(map (fn (colm :: Type, parent :: Type) =>
+                         {Col : col colm,
+                          Parent : row -> transaction (option parent)}) M.cols)
 
     type filter
     val find : filter -> transaction (option row)
-- 
cgit v1.2.3