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/both.ur | |
| parent | c9bb1becf98d02123666eb084de88a443e1a2544 (diff) | |
| parent | 1a39672b01dc236068475e2d1a8a6f21814cba7e (diff) | |
Merge pull request #152 from ashalkhakov/more-tests
More tests.
Diffstat (limited to 'tests/both.ur')
| -rw-r--r-- | tests/both.ur | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tests/both.ur b/tests/both.ur index d1c9f40e..b0f2a493 100644 --- a/tests/both.ur +++ b/tests/both.ur @@ -1,9 +1,10 @@ fun main () : transaction page = return <xml> <body> <form> - <textbox{#Text}/><submit action={submit}/> + <textbox{#Text}/> + <submit action={handler}/> </form> </body> </xml> -and submit r = return <xml/> +and handler r = return <xml/> |