Re: Compile time test for objects

[andrea]

If I understand your problem correctly, you can just use overloading for the 
more specific type. You can also avoid having the data `x`:
    
    
    proc d[X](o: O[X]) = echo "no"
    
    proc d(o: O[bool]) = echo "yes"