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: make signature of I_Model.s_make_complete equal to I_Model.s_are_complete (pbl_id!) |
|
56 * WN: uncomment: I_Model.check_internal (*filter (fn (_, _, _, m_field ,_) ..*) |
|
57 after I_Model.s_make_complete does NOT create m_field #undef, "i_model_empty"; |
|
58 see test/../i-model.sml --- setup test data for I_Model.s_make_complete --- |
|
59 * WN: replace of_max_variant by max_variants + make_environments |
55 * WN: ---broken elementwise input to lists--- |
60 * WN: ---broken elementwise input to lists--- |
56 * WN: undetected ERROR in autoCalculate --- due to Post_Conds.check? (_OLD .. dispels ?) |
61 * WN: undetected ERROR in autoCalculate --- due to Post_Conds.check? (_OLD .. dispels ?) |
57 * WN: "review (descriptor, ts)"; ts : term list, because this supports element-wise input of lists. |
62 * WN: "review (descriptor, ts)"; ts : term list, because this supports element-wise input of lists. |
58 ts = [_] is determined by <Model_Pattern.is_list_descr descriptor>. |
63 ts = [_] is determined by <Model_Pattern.is_list_descr descriptor>. |
59 Thus, as long (descriptor, ts) is together, ts never contains <Const ("List.list.Cons", _)> -- |
64 Thus, as long (descriptor, ts) is together, ts never contains <Const ("List.list.Cons", _)> -- |