diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2018-12-25 09:21:42 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-25 09:21:42 -0500 |
commit | d4620695ec44da55be046f9dee4caf1f29759943 (patch) | |
tree | 1b4ceeea0c028fb354fa28e29bb384d4bb8fc205 /tests/both2.ur | |
parent | c9bb1becf98d02123666eb084de88a443e1a2544 (diff) | |
parent | 1a39672b01dc236068475e2d1a8a6f21814cba7e (diff) |
Merge pull request #152 from ashalkhakov/more-tests
More tests.
Diffstat (limited to 'tests/both2.ur')
-rw-r--r-- | tests/both2.ur | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/tests/both2.ur b/tests/both2.ur index c3f25cc9..3190def8 100644 --- a/tests/both2.ur +++ b/tests/both2.ur @@ -1,14 +1,12 @@ fun main () : transaction page = let - fun submit r = return <xml/> + fun handler r = return <xml/> in return <xml> <body> <form> - <textbox{#Text}/><submit action={submit}/> + <textbox{#Text}/><submit action={handler}/> </form> </body> </xml> end - - |