Flexible type variables about links HOT 2 CLOSED

Flexible type variables didn't break, but the syntax changed (in the
sessions branch) when we appropriated ? for session types.

Try %a instead.

/g

On Thu, Nov 6, 2014 at 3:28 PM, Stefan Fehrenbach [email protected]
wrote:

Example from the documentation:

links> (1, (2, ((3, fun (x) {x}), "a")), true) : (Int, ?a, Bool);
*** Parse error: :1

(1, (2, ((3, fun (x) {x}), "a")), true) : (Int, ?a, Bool);
^

Were flexible type variables removed or did they break?

If they were removed intentionally, someone should update the
documentation. Preferably with a better solution than just commenting out
the signature.

—
Reply to this email directly or view it on GitHub
#14.

One of the thieves was saved.

from links.

Thanks!

from links.