* The output of a Derive() node is not a referenced path.

This commit is contained in:
Eelco Dolstra 2003-07-08 15:33:06 +00:00
parent 40274c1f4f
commit 333f4963de
2 changed files with 1 additions and 3 deletions

View file

@ -359,8 +359,6 @@ void fstateRefs2(FState fs, StringSet & paths)
else if (ATmatch(fs, "Derive(<str>, <str>, [<list>], <str>, [<list>])", else if (ATmatch(fs, "Derive(<str>, <str>, [<list>], <str>, [<list>])",
&s1, &s2, &ins, &s3, &e2)) &s1, &s2, &ins, &s3, &e2))
{ {
paths.insert(s3);
while (!ATisEmpty(ins)) { while (!ATisEmpty(ins)) {
fstateRefs2(ATgetFirst(ins), paths); fstateRefs2(ATgetFirst(ins), paths);
ins = ATgetNext(ins); ins = ATgetNext(ins);

View file

@ -160,7 +160,7 @@ static void opQuery(Strings opFlags, Strings opArgs)
break; break;
case qRefs: { case qRefs: {
Strings refs = fstateRefs(termFromHash(hash)); Strings refs = fstateRefs(realiseFState(termFromHash(hash)));
for (Strings::iterator j = refs.begin(); for (Strings::iterator j = refs.begin();
j != refs.end(); j++) j != refs.end(); j++)
cout << format("%s\n") % *j; cout << format("%s\n") % *j;