Robert,
I appreciate your detailed response.
Based on the code and your explanation, it seems that gc's type checking
goes far more in-depth than necessary for the cases I need to analyze. In
that case, it seems to me that my best course of action would be to
implement my own type verification lo
Hi Jacob;
As you have probably figured out yourself by now, coming up with some
syntax for parametrized types (and perhaps even a set of formalized rules)
is the easy part of a complete implementation.
If you have been working on the existing compiler, you must have adjusted
the cmd/compile/inter
