[Grace-core] Type declarations

[Kim Bruce]

Sent from my iPad

> On Mar 20, 2014, at 7:26 AM, Timothy Jones <tim at ecs.vuw.ac.nz> wrote:
> 
> ... I also think this is more consistent with the notion that many
> patterns which aren't interface declarations can also be static types.

Can you give examples?
> 
> -- 
> Tim
> _______________________________________________
> Grace-core mailing list
> Grace-core at cecs.pdx.edu
> https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core