From cc0d74f6508fa9438d28d054b048a20ce5de7bca Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 10 Oct 2013 18:01:30 -0400
Subject: Make transactional FFI functions effectful by default

---
 tests/ffieff.urp | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 tests/ffieff.urp

(limited to 'tests/ffieff.urp')

diff --git a/tests/ffieff.urp b/tests/ffieff.urp
new file mode 100644
index 00000000..9f89cbc4
--- /dev/null
+++ b/tests/ffieff.urp
@@ -0,0 +1,6 @@
+ffi ffi_eff
+jsFunc Ffi_eff.shout=alert
+jsFunc Ffi_eff.sneakyShout=alert
+rewrite all Ffieff/*
+
+ffieff
-- 
cgit v1.2.3