Add unit argument for constant attribs

Author: vasilisp

lib/html_f.ml

@@ -79,7 +79,7 @@ struct
 
   let bool_attrib = user_attrib C.string_of_bool
 
-  let constant_attrib a =
+  let constant_attrib a () =
     string_attrib a (W.return a)
 
   let linktypes_attrib name x =

lib/html_sigs.mli

@@ -252,13 +252,13 @@ module type T = sig
 
   val a_autocomplete : bool wrap -> [> | `Autocomplete] attrib
 
-  val a_async : [> | `Async] attrib
+  val a_async : unit -> [> | `Async] attrib
 
-  val a_autofocus : [> | `Autofocus] attrib
+  val a_autofocus : unit -> [> | `Autofocus] attrib
 
-  val a_autoplay : [> | `Autoplay] attrib
+  val a_autoplay : unit -> [> | `Autoplay] attrib
 
-  val a_muted : [> | `Muted] attrib
+  val a_muted : unit -> [> | `Muted] attrib
 
   val a_crossorigin :
     [< | `Anonymous | `Use_credentials ] wrap -> [> | `Crossorigin ] attrib
@@ -271,7 +271,7 @@ module type T = sig
 
   val a_contextmenu : idref wrap -> [> | `Contextmenu] attrib
 
-  val a_controls : [> | `Controls] attrib
+  val a_controls : unit -> [> | `Controls] attrib
 
   val a_dir : [< | `Rtl | `Ltr] wrap -> [> | `Dir] attrib
 
@@ -283,23 +283,23 @@ module type T = sig
 
   val a_formenctype : contenttype wrap -> [> | `Formenctype] attrib
 
-  val a_formnovalidate : [> | `Formnovalidate] attrib
+  val a_formnovalidate : unit -> [> | `Formnovalidate] attrib
 
   val a_formtarget : text wrap -> [> | `Formtarget] attrib
 
-  val a_hidden : [> | `Hidden] attrib
+  val a_hidden : unit -> [> | `Hidden] attrib
 
   val a_high : float_number wrap -> [> | `High] attrib
 
   val a_icon : Xml.uri wrap -> [> | `Icon] attrib
 
-  val a_ismap : [> | `Ismap] attrib
+  val a_ismap : unit -> [> | `Ismap] attrib
 
   val a_keytype : text wrap -> [> | `Keytype] attrib
 
   val a_list : idref wrap -> [> | `List] attrib
 
-  val a_loop : [> | `Loop] attrib
+  val a_loop : unit -> [> | `Loop] attrib
 
   val a_low : float_number wrap -> [> | `High] attrib
 
@@ -321,9 +321,9 @@ module type T = sig
     [> `Inputmode] attrib
   (** @see <https://developer.mozilla.org/en-US/docs/Web/HTML/Element/input#Attributes> Input HTML documentation. *)
 
-  val a_novalidate : [> | `Novalidate] attrib
+  val a_novalidate : unit -> [> | `Novalidate] attrib
 
-  val a_open : [> | `Open] attrib
+  val a_open : unit -> [> | `Open] attrib
 
   val a_optimum : float_number wrap -> [> | `Optimum] attrib
 
@@ -335,21 +335,21 @@ module type T = sig
 
   val a_preload : [< | `None | `Metadata | `Audio] wrap -> [> | `Preload] attrib
 
-  val a_pubdate : [> | `Pubdate] attrib
+  val a_pubdate : unit -> [> | `Pubdate] attrib
 
   val a_radiogroup : text wrap -> [> | `Radiogroup] attrib
 
-  val a_required : [> | `Required] attrib
+  val a_required : unit -> [> | `Required] attrib
 
-  val a_reversed : [> | `Reversed] attrib
+  val a_reversed : unit -> [> | `Reversed] attrib
 
   val a_sandbox : [< | sandbox_token ] list wrap -> [> | `Sandbox] attrib
 
   val a_spellcheck : bool wrap -> [> | `Spellcheck] attrib
 
-  val a_scoped : [> | `Scoped] attrib
+  val a_scoped : unit -> [> | `Scoped] attrib
 
-  val a_seamless : [> | `Seamless] attrib
+  val a_seamless : unit -> [> | `Seamless] attrib
 
   val a_sizes : (number * number) list option wrap -> [> | `Sizes] attrib
 
@@ -444,7 +444,7 @@ module type T = sig
   (** This attribute specifies a form processing agent. User agent
       behavior for a value other than an HTTP URI is undefined. *)
 
-  val a_checked : [> | `Checked] attrib
+  val a_checked : unit -> [> | `Checked] attrib
   (** When the [type] attribute has the value ["radio"] or
       ["checkbox"], this boolean attribute specifies that the
       button is on. User agents must ignore this attribute for
@@ -485,7 +485,7 @@ module type T = sig
     [@@ocaml.deprecated "Use a_method"]
   (** @deprecated Use a_method *)
 
-  val a_multiple : [> | `Multiple] attrib
+  val a_multiple : unit -> [> | `Multiple] attrib
 
   val a_name : text wrap -> [> | `Name] attrib
   (** This attribute assigns the control name. *)
@@ -497,7 +497,7 @@ module type T = sig
       the contents of the control when the contents extend beyond
       the visible area. *)
 
-  val a_selected : [> | `Selected] attrib
+  val a_selected : unit -> [> | `Selected] attrib
   (** When set, this boolean attribute specifies that
       this option is pre-selected. *)
 
@@ -545,9 +545,9 @@ module type T = sig
   val a_float_value : float_number wrap -> [> | `Float_Value] attrib
     [@@reflect.attribute "value" ["progress"; "meter"]]
 
-  val a_disabled : [> | `Disabled] attrib
+  val a_disabled : unit -> [> | `Disabled] attrib
 
-  val a_readonly : [> | `ReadOnly] attrib
+  val a_readonly : unit -> [> | `ReadOnly] attrib
   val a_button_type :
     [< | `Button | `Submit | `Reset] wrap -> [> | `Button_Type] attrib
       [@@reflect.attribute "type" ["button"]]
@@ -618,7 +618,7 @@ module type T = sig
 
   val a_http_equiv : text wrap -> [> | `Http_equiv] attrib
 
-  val a_defer :[> | `Defer] attrib
+  val a_defer : unit -> [> | `Defer] attrib
 
   val a_media : mediadesc wrap -> [> | `Media] attrib