2 little enigmas with is & Unqual!

[vincent picaud]

spir Wrote:

> Hello,
> 
> 1. Why isn't Unqual!(char) == char?
>     writeln( is( Unqual!(typeof('c')) == char ) );	// false
>     writeln( is( Unqual!(char) == char ) );		// false
>     writeln( is( char == char ) );			// true!
> (dmd v2.049)
> 

Using GCD 4.3.5 ( more precisely on Linux/Debian )

    writeln( is( Unqual!(typeof('c')) == char ) );       
    writeln( is( Unqual!(char) == char ) );                
    writeln( is( char == char ) );                        

returns 

true
true
true

as expected

> 2. Why cannot one write "assert(is(Unqual(t1) == t2))"?
>     assert( is( char == char ) );			// OK
>     assert( is( Unqual!(char) != char ) );		// compile Error
>     assert( is( Unqual!(typeof('c')) != char ) );	// compile Error
> (is() gets on my nerves ;-)
> 

not sure of that, but I think "is" is a compile time feature, hence you must write
static  assert( is( char == char ) );			// OK
static  assert( is( Unqual!(char)  == char ) );		// OK
static  assert( is( Unqual!(typeof('c'))  == char ) );	// Ok

hope this can help....

> Denis
> -- -- -- -- -- -- --
> vit esse estrany ☣
> 
> spir.wikidot.com
>