Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/Minisubpbl/200-start-method.sml
changeset 59898 68883c046963
parent 59881 bdced24f62bf
child 59903 5037ca1b112b 
     1.1 --- a/test/Tools/isac/Minisubpbl/200-start-method.sml	Tue Apr 21 12:26:08 2020 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/200-start-method.sml	Tue Apr 21 15:42:50 2020 +0200
     1.3 @@ -64,14 +64,14 @@
     1.4  	  (*expects same sequence of (actual) args in itms and (formal) args in met*)
     1.5  fun msg_miss sc metID caller f formals actuals =
     1.6    "ERROR in creating the environment from formal args. of partial_function \"" ^ fst (Program.get_fun_id sc) ^ "\"\n" ^
     1.7 -	"and the actual args., ie. items of the guard of \"" ^ Celem.metID2str metID ^ "\" by \"" ^ caller ^ "\":\n" ^
     1.8 +	"and the actual args., ie. items of the guard of \"" ^ Spec.metID2str metID ^ "\" by \"" ^ caller ^ "\":\n" ^
     1.9  	"formal arg \"" ^ UnparseC.term f ^ "\" doesn't mach an actual arg.\n" ^
    1.10  	"with:\n" ^
    1.11  	(string_of_int o length) formals ^ " formal args: " ^ UnparseC.terms formals ^ "\n" ^
    1.12  	(string_of_int o length) actuals ^ " actual args: " ^ UnparseC.terms actuals
    1.13  fun msg_ambiguous sc metID f aas formals actuals =
    1.14    "AMBIGUITY in creating the environment from formal args. of partial_function \"" ^ fst (Program.get_fun_id sc) ^ "\"\n" ^
    1.15 -	"and the actual args., ie. items of the guard of \"" ^ Celem.metID2str metID ^ "\" by \"assoc_by_type\":\n" ^
    1.16 +	"and the actual args., ie. items of the guard of \"" ^ Spec.metID2str metID ^ "\" by \"assoc_by_type\":\n" ^
    1.17    "formal arg. \"" ^ UnparseC.term f ^ "\" type-matches with several..."  ^
    1.18    "actual args. \"" ^ UnparseC.terms aas ^ "\"\n" ^
    1.19    "selected \"" ^ UnparseC.term (hd aas) ^ "\"\n" ^
    1.20 @@ -125,7 +125,7 @@
    1.21  case pIopt of SOME _ => ();
    1.22  
    1.23  "~~~~~ and do_next , args:"; val (ptp as (pt, pos as (p, p_))) = (pt,ip);
    1.24 -Celem.e_metID = get_obj g_metID pt (par_pblobj pt p) (* = false*);
    1.25 +Spec.e_metID = get_obj g_metID pt (par_pblobj pt p) (* = false*);
    1.26          val thy' = get_obj g_domID pt (par_pblobj pt p);
    1.27  	      val (is, sc) = LItool.resume_prog thy' (p,p_) pt;
    1.28  "~~~~~ fun find_next_step , args:"; val ((ptp as(pt, (p, _))), (Rule.Prog prog), (Istate.Pstate ist, ctxt))
wneuper/isa