Anubis / Xlib

Commit 388c5fdcf085f42e9c7b899e9be8e958efa5c05c

Authored by totoro
1 parent 4b1a2c45

Fix forgotten update type to last declaration

Showing 1 changed file with 4 additions and 4 deletions   Show diff stats
Inline Side-by-side
web/CXM_dojo.anubis
  Show/Hide comments   View file @388c5fd
@@ -69,7 +69,7 @@ public type Input_Type: @@ -69,7 +69,7 @@ public type Input_Type:
69 public type InputDial: 69 public type InputDial:
70 input_dial(HtmlId id, Input_Type input_type, String label, Maybe(String) class), 70 input_dial(HtmlId id, Input_Type input_type, String label, Maybe(String) class),
71 input_date(HtmlId id, String label), 71 input_date(HtmlId id, String label),
72 - input_combo(HtmlId id, String label, List((WebArgValue,String)) list_data), 72 + input_combo(HtmlId id, String label, List((List(CoreAttrs), WebArgValue, String)) list_data),
73 input_check(HtmlId id, String label, Bool checked), 73 input_check(HtmlId id, String label, Bool checked),
74 input_hidden(HtmlId id, WebArgValue value). 74 input_hidden(HtmlId id, WebArgValue value).
75 75
@@ -77,14 +77,14 @@ public type InputDial: @@ -77,14 +77,14 @@ public type InputDial:
77 define List(HTML_Off_Form) 77 define List(HTML_Off_Form)
78 format_list_data 78 format_list_data
79 ( 79 (
80 - List((WebArgValue,String)) list_data, 80 + List((List(CoreAttrs), WebArgValue, String)) list_data,
81 List(HTML_Off_Form) result_list 81 List(HTML_Off_Form) result_list
82 )= 82 )=
83 if list_data is 83 if list_data is
84 { 84 {
85 [] then result_list, 85 [] then result_list,
86 [h . t] then 86 [h . t] then
87 - if h is (wa, label) then 87 + if h is (_, wa, label) then
88 format_list_data(t, [literal("<option value=\"" + wa.value + "\">" + label + "</option>") . result_list]) 88 format_list_data(t, [literal("<option value=\"" + wa.value + "\">" + label + "</option>") . result_list])
89 }. 89 }.
90 90
@@ -94,7 +94,7 @@ public define HTML_Off_Form @@ -94,7 +94,7 @@ public define HTML_Off_Form
94 WebArgName the_name, 94 WebArgName the_name,
95 HtmlId the_id, 95 HtmlId the_id,
96 String label, 96 String label,
97 - List((WebArgValue,String)) list_data, 97 + List((List(CoreAttrs), WebArgValue, String)) list_data,
98 )= 98 )=
99 sequence([ 99 sequence([
100 literal("<label for=\"" + the_id.id + "\">" + label + "</label> 100 literal("<label for=\"" + the_id.id + "\">" + label + "</label>