Re: Why isn't this concept working as I would expect?

[stisa]

This works for me: 
    
    
    type
        ConceptA = concept c
        
        ConceptB = concept c
            c.myProc(ConceptA)
        
        Obj = object
    
    proc myProc(obj: Obj, x: ConceptA) = discard
    
    echo Obj is ConceptB #true
    

As for why, I'm not really sure as I haven't really used concepts, but I think 
you are supposed to describe procs with the types they expect, not as if they 
were declarations.