There is definitely a joke on me in this discussion. I started with an assumption about what an AST structure looks like, and of course it turned out that the assumption was the source of my confusion about type threading. Well, no surprise there. I suppose we all know that assumptions are dangerous things. :-)
Now I have a different problem. Thanks to Matt I no longer know what I want my AST structure to look like or how to build a tool to describe and check it. Thanks a LOT, Matt! :-) Oh well. I asked for it, didn't I? And as usual you folks delivered.... shap
_______________________________________________ bitc-dev mailing list bitc-dev@coyotos.org http://www.coyotos.org/mailman/listinfo/bitc-dev
