text_input and hidden use WebArgName and not Maybe(WebArgName)

Steve MARECHAL
1 parent 758138e4
Showing 1 changed file with 6 additions and 23 deletions Show diff stats
calexium_lib/web/CXM_making_a_web_site.anubis
@@ -1037,7 +1037,7 @@ public type HTML_In_Form:
    foreign_link          (List(Text_Option), String url, String name),
    private_download      (String abs_path, String name, String extra_ext, 
                             Maybe((String,List((String,String)))) action),    
-   text_input            (List(InputAttrs), String label_text, HtmlId id, Maybe(WebArgName) name, InitialValue init, Int width), 
+   text_input            (List(InputAttrs), String label_text, HtmlId id, WebArgName name, InitialValue init, Int width), 
    text_input_ro         (List(InputAttrs), String label_text, HtmlId id, WebArgName name, InitialValue init, Int width), 
    password_input        (List(InputAttrs), String label_text, HtmlId id, WebArgName name, InitialValue init, Int width), 
    text_area             (List(TextAreaOption), String label_text, HtmlId id, WebArgName name, InitialValue init, Int width, Int height), 
@@ -1055,7 +1055,7 @@ public type HTML_In_Form:
    check_box_r           (List(InputAttrs), String label_text, HtmlId id, WebArgName name, WebArgValue value, Bool checked),
    div                   (List(CoreAttrs), HTML_In_Form content),
    div_empty             (List(CoreAttrs)),
-   hidden                (HtmlId id, Maybe(WebArgName) name, InitialValue init).
+   hidden                (HtmlId id, WebArgName name, InitialValue init).
    'HTML_In_Form'  defines all  the  elements  you may  put  within a  form.  We define  a
@@ -1198,14 +1198,8 @@ public define HTML_In_Form
   = file_upload([], "", htmlId(""), name, width).
 public define HTML_In_Form
-  hidden  (Maybe(WebArgName) name, InitialValue init)
-  = with web_name =
-      if name is
-      {
-        failure then "",
-        success(w_name) then
-          if w_name is wan(the_w_name) then the_w_name
-      },
+  hidden  (WebArgName name, InitialValue init)
+  = if name is wan(web_name) then
   hidden(htmlId(web_name), name, init).
 public type HTML_Body:...
@@ -3976,13 +3970,7 @@ define Printable_tree
          format(cinfo,sn,ic_v,any_private_download(url,name,extra,action),format_element,is_https),    
        text_input(options, label_text, id, name, i, w)           then 
          [ maybe_label(label_text, id), 
-           "<input type=\"text\"", if name is 
-                                   {
-                                     failure then [""],
-                                     success(the_name) then [" name=\"",the_name,"\""] 
-                                   },  
-                                   " id=\"",id,"\" size=\"",w,"\" value=\"",i,"\"",format_attrs(options)," />"],
-                                   
+           "<input type=\"text\" name=\"",name,"\" id=\"",id,"\" size=\"",w,"\" value=\"",i,"\"",format_attrs(options)," />"],
        text_input_ro(options, label_text, id, name,i,w)           then 
          [ maybe_label(label_text, id), 
            "<input readonly=\"readonly\" type=\"text\" name=\"",name,"\" id=\"",id,"\" size=\"",w,"\" value=\"",i,"\"",format_attrs(options)," />"],
@@ -4024,12 +4012,7 @@ define Printable_tree
        div_empty(options)           then
         format(cinfo,sn,ic_v,any_div_empty(options),format_element,is_https),
        hidden(id, name, value)          then
-         ["<input type=\"hidden\" id=\"",id,"\"",
-                                  if name is
-                                  {
-                                    failure then [""],
-                                     success(the_name) then [" name=\"",the_name,"\""] 
-                                  }, " value=\"",value,"\" />"],
+         ["<input type=\"hidden\" id=\"",id,"\" name=\"",name,"\" value=\"",value,"\" />"],
      }.