On Wed, 2008-10-08 at 11:20 -0400, Jonathan S. Shapiro wrote:
> I want to play with some options here. I think we may feel better about
> purity typing if we look at the syntax more carefully...
Followup:
I just checked, and the syntax (fn ('a 'b) 'c) and (fn 'a 'b -> 'c)
cannot co-exist in the parser, but we can switch from one to the other
without difficulty.
shap
_______________________________________________
bitc-dev mailing list
bitc-dev@coyotos.org
http://www.coyotos.org/mailman/listinfo/bitc-dev
