Commit aef0b377 authored by Hynek Baran's avatar Hynek Baran

SingleStep.mc RESOLVE type is sequential

parent 03d87c41
......@@ -248,7 +248,7 @@ end try;
try #WSParser:Skip#
if assigned(`resolve/result/suppressedminsize`)
and `resolve/result/suppressedminsize` <> NULL
and type (RESOLVE,set)
and type (RESOLVE, sequential)
and nops(RESOLVE)=0 then
writetofile (cat(parBaseFileName , ".err"),
sprintf("'maxsize'=%a is too low.\n`resolve/result/suppressedminsize`=%a\nRESOLVE=%q\n",
......@@ -256,7 +256,7 @@ try #WSParser:Skip#
`quit` (60);
fi;
if type (RESOLVE,set) then
if type (RESOLVE, sequential) then
if nops(RESOLVE)=0 then
# success
ReportSuccessState(parBaseFileName, "");
......@@ -330,11 +330,12 @@ try #WSParser:Skip#
end try;
fi;
else
# unexpected RESULT value
# unexpected RESOLVE value
printf("Resolve result is not sequential but %a.\n", whattype(RESOLVE));
printf("\ndependence() =\n");
print( dependence());
write2ft (cat(parBaseFileName , ".err"),
sprintf("Resolve result is not a set.\nRESOLVE=%a\n", RESOLVE));
sprintf("Resolve result is not sequential but %a.\nRESOLVE=%q\n\n", whattype(RESOLVE), RESOLVE));
`quit` (58);
fi;
catch:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment