From 88e83065e0855559fb32638ac1585827f74eedbe Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 14 Mar 2012 10:10:56 -0400 Subject: New JavaScript FFI function: setInnerHTML --- tests/setInner.ur | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 tests/setInner.ur (limited to 'tests/setInner.ur') diff --git a/tests/setInner.ur b/tests/setInner.ur new file mode 100644 index 00000000..3032f8a7 --- /dev/null +++ b/tests/setInner.ur @@ -0,0 +1,9 @@ +fun main () : transaction page = + x <- fresh; + s <- source 0; + q <- source ""; + return + +