118 |
118 |
119 "----- ERROR Illegal reference to internal variable: 'Pure_' -----"; |
119 "----- ERROR Illegal reference to internal variable: 'Pure_' -----"; |
120 "----- ERROR Illegal reference to internal variable: 'Pure_' -----"; |
120 "----- ERROR Illegal reference to internal variable: 'Pure_' -----"; |
121 "----- ERROR Illegal reference to internal variable: 'Pure_' -----"; |
121 "----- ERROR Illegal reference to internal variable: 'Pure_' -----"; |
122 val path = "/tmp/"; |
122 val path = "/tmp/"; |
123 "~~~~~ fun pbls2file, args:"; val (p:path) = (path ^ "pbl/"); |
123 "~~~~~ fun pbls2file, args:"; val (p:filepath) = (path ^ "pbl/"); |
124 get_ptyps (); (*not = []*) |
124 get_ptyps (); (*not = []*) |
125 "~~~~~ fun nodes, args:"; val (pa, ids, po, wfn, (n::ns)) = |
125 "~~~~~ fun nodes, args:"; val (pa, ids, po, wfn, (n::ns)) = |
126 (p, []: string list, [0], pbl2file, (get_ptyps ())); |
126 (p, []: string list, [0], pbl2file, (get_ptyps ())); |
127 "~~~~~ fun node, args:"; val (pa:path, ids, po, wfn, Ptyp (id,[n],ns)) = (pa, ids, po, wfn, n); |
127 "~~~~~ fun node, args:"; val (pa:filepath, ids, po, wfn, Ptyp (id,[n],ns)) = (pa, ids, po, wfn, n); |
128 val po' = lev_on po; |
128 val po' = lev_on po; |
129 wfn (*= pbl2file*) |
129 wfn (*= pbl2file*) |
130 "~~~~~ fun pbl2file, args:"; val ((path:path), (pos:pos), (id:metID), (pbl as {guh,...})) = |
130 "~~~~~ fun pbl2file, args:"; val ((path:filepath), (pos:pos), (id:metID), (pbl as {guh,...})) = |
131 (pa, po', (ids@[id]), n); |
131 (pa, po', (ids@[id]), n); |
132 strs2str id = "[\"e_pblID\"]"; (*true*) |
132 strs2str id = "[\"e_pblID\"]"; (*true*) |
133 pos2str pos = "[1]"; (*true*) |
133 pos2str pos = "[1]"; (*true*) |
134 path ^ guh2filename guh = "/tmp/pbl/pbl_empty.xml"; (*true*) |
134 path ^ guh2filename guh = "/tmp/pbl/pbl_empty.xml"; (*true*) |
135 "~~~~~ fun pbl2xml, args:"; val (id: pblID, {guh,mathauthors,init,cas,met,ppc,prls,thy,where_}) = |
135 "~~~~~ fun pbl2xml, args:"; val (id: pblID, {guh,mathauthors,init,cas,met,ppc,prls,thy,where_}) = |