Groups

ats-lang-users

Contact owners and managers

1–4 of 1357

Welcome to the ats-lang-users group!

0 selected

Yannick Duchêne, Hongwei Xi2

8/3/18

The lin effect on ordinary (not lambda) function

Right now, 'lin' in the following declaration is ignored: fn g():<lin> void = () The

unread,

The lin effect on ordinary (not lambda) function

Right now, 'lin' in the following declaration is ignored: fn g():<lin> void = () The

8/3/18

Shea Levy, Hongwei Xi2

11/30/15

wrt effect when assigning view of vtype reference

Thanks! I fixed this one. For now, you could do prval () = $effmask_wrt(fp := foo_p) to suppress the

unread,

call-by-reference

wrt effect when assigning view of vtype reference

Thanks! I fixed this one. For now, you could do prval () = $effmask_wrt(fp := foo_p) to suppress the

11/30/15

Brandon Barker, gmhwxi3

1/19/14

disallowed function effects incurred: stropt_is_some

Effect-tracking is a feature in ATS mostly for theorem proving. If you think that a function you

unread,

disallowed function effects incurred: stropt_is_some

Effect-tracking is a feature in ATS mostly for theorem proving. If you think that a function you

1/19/14

Brandon Barker, … Yannick Duchêne17

8/5/18

<> in first part of function return type

Le samedi 4 août 2018 16:38:00 UTC+2, gmhwxi a écrit : 'var h:t' means that the size of '

unread,

<> in first part of function return type

Le samedi 4 août 2018 16:38:00 UTC+2, gmhwxi a écrit : 'var h:t' means that the size of '

8/5/18

Search

Clear search

Close search

Google apps

Main menu