On Nov 11, 2016, at 9:37 AM, Brian Candler <b.candler@pobox.com> wrote:
The question is then not one of parsing, but of assignment semantics.
No.
If the LHS has type "ipaddr", and the RHS has type "string", then the string is converted into an ipaddr via hostname resolution.
No.
This is unconditional: you don't have to inspect the string to decide whether it looks like a hostname or not.
No.
I personally don't mind the implicit cast from string to ipaddr (*), but you could instead require it to be explicit:
Framed-IP-Address := <ipaddr>"foo.example.com"
No.
If the RHS is a constant string literal then this could still be resolved at parse/compile time. But the potential is also there to do late resolution: e.g.
Framed-IP-Address := <ipaddr>"%{User-Name}.example.com"
No. Alan DeKok.