Mercurial > urweb
annotate demo/more/orm.urs @ 987:6dd122f10c0c
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 |
| rev | line source |
|---|---|
| adamc@987 | 1 con link :: Type -> Type |
| adamc@987 | 2 |
| adamc@987 | 3 con meta = fn col :: Type => { |
| adamc@987 | 4 Link : link col, |
| adamc@987 | 5 Inj : sql_injectable col |
| adamc@987 | 6 } |
| adamc@987 | 7 |
| adamc@987 | 8 functor Table(M : sig |
| adamc@987 | 9 con cols :: {Type} |
| adamc@987 | 10 val cols : $(map meta cols) |
| adamc@987 | 11 constraint [Id] ~ cols |
| adamc@987 | 12 val folder : folder cols |
| adamc@987 | 13 end) : sig |
| adamc@987 | 14 type id |
| adamc@987 | 15 val inj : sql_injectable id |
| adamc@987 | 16 val id : meta id |
| adamc@987 | 17 |
| adamc@987 | 18 val create : $M.cols -> transaction id |
| adamc@987 | 19 end |