Mercurial > urweb
comparison tests/test.urs @ 771:eac1974924bb
FFI transactionals
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 02 May 2009 18:41:21 -0400 |
parents | df09c95085f8 |
children |
comparison
equal
deleted
inserted
replaced
770:c125df6fabfc | 771:eac1974924bb |
---|---|
5 val frob : t -> string -> t | 5 val frob : t -> string -> t |
6 val print : transaction unit | 6 val print : transaction unit |
7 | 7 |
8 val foo : transaction unit | 8 val foo : transaction unit |
9 val bar : string -> transaction unit | 9 val bar : string -> transaction unit |
10 | |
11 val transactional : transaction unit |