Mercurial > urweb

annotate tests/ffi_eff.urs @ 2033:ea0ecd5fa9df

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add locking to enforce atomicity of message sends from one transaction
author Adam Chlipala <adam@chlipala.net>
date Fri, 27 Jun 2014 14:39:31 -0400
parents df6a040f5389
children
rev   line source
adam@1878 1 val shout : string -> transaction {}
adam@1878 2 val sneakyShout : string -> int