From cd768be8105e43b8c8d0cf1578528a02f5341a95 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 4 Apr 2009 15:56:47 -0400 Subject: sleep and better Scriptcheck --- tests/sleep.ur | 7 +++++++ tests/sleep.urp | 3 +++ 2 files changed, 10 insertions(+) create mode 100644 tests/sleep.ur create mode 100644 tests/sleep.urp (limited to 'tests') diff --git a/tests/sleep.ur b/tests/sleep.ur new file mode 100644 index 00000000..132479e5 --- /dev/null +++ b/tests/sleep.ur @@ -0,0 +1,7 @@ +fun annoyer () = + alert "Hi!"; + sleep 5000; + annoyer () + +fun main () : transaction page = return + diff --git a/tests/sleep.urp b/tests/sleep.urp new file mode 100644 index 00000000..f6eaf9fe --- /dev/null +++ b/tests/sleep.urp @@ -0,0 +1,3 @@ +debug + +sleep -- cgit v1.2.3