50 in subsubsection ‹Start Example with a CAS_Cmd› |
50 in subsubsection ‹Start Example with a CAS_Cmd› |
51 |
51 |
52 |
52 |
53 ***** priority of WN items is top down, most urgent/simple on top |
53 ***** priority of WN items is top down, most urgent/simple on top |
54 |
54 |
|
55 * WN: |
|
56 * WN: emergency-CS "prepare 14: improved item_to_add" |
|
57 * no code cleanup |
|
58 * ERROR in test/../biegelinie-3.sml outcommented |
|
59 * WN: NEW structure Descriptor.to_string, values_to_string (<--unpack_values), values_rep (<-- pack_atom), |
|
60 ?^^^^^^^^^^ Feedback? (could contain handling input of of values in lists etc) |
|
61 Feedback.args_to_string (<-- descr_vals_to_string), join descr $ values, .. |
|
62 no_brackets (<-- is_NObrack_list) |
|
63 locate SOMEWHERE BEFORE Model_Def (+ needed in Model_Pattern ??!?) |
|
64 <-?-> Input_Descript.thy |
|
65 * WN: thy --> ctxt in by_Add_, ? I_Model.T_TEST ? |
|
66 * WN: use fn in add_single |
|
67 * WN: rename pat2str --> single_to_string |
|
68 * WN: introduce typedecl toreallNOpar, toboollNOpar |
|
69 and remove HACK: before introduction typedecl toreallNOpar, toboollNOpar |
55 * WN: reconsider design max_variants/_TEST |
70 * WN: reconsider design max_variants/_TEST |
56 * WN: (*/---with M_Model.match_itms_oris broken elementwise input to lists---\*) |
71 * WN: (*/---with M_Model.match_itms_oris broken elementwise input to lists---\*) |
57 (*\---with M_Model.match_itms_oris broken elementwise input to lists---/*) |
72 (*\---with M_Model.match_itms_oris broken elementwise input to lists---/*) |
58 several tests marked in Test_Isac.thy, which have out-comments. |
73 several tests marked in Test_Isac.thy, which have out-comments. |
59 repair them together with all <broken elementwise input to lists> |
74 * repair them together with all <broken elementwise input to lists> |
|
75 * repair together with O_Model.to_string "(3, [\"1\", \"2\", \"3\"], #Find, AdditionalValues, [\"[u]\", \"[v]\"])" |
60 * WN: review PblObh {meth, ...} |
76 * WN: review PblObh {meth, ...} |
61 * fill early (Model_Problem?) with Inc [] presents input-templates |
77 * fill early (Model_Problem?) with Inc [] presents input-templates |
62 * try to minimise user's contact with Method: |
78 * try to minimise user's contact with Method: |
63 * M_Model.match_itms_oris can probably be replaced by i_Model.s_make_complete and Pre_Conds.check(?_*) |
79 * M_Model.match_itms_oris can probably be replaced by i_Model.s_make_complete and Pre_Conds.check(?_*) |
64 * WN: uncomment: I_Model.check_internal (*filter (fn (_, _, _, m_field ,_) ..*) |
80 * WN: uncomment: I_Model.check_internal (*filter (fn (_, _, _, m_field ,_) ..*) |
65 after I_Model.s_make_complete does NOT create m_field #undef, "i_model_empty"; |
81 after I_Model.s_make_complete does NOT create m_field #undef, "i_model_empty"; |
66 see test/../i-model.sml --- setup test data for I_Model.s_make_complete --- |
82 see test/../i-model.sml --- setup test data for I_Model.s_make_complete --- |
67 * WN: ---broken elementwise input to lists--- |
83 * WN: ---broken elementwise input to lists--- |
68 * WN: undetected ERROR in autoCalculate --- due to Post_Conds.check? (_OLD .. dispels ?) |
84 * WN: undetected ERROR in autoCalculate --- due to Post_Conds.check? (_OLD .. dispels ?) |
69 * WN: "review (descriptor, ts)"; ts : term list, because this supports element-wise input of lists. |
85 * WN: "review (descriptor, ts)"; ts : term list, because this supports element-wise input of lists. |
70 ts = [_] is determined by <Model_Pattern.is_list_descr descriptor>. |
86 ts = [_] is determined by <Pre_Conds.is_list_descr descriptor>. |
71 Thus, as long (descriptor, ts) is together, ts never contains <Const ("List.list.Cons", _)> -- |
87 Thus, as long (descriptor, ts) is together, ts never contains <Const ("List.list.Cons", _)> -- |
72 this holds for specify-phase internally, but not to the outside (presentation to user, transfer to solve-phase). |
88 this holds for specify-phase internally, but not to the outside (presentation to user, transfer to solve-phase). |
73 TODO: shift this as comment to structure Model_Def, type o_model_single + referenced by datatype i_model_feedback. |
89 TODO: shift this as comment to structure Model_Def, type o_model_single + referenced by datatype i_model_feedback. |
74 TODO: o_model, i_model etc |
90 TODO: o_model, i_model etc |
75 * WN: type descriptor is defind 5 times !!! |
91 * WN: type descriptor is defind 5 times !!! |