[bitc-dev] The case for typing of purity

[Jonathan S. Shapiro]

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