David Phuc Vo-Huu

Incorrect translation of poly type in Stream

1

This issue is similar to the issue #809 . The main difference is that the issue occurs in Stream. ```Erlang active class Foo[t] stream produce(var n : int, v :...

The polymorphic type is translated incorrectly according to the following example `test.enc`. ```ruby active class Base[t] var v : t def init(v : t) : unit this.v = v end...

Restrictive forward's type

1

The `forward`'s type is too restrictive. When using nested `forward` in the following example, an extra variable `arg1` is necessary for passing the typecheck. A better way is to relax...

Error generating c-code when mutually calling stream functions in the same active class

7

In the same class, the c-code is generated incorrect when calling one stream function inside another stream function. One argument is missing/ when generating c-code. For instance: ``` Ocaml class...