I'm writing a macro that parses over object types and generates various 
functions on it's fields. For the most part it works.

However, I'm will likely encountering folks trying to do this:
    
    
    type
      ssnType = Option[int]
    
    type
      Person = object
        age: Option[int]
        ssn: ssnType
    
    
    Run

My macro can handle the "age" field because it's true type is easily parsed in 
the Node tree. Both "Option" and "int" are known types and in a bracket. Got it.

"ssnType" is also visible, but that is an unknown type made by the library user.

Is there a way, given the string or symbol "ssnType", to somehow glean it's 
earlier definition of "Option[int]"?

I've tried various plays with `getTypeImpl` and `getTypeImpl`, but I suspect 
I'm missing some key knowledge.

Reply via email to