Type Inference fail

[nickng]

The following code results in a stack overflow:

proc, _ := asyncpi.Parse(strings.NewReader("(new a)a<a>"))
fmt.Println(asyncpi.GenerateGo(proc))

Because a type inference tries to infer the type of a by looking into the value being sent by channel a (which is itself), but the result should be a type error because the type system cannot handle recursive definition in this simple implementation.