From b24e1be86bca114f8a025c9b860e84e278044a5e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 16 Nov 2014 14:39:38 -0500 Subject: Some more HTML5 input types --- tests/html5_forms.ur | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) (limited to 'tests/html5_forms.ur') diff --git a/tests/html5_forms.ur b/tests/html5_forms.ur index a9bf7f77..507ea3cf 100644 --- a/tests/html5_forms.ur +++ b/tests/html5_forms.ur @@ -6,6 +6,15 @@ fun handler r = return E: {[r.E]}
F: {[r.F]}
G: {[r.G]}
+ H: {[r.H]}
+ I: {[r.I]}
+ J: {[r.J]}
+ K: {[r.K]}
+ L: {[r.L]}
+ M: {[r.M]}
+ N: {[r.N]}
+ O: {[r.O]}
+ P: {[r.P]}
fun main () = @@ -19,6 +28,18 @@ fun main () = +

+ + + + + + + + + + + -- cgit v1.2.3