Oh! Two further things. 1. I'm not necessarily saying that we should actually do this. At this stage I'm merely trying to figure out if it works.
2. The AST rewrite I was talking about happens when an application involving an arity-abstract function type gets rewritten as an application involving an arity-concrete function type. We need to rearrange the AST at that point to reflect that the specialized application takes multiple arguments. I had the senses that I created some confusion when I spoke about the AST rewrite earlier. Hopefully it's now clearer what I was talking about. Incidentally, it doesn't *have* to be an AST rewrite. I'm probably describing it that way because I have my head wrapped up in the whole-program compiler implementation at the moment. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
