Mercurial > urweb

comparison demo/more/orm.urs @ 987:6dd122f10c0c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Better location calculation for record unification error messages; infer kind arguments to module-projected variables
author Adam Chlipala <adamc@hcoop.net>
date Mon, 05 Oct 2009 16:36:38 -0400
parents
children d923b47e483d
comparison
equal deleted inserted replaced
986:d1dbb9a3c804 987:6dd122f10c0c
1 con link :: Type -> Type
2
3 con meta = fn col :: Type => {
4 Link : link col,
5 Inj : sql_injectable col
6 }
7
8 functor Table(M : sig
9 con cols :: {Type}
10 val cols : $(map meta cols)
11 constraint [Id] ~ cols
12 val folder : folder cols
13 end) : sig
14 type id
15 val inj : sql_injectable id
16 val id : meta id
17
18 val create : $M.cols -> transaction id
19 end