TODO.md
changeset 60729 43d11e7742e1
parent 60723 ebc31bd46151
child 60743 fd390a6aa294
     1.1 --- a/TODO.md	Fri Aug 04 23:07:04 2023 +0200
     1.2 +++ b/TODO.md	Tue Aug 15 12:22:49 2023 +0200
     1.3 @@ -52,6 +52,8 @@
     1.4  
     1.5  ***** priority of WN items is top down, most urgent/simple on top
     1.6  
     1.7 +* WN: ---broken elementwise input to lists---
     1.8 +* WN: undetected ERROR in autoCalculate --- due to Post_Conds.check? (_OLD .. dispels ?)
     1.9  * WN: "review (descriptor, ts)"; ts : term list, because this supports element-wise input of lists.
    1.10    ts = [_] is determined by <Model_Pattern.is_list_descr descriptor>.
    1.11    Thus, as long (descriptor, ts) is together, ts never contains <Const ("List.list.Cons", _)> --