4 (c) due to copyright terms
6 use"../smltest/Scripts/tools.sml";
11 "-----------------------------------------------------------------";
12 "table of contents -----------------------------------------------";
13 "-----------------------------------------------------------------";
14 "----------- fun matchsub ----------------------------------------";
15 "-----------------------------------------------------------------";
16 "-----------------------------------------------------------------";
17 "-----------------------------------------------------------------";
20 "----------- fun matchsub ----------------------------------------";
21 "----------- fun matchsub ----------------------------------------";
22 "----------- fun matchsub ----------------------------------------";
23 if matchsub thy (str2term "(a + (b + c))") (str2term "?x + (?y + ?z)")
24 then () else error "tools.sml matchsub a + (b + c)";
26 if matchsub thy (str2term "(a + (b + c)) + d") (str2term "?x + (?y + ?z)")
27 then () else error "tools.sml matchsub (a + (b + c)) + d";