Mercurial > urweb

diff lib/ur/basis.urs @ 2075:fde864eacd47

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make 'required' and 'autofocus' attributes Boolean; add a syntax extension for parsing their usual HTML syntax
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 14:02:17 -0500
parents e48e09a1f583
children 855d7746a084
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sun Oct 12 10:03:36 2014 +0000
+++ b/lib/ur/basis.urs	Sun Nov 16 14:02:17 2014 -0500
@@ -949,7 +949,7 @@
                         nm :: Name -> unit
                         -> tag attrs ([Form] ++ ctx) inner [] [nm = ty]
 
-con inputAttrs = [Required = string, Autofocus = string]
+con inputAttrs = [Required = bool, Autofocus = bool]
 
 
 val hidden : formTag string [] [Data = data_attr, Id = string, Value = string]