Re: [Xsb-development] [A|B] not a list?

[<ki...@cs...>]

> Michael Kifer writes:
>  > This is too low level. I think the programmer expects [A|B] to be a list.
> 
> How about you defining:
> 
> michaels_list([_|_]).
> 
> That seems to define what you want.  I thought you wanted an efficient
> tag-testing hack.

Sure. I was wondering about what's "right" for is_list/1, not how to do it.
Say, if ISO says otherwise, then we should change it.


	--michael