Ur/Web: demo/broadcast.urs annotate

Proper error messages for missing source files

author	Adam Chlipala <adam@chlipala.net>
date	Sat, 26 May 2012 09:16:14 -0400
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