From f3e50f123c33c26038b601475eeaa619526ad7ab Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 16 Nov 2014 15:20:13 -0500 Subject: More HTML5 AJAX widgets --- tests/html5_cforms.ur | 29 ++++++++++++++++++++++++++++- 1 file changed, 28 insertions(+), 1 deletion(-) (limited to 'tests') diff --git a/tests/html5_cforms.ur b/tests/html5_cforms.ur index a62dbf23..be07d07e 100644 --- a/tests/html5_cforms.ur +++ b/tests/html5_cforms.ur @@ -9,6 +9,15 @@ fun main () : transaction page = d <- source ""; e <- source ""; f <- source ""; + g <- source 1.0; + h <- source 1.0; + i <- source "#CCCCCC"; + j <- source "2014/11/16"; + k <- source "2014/11/16 12:30:45"; + l <- source "2014/11/16 12:30:45"; + m <- source "2014/11"; + n <- source "2014-W7"; + o <- source "12:30:45"; return @@ -17,6 +26,15 @@ fun main () : transaction page = + + + + + + + + +

@@ -25,5 +43,14 @@ fun main () : transaction page = {dn c}; {dn d}; {dn e}; - {dn f} + {dn f}; + {dn g}; + {dn h}; + {dn i}; + {dn j}; + {dn k}; + {dn l}; + {dn m}; + {dn n}; + {dn o} -- cgit v1.2.3