From 9e804908dd69043c8a9942cdf6042b8dc0d76175 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 9 Sep 2008 12:36:13 -0400 Subject: Termination checking allows anything in links and actions --- tests/rec.ur | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'tests/rec.ur') diff --git a/tests/rec.ur b/tests/rec.ur index 6131337e..0a0c7445 100644 --- a/tests/rec.ur +++ b/tests/rec.ur @@ -1,3 +1,4 @@ -val rec main = fn () => + +fun main () : transaction page = return Ride again! -- cgit v1.2.3