diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2017-01-07 08:38:35 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2017-01-07 08:38:35 -0500 |
commit | 6145d9df05f442e29dfa96a0b8e15ffcc2d683dd (patch) | |
tree | 447639a278556e40c0f7a5784ba4b645f80c1187 /tests | |
parent | 235602373c04aa38b7f8c93e6efbd9276ecc2266 (diff) | |
parent | 4bbdbbc72d96567f8c5a1d435beef32d447dec30 (diff) |
Merge branch 'upstream' into dfsg_clean20170105+dfsg
Diffstat (limited to 'tests')
-rw-r--r-- | tests/crud1.html | 3 | ||||
-rw-r--r-- | tests/formid.ur | 9 | ||||
-rw-r--r-- | tests/formid.urs | 1 | ||||
-rw-r--r-- | tests/qualrecord.ur | 7 | ||||
-rw-r--r-- | tests/textarea_placeholder.ur | 12 | ||||
-rw-r--r-- | tests/textarea_placeholder.urs | 1 |
6 files changed, 31 insertions, 2 deletions
diff --git a/tests/crud1.html b/tests/crud1.html index 92cd1942..b1f34b54 100644 --- a/tests/crud1.html +++ b/tests/crud1.html @@ -24,8 +24,7 @@ </table> <br /><hr /><br /> - - <form method="post" action="/Demo/Crud1/create"> +<form method="post" action="/Demo/Crud1/create"> <li> A: <input type="text" name="A" /></li> <li> B: <input type="text" name="B" /></li> <li> C: <input type="text" name="C" /></li> diff --git a/tests/formid.ur b/tests/formid.ur new file mode 100644 index 00000000..c9e3317d --- /dev/null +++ b/tests/formid.ur @@ -0,0 +1,9 @@ +fun handler () = return <xml></xml> + +fun main () : transaction page = + id <- fresh; + return <xml><body> + <form id={id}> + <submit action={handler}/> + </form> + </body></xml> diff --git a/tests/formid.urs b/tests/formid.urs new file mode 100644 index 00000000..6ac44e0b --- /dev/null +++ b/tests/formid.urs @@ -0,0 +1 @@ +val main : unit -> transaction page diff --git a/tests/qualrecord.ur b/tests/qualrecord.ur new file mode 100644 index 00000000..4db64e5f --- /dev/null +++ b/tests/qualrecord.ur @@ -0,0 +1,7 @@ +structure M = struct + con the_best_name = #Wiggles + con the_runner_up = #Beppo +end + +val x : {M.the_best_name : int, A : int, M.the_runner_up : int} = + {M.the_best_name = 8, A = 9, M.the_runner_up = 10} diff --git a/tests/textarea_placeholder.ur b/tests/textarea_placeholder.ur new file mode 100644 index 00000000..b328f838 --- /dev/null +++ b/tests/textarea_placeholder.ur @@ -0,0 +1,12 @@ +fun lame _ = return <xml/> + +fun main () = + s <- source ""; + return <xml><body> + <form> + <textarea{#Text} placeholder="Type something here."/> + <submit action={lame}/> + </form> + + <ctextarea source={s} placeholder="Absolutely don't type something here."/> + </body></xml> diff --git a/tests/textarea_placeholder.urs b/tests/textarea_placeholder.urs new file mode 100644 index 00000000..6ac44e0b --- /dev/null +++ b/tests/textarea_placeholder.urs @@ -0,0 +1 @@ +val main : unit -> transaction page |