[Ecls-list] Re: HEADS UP!

[Paul F. Dietz]

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.)

	Paul