1.1 --- a/TODO.md	Sat Aug 14 18:13:37 2021 +0200
     1.2 +++ b/TODO.md	Sat Aug 14 18:49:36 2021 +0200
     1.3 @@ -57,7 +57,10 @@
     1.4      https://hg.risc.uni-linz.ac.at/wneuper/isa/file/a14022b99b92/src/Tools/isac/ProgLang/evaluate.sml#l210
     1.5  
     1.6  * WN: "fun pr_ord" is not required if used with @{make_string}, @{print}, @{print tracing};
     1.7 -      ???
     1.8 +    takes only static arguments ----------------^^^^^^^^^^^^^^, not value of "hd_ord (f, g)"
     1.9 +    ? are there better approximations to old output of (*1*) than with (*2*)
    1.10 +    (*1*)val _ = tracing ("hd_ord (f, g)      = " ^ ((pr_ord o hd_ord) (f, g)) );
    1.11 +    (*2*)val _ = @{print tracing}{a = "hd_ord (f, g)      = ", z = hd_ord (f, g)}(**)
    1.12  
    1.13  * WN: reduce the number of TermC.parse*;
    1.14    + 0d22a6bf1fc6 was too much for 1 changeset