diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-11-25 09:03:08 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-11-25 09:03:08 -0500 |
| commit | 200bed939aed2ef51b4dce74cec6f6720fe8f7d7 (patch) | |
| tree | 9c1550161f62841c83d9b8ccb39a6756305737b8 /tests | |
| parent | 92ef621511425ae4ffb2873f4ce9d31ad0f0ed5d (diff) | |
Better error message for link-handler conflicts
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/both.ur | 9 | ||||
| -rw-r--r-- | tests/both.urp | 2 | ||||
| -rw-r--r-- | tests/both2.ur | 14 | ||||
| -rw-r--r-- | tests/both2.urp | 2 |
4 files changed, 27 insertions, 0 deletions
diff --git a/tests/both.ur b/tests/both.ur new file mode 100644 index 00000000..d1c9f40e --- /dev/null +++ b/tests/both.ur @@ -0,0 +1,9 @@ +fun main () : transaction page = return <xml> + <body> + <form> + <textbox{#Text}/><submit action={submit}/> + </form> + </body> +</xml> + +and submit r = return <xml/> diff --git a/tests/both.urp b/tests/both.urp new file mode 100644 index 00000000..a29c8ea1 --- /dev/null +++ b/tests/both.urp @@ -0,0 +1,2 @@ + +both diff --git a/tests/both2.ur b/tests/both2.ur new file mode 100644 index 00000000..c3f25cc9 --- /dev/null +++ b/tests/both2.ur @@ -0,0 +1,14 @@ +fun main () : transaction page = + let + fun submit r = return <xml/> + in + return <xml> + <body> + <form> + <textbox{#Text}/><submit action={submit}/> + </form> + </body> + </xml> + end + + diff --git a/tests/both2.urp b/tests/both2.urp new file mode 100644 index 00000000..8e85a838 --- /dev/null +++ b/tests/both2.urp @@ -0,0 +1,2 @@ + +both2 |