From cd1df17a1dac04f2a353fbc49284b775e78817a5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 16 Nov 2014 14:02:17 -0500
Subject: Make 'required' and 'autofocus' attributes Boolean; add a syntax
 extension for parsing their usual HTML syntax

---
 lib/ur/basis.urs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/ur/basis.urs')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 170df50c..049d1864 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -949,7 +949,7 @@ con formTag = fn (ty :: Type) (inner :: {Unit}) (attrs :: {Type}) =>
                         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]
-- 
cgit v1.2.3