Type sig error in chapter 13.1

Google Group
1

From text…

Similarly, the function ptr_set0 is assigned the following type:

{l:addr} (T? @ l | ptr (l)) -> (T @ l | void)

Problem…

Missing , T for the second parameter.

The simplified version has it:

{l:addr} (!T? @ l >> T @ l | ptr(l), T) -> void

2

Fixed. Thanks!On Sunday, January 3, 2016 at 12:37:08 AM UTC-5, Mike Jones wrote:

From text…

Similarly, the function ptr_set0 is assigned the following type:

{l:addr} (T? @ l | ptr (l)) → (T @ l | void)

Problem…

Missing , T for the second parameter.

The simplified version has it:

{l:addr} (!T? @ l >> T @ l | ptr(l), T) → void