Re: [q-lang-users] Query about Type Tests (Complex and Rational).

[Albert G. <Dr....@t-...>]

Rob Hubbard wrote:
> Perhaps these should be
> 
>     iscomplex _:Complex  = true;
>     iscomplex R          = isreal R otherwise; //behavioural change

I don't think that this is a good idea. The other type checking 
predicates isxyz for a type Xyz all follow the scheme that the predicate 
is equivalent to the type guard, so iscomplex should follow that 
principle, too (that wasn't the case previously, but previously there 
was no Complex type and iscomplex was a semantic predicate).

-- 
Dr. Albert Gr"af
Dept. of Music-Informatics, University of Mainz, Germany
Email:  Dr....@t-..., ag...@mu...
WWW:    http://www.musikinformatik.uni-mainz.de/ag