--- a/src/HOLCF/IOA/ABP/Check.ML Tue Oct 27 22:55:27 2009 +0100
+++ b/src/HOLCF/IOA/ABP/Check.ML Tue Oct 27 22:56:14 2009 +0100
@@ -15,8 +15,8 @@
fun check(extacts,intacts,string_of_a,startsI,string_of_s,
nexts,hom,transA,startsS) =
let fun check_s(s,unchecked,checked) =
- let fun check_sa(unchecked,a) =
- let fun check_sas(unchecked,t) =
+ let fun check_sa a unchecked =
+ let fun check_sas t unchecked =
(if a mem extacts then
(if transA(hom s,a,hom t) then ( )
else (writeln("Error: Mapping of Externals!");
@@ -29,8 +29,8 @@
string_of_a a; writeln"";
string_of_s t;writeln"";writeln"" ));
if t mem checked then unchecked else insert (op =) t unchecked)
- in Library.foldl check_sas (unchecked,nexts s a) end;
- val unchecked' = Library.foldl check_sa (unchecked,extacts @ intacts)
+ in fold check_sas (nexts s a) unchecked end;
+ val unchecked' = fold check_sa (extacts @ intacts) unchecked
in (if s mem startsI then
(if hom(s) mem startsS then ()
else writeln("Error: At start states!"))