Ur/Web: demo/broadcast.urs annotate

Fix generation of timestamp literals for MySQL and SQLite

author	Adam Chlipala <adam@chlipala.net>
date	Fri, 30 Nov 2012 09:50:00 -0500
parents	4e260887d8f2
children

rev	line source
adamc@699	1 functor Make(M : sig type t end) : sig
adamc@699	2 type topic
adamc@699	3
adamc@699	4 val inj : sql_injectable topic
adamc@699	5
adamc@699	6 val create : transaction topic
adamc@699	7 val subscribe : topic -> transaction (channel M.t)
adamc@699	8 val send : topic -> M.t -> transaction unit
adamc@699	9
adamc@699	10 val subscribers : topic -> transaction int
adamc@699	11 end

Mercurial > urweb