Mercurial > urweb
view 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 |
line wrap: on
line source
con link :: Type -> Type con meta = fn col :: Type => { Link : link col, Inj : sql_injectable col } functor Table(M : sig con cols :: {Type} val cols : $(map meta cols) constraint [Id] ~ cols val folder : folder cols end) : sig type id val inj : sql_injectable id val id : meta id val create : $M.cols -> transaction id end