diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-02 18:41:21 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-02 18:41:21 -0400 |
| commit | 7e186f985bb40643125951d0dd944c8f2d31805b (patch) | |
| tree | 2cdc71a8815189be0d6ee18e920b57dad252c2b7 /tests/test.urs | |
| parent | feaf5cca383eef7caf103f6f3fd4a93725f6667b (diff) | |
FFI transactionals
Diffstat (limited to 'tests/test.urs')
| -rw-r--r-- | tests/test.urs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/test.urs b/tests/test.urs index 05efcb5b..b4ca6fb6 100644 --- a/tests/test.urs +++ b/tests/test.urs @@ -7,3 +7,5 @@ val print : transaction unit val foo : transaction unit val bar : string -> transaction unit + +val transactional : transaction unit |