From 388c5fdcf085f42e9c7b899e9be8e958efa5c05c Mon Sep 17 00:00:00 2001 From: totoro Date: Sat, 12 Jul 2014 12:21:44 +0200 Subject: [PATCH] Fix forgotten update type to last declaration --- web/CXM_dojo.anubis | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/web/CXM_dojo.anubis b/web/CXM_dojo.anubis index 91920b6..768a8ca 100644 --- a/web/CXM_dojo.anubis +++ b/web/CXM_dojo.anubis @@ -69,7 +69,7 @@ public type Input_Type: public type InputDial: input_dial(HtmlId id, Input_Type input_type, String label, Maybe(String) class), input_date(HtmlId id, String label), - input_combo(HtmlId id, String label, List((WebArgValue,String)) list_data), + input_combo(HtmlId id, String label, List((List(CoreAttrs), WebArgValue, String)) list_data), input_check(HtmlId id, String label, Bool checked), input_hidden(HtmlId id, WebArgValue value). @@ -77,14 +77,14 @@ public type InputDial: define List(HTML_Off_Form) format_list_data ( - List((WebArgValue,String)) list_data, + List((List(CoreAttrs), WebArgValue, String)) list_data, List(HTML_Off_Form) result_list )= if list_data is { [] then result_list, [h . t] then - if h is (wa, label) then + if h is (_, wa, label) then format_list_data(t, [literal("") . result_list]) }. @@ -94,7 +94,7 @@ public define HTML_Off_Form WebArgName the_name, HtmlId the_id, String label, - List((WebArgValue,String)) list_data, + List((List(CoreAttrs), WebArgValue, String)) list_data, )= sequence([ literal(" -- libgit2 0.21.4