equal
deleted
inserted
replaced
800 | scan id ((Ptyp ((i,_,[])))::[]) = [id@[i]] |
800 | scan id ((Ptyp ((i,_,[])))::[]) = [id@[i]] |
801 | scan id ((Ptyp ((i,_,pl)))::[]) = scan (id@[i]) pl |
801 | scan id ((Ptyp ((i,_,pl)))::[]) = scan (id@[i]) pl |
802 | scan id ((Ptyp ((i,_,[])))::ps) = [id@[i]] @(scan id ps) |
802 | scan id ((Ptyp ((i,_,[])))::ps) = [id@[i]] @(scan id ps) |
803 | scan id ((Ptyp ((i,_,pl)))::ps) =(scan (id@[i]) pl)@(scan id ps); |
803 | scan id ((Ptyp ((i,_,pl)))::ps) =(scan (id@[i]) pl)@(scan id ps); |
804 |
804 |
805 fun show_ptyps () = (tracing o format_pblIDl o (scan [])) (!ptyps); |
805 fun show_ptyps () = (writeln o format_pblIDl o (scan [])) (!ptyps); |
806 (* ptyps:=[]; |
806 (* ptyps:=[]; |
807 show_ptyps(); |
807 show_ptyps(); |
808 *) |
808 *) |
809 fun show_mets () = (tracing o format_pblIDl o (scan [])) (!mets); |
809 fun show_mets () = (writeln o format_pblIDl o (scan [])) (!mets); |
810 |
810 |
811 |
811 |
812 |
812 |
813 (*vvvvv---------- preparational work 8.01. UNUSED *) |
813 (*vvvvv---------- preparational work 8.01. UNUSED *) |
814 (**+ instantiate a problem-type +**) |
814 (**+ instantiate a problem-type +**) |