1.1 --- a/test/Tools/isac/Knowledge/build_thydata.sml	Sun Jun 30 17:27:34 2013 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/build_thydata.sml	Thu Jul 11 16:58:31 2013 +0200
     1.3 @@ -16,6 +16,7 @@
     1.4  "-------- compute val rlsthmsNOTisac --------------------";
     1.5  "-------- hard-coded val rlsthmsNOTisac -----------------";
     1.6  "-------- the_hier (! thehier) (collect_thydata ())------";
     1.7 +"-------- retrieve errpats ------------------------------";
     1.8  "--------------------------------------------------------";
     1.9  "--------------------------------------------------------";
    1.10  "--------------------------------------------------------";
    1.11 @@ -1090,3 +1091,11 @@
    1.12   val it = (): unit
    1.13   
    1.14  *)
    1.15 +
    1.16 +"-------- retrieve errpats ------------------------------";
    1.17 +"-------- retrieve errpats ------------------------------";
    1.18 +"-------- retrieve errpats ------------------------------";
    1.19 +val {errpats, nrls, scr = Prog prog, ...} = get_met ["diff", "differentiate_on_R"];
    1.20 +case errpats of [("chain-rule-diff-both", _, _)] => () 
    1.21 +  | _ => error "errpats chain-rule-diff-both changed"
    1.22 +