[Ecls-list] Re: HEADS UP!
Paul F. Dietz
dietz at dls.net
Tue Apr 8 15:45:04 UTC 2003
Juan Jose Garcia Ripoll wrote:
> When facing a (SATISFIES whatever) or an unknown symbol, the algorithm simply
> gives up. There are NO OTHER situations in which the routine does not give a
> definitive answer. I will probably add a flag, so that the system may signal
> a correctable error when unknown type specifiers are found.
Be careful -- the general subtypep problem is NP hard, so you may
have introduced scalability problems. You should have a 'give up'
counter that aborts subtypep after enough work is done (count the number
of AND or OR type terms traversed, perhaps.)
More information about the ecl-devel