comparison lib/ur/basis.urs @ 1075:0657e5adc938

Convert to task syntax
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 10:19:05 -0500
parents b2311dfb3158
children 25d491287358
comparison
equal deleted inserted replaced
1074:d89f98f0b4bb 1075:0657e5adc938
755 val onConnectFail : transaction unit -> transaction unit 755 val onConnectFail : transaction unit -> transaction unit
756 val onDisconnect : transaction unit -> transaction unit 756 val onDisconnect : transaction unit -> transaction unit
757 val onServerError : (string -> transaction unit) -> transaction unit 757 val onServerError : (string -> transaction unit) -> transaction unit
758 758
759 val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml ctx use bind) 759 val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml ctx use bind)
760
761
762 (** Tasks *)
763
764 type task_kind
765 val initialize : task_kind