Ur/Web: tests/concat.ur annotate

Tutorial: hyperlinks for metaprogramming and row types

author	Adam Chlipala <adam@chlipala.net>
date	Wed, 20 Jul 2011 08:14:49 -0400
parents	c7b9a33c26c8
children

rev	line source
adam@1303	1 functor Make(M : sig
adam@1303	2 con ts :: {(Type * Type)}
adam@1303	3 val tab : sql_table (map fst ts) []
adam@1303	4 val cols : $(map (fn p => p.2 -> string) ts)
adam@1303	5 end) = struct
adam@1303	6 end
adam@1303	7
adam@1303	8 table t : {A : string}
adam@1303	9
adam@1303	10 open Make(struct
adam@1303	11 val tab = t
adam@1303	12 val cols = {A = fn p : {B : string, C : string} => p.B ^ p.C}
adam@1303	13 end)

Mercurial > urweb