gforth/engine/main.c - diff

Return to main.c CVS log

Up to [gforth] / gforth / engine

version 1.194, 2008/01/02 18:56:05	version 1.195, 2008/01/02 19:10:33
Line 881 static void prepare_super_table()	Line 881 static void prepare_super_table()
}	}
}	}
debugp(stderr, "Using %d static superinsts\n", nsupers);	debugp(stderr, "Using %d static superinsts\n", nsupers);
if (nsupers>0 && !tpa_noautomaton) {	if (nsupers>0 && !tpa_noautomaton && !tpa_noequiv) {
debugp(stderr, "Disabling tpa-automaton, because nsupers>0.\n");	/* Currently these two things don't work together; see Section 3.2
	of <http://www.complang.tuwien.ac.at/papers/ertl+06pldi.ps.gz>,
	in particular Footnote 6 for the reason; hmm, we should be able
	to use an automaton without state equivalence, but that costs
	significant space so we only do it if the user explicitly
	disables state equivalence. */
	debugp(stderr, "Disabling tpa-automaton, because nsupers>0 and state equivalence is enabled.\n");
tpa_noautomaton = true;	tpa_noautomaton = true;
}	}
}	}