diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-09-09 12:36:13 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-09 12:36:13 -0400 |
commit | 9e804908dd69043c8a9942cdf6042b8dc0d76175 (patch) | |
tree | 4437f1d468859452358a91bf5ba7071b11a1a419 /tests/rec.ur | |
parent | 4960cd8c2ec1e02c90e42d16db13f045427b4173 (diff) |
Termination checking allows anything in links and actions
Diffstat (limited to 'tests/rec.ur')
-rw-r--r-- | tests/rec.ur | 3 |
1 files changed, 2 insertions, 1 deletions
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 () => <html><body> + +fun main () : transaction page = return <html><body> <a link={main ()}>Ride again!</a> </body></html> |