Mercurial > urweb

view 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
line wrap: on
line source
val shout : string -> transaction {}
val sneakyShout : string -> int