diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-10-20 10:29:17 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-20 10:29:17 -0400 |
commit | b3cfaa74a148d81d3c4a5dcc40b5ae3532b371ea (patch) | |
tree | 735539d263808b9d6d33d87eef8e4ea98f3b0e39 /demo/more/orm.urs | |
parent | aece9fdadf1bdfbf069cc5ac5ab397eef1e3f2ad (diff) |
Adapted existing demos to tuple pattern-matching
Diffstat (limited to 'demo/more/orm.urs')
-rw-r--r-- | demo/more/orm.urs | 12 |
1 files changed, 6 insertions, 6 deletions
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) |