Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/Knowledge/rateq.sml
changeset 60565 f92963a33fe3
parent 60559 aba19e46dd84
child 60571 19a172de0bb5
equal deleted inserted replaced
60564:90ea835c07b3 60565:f92963a33fe3 
   158 *)
 
   158 *)
 
   159 
   159 
   160 val Applicable.Yes (Check_elementwise' (curr_form, pred, (res, asms))) = check p''''' pt''''' m''''';
 
   160 val Applicable.Yes (Check_elementwise' (curr_form, pred, (res, asms))) = check p''''' pt''''' m''''';
 
   161 UnparseC.term curr_form = "[x = 1 / 5]";
 
   161 UnparseC.term curr_form = "[x = 1 / 5]";
 
   162 pred = "Assumptions";
 
   162 pred = "Assumptions";
 
   163 res = TermC.str2term "[]::bool list";
 
   163 res = TermC.parse_test @{context} "[]::bool list";
 
   164 asms = [];
 
   164 asms = [];
 
   165 
   165 
   166 val (p,_,f,nxt,_,pt) = me nxt''' p''' [] pt'''; (*<<<----- this caused the error*)
 
   166 val (p,_,f,nxt,_,pt) = me nxt''' p''' [] pt'''; (*<<<----- this caused the error*)
 
   167 f2str f = "[]";
 
   167 f2str f = "[]";
 
   168 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   168 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
wneuper/isa