From 049d3500132b56ac2429a8a6ee0cc5ba1fbaae5a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 16 Nov 2014 15:03:29 -0500 Subject: Textual HTML5 AJAX widgets --- tests/html5_cforms.ur | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 tests/html5_cforms.ur (limited to 'tests/html5_cforms.ur') diff --git a/tests/html5_cforms.ur b/tests/html5_cforms.ur new file mode 100644 index 00000000..a62dbf23 --- /dev/null +++ b/tests/html5_cforms.ur @@ -0,0 +1,29 @@ +fun dn [a] (_ : show a) (x : source a) : xbody = + + + +fun main () : transaction page = + a <- source ""; + b <- source True; + c <- source "a@b"; + d <- source ""; + e <- source ""; + f <- source ""; + + return + + + + + + + +

+ + {dn a}; + {dn b}; + {dn c}; + {dn d}; + {dn e}; + {dn f} + -- cgit v1.2.3