735 "["Real.real, "Real.real] => "Real.real") $ |
735 "["Real.real, "Real.real] => "Real.real") $ |
736 Free ("x", "Real.real") $ Free ("2", "Real.real")) $ |
736 Free ("x", "Real.real") $ Free ("2", "Real.real")) $ |
737 Free ("1", "Real.real")) $ |
737 Free ("1", "Real.real")) $ |
738 Free ("x", "Real.real"))), |
738 Free ("x", "Real.real"))), |
739 ostate = Incomplete, result = (Const ("empty", "'a"), [])}, |
739 ostate = Incomplete, result = (Const ("empty", "'a"), [])}, |
740 []) : ptree*) |
740 []) : ctree*) |
741 "----- WN101007 worked until here (checked same as isac2002) ---"; |
741 "----- WN101007 worked until here (checked same as isac2002) ---"; |
742 case nxt of ("Model_Problem", Model_Problem) => () |
742 case nxt of ("Model_Problem", Model_Problem) => () |
743 | _ => error "clchead.sml: check specify phase step 1"; |
743 | _ => error "clchead.sml: check specify phase step 1"; |
744 "--- step 2 --"; |
744 "--- step 2 --"; |
745 val (p,_,f,nxt,_,pt) = me nxt p c pt; (*Florian: see response buffer, top*) |
745 val (p,_,f,nxt,_,pt) = me nxt p c pt; (*Florian: see response buffer, top*) |
808 "["Real.real, "Real.real] => "Real.real") $ |
808 "["Real.real, "Real.real] => "Real.real") $ |
809 Free ("x", "Real.real") $ Free ("2", "Real.real")) $ |
809 Free ("x", "Real.real") $ Free ("2", "Real.real")) $ |
810 Free ("1", "Real.real")) $ |
810 Free ("1", "Real.real")) $ |
811 Free ("x", "Real.real"))), |
811 Free ("x", "Real.real"))), |
812 ostate = Incomplete, result = (Const ("empty", "'a"), [])}, |
812 ostate = Incomplete, result = (Const ("empty", "'a"), [])}, |
813 []) : ptree*) |
813 []) : ctree*) |
814 "----- WN101007 ptree checked same as isac2002, diff. in nxt --- REPAIRED"; |
814 "----- WN101007 ctree checked same as isac2002, diff. in nxt --- REPAIRED"; |
815 case nxt of ("Add_Given", Add_Given "functionTerm (x + 1)") => () |
815 case nxt of ("Add_Given", Add_Given "functionTerm (x + 1)") => () |
816 | _ => error "clchead.sml: check specify phase step 2"; |
816 | _ => error "clchead.sml: check specify phase step 2"; |
817 "--- step 3 --"; |
817 "--- step 3 --"; |
818 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
818 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
819 "----- WN101008 ptree checked same as isac2002, diff. in nxt --- REPAIRED"; |
819 "----- WN101008 ctree checked same as isac2002, diff. in nxt --- REPAIRED"; |
820 case nxt of ("Add_Given", Add_Given "integrateBy x") => () |
820 case nxt of ("Add_Given", Add_Given "integrateBy x") => () |
821 | _ => error "clchead.sml: check specify phase step 2"; |
821 | _ => error "clchead.sml: check specify phase step 2"; |
822 |
822 |
823 "--------- check: fmz matches pbt -----------------------"; |
823 "--------- check: fmz matches pbt -----------------------"; |
824 "--------- check: fmz matches pbt -----------------------"; |
824 "--------- check: fmz matches pbt -----------------------"; |