From cc0d74f6508fa9438d28d054b048a20ce5de7bca Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 10 Oct 2013 18:01:30 -0400 Subject: Make transactional FFI functions effectful by default --- tests/ffieff.ur | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 tests/ffieff.ur (limited to 'tests/ffieff.ur') diff --git a/tests/ffieff.ur b/tests/ffieff.ur new file mode 100644 index 00000000..a63fa4bc --- /dev/null +++ b/tests/ffieff.ur @@ -0,0 +1,6 @@ +open Ffi_eff + +fun main () : transaction page = return +