On Tue, Aug 10, 2010 at 5:05 PM, Pal Engstad <pal_engs...@naughtydog.com>wrote:
> A function with effect annotation is really a tripple, Fun(arg_type,
> res_type, effect_type), so you just have to come up with a ternary syntax
> for it.
>
I did:
noalloc fn 'a -> -b
Concerning your proposals, [[ ]] can occur in type
expressions, {} is dodgy but possible. It can occur
in expressions, however, so watch out for dependent
types later.
I sort of like -(noalloc)->, because the effect really
does belong on the arrow, but I suspect it is unreadable:
-(noalloc,...,pure)->
The others, as you note, are unavailable.
shap
_______________________________________________
bitc-dev mailing list
bitc-dev@coyotos.org
http://www.coyotos.org/mailman/listinfo/bitc-dev
