[Grace-core] transitive imports

[Michael Homer]

On Thu, Jun 5, 2014 at 6:49 AM, Kim Bruce <kim at cs.pomona.edu> wrote:
> Another issue (which I believe is an implementation issue) is that I cannot provide a type for an import.  If I replace the import statement in "imp2" by
>
> import "imp" as imp: {x:Number}
This is doubly a syntax error - anonymous types need "type", and
return types are given with ->.
-Michael