Groups
Sign in
Groups
ats-lang-users
Conversations
Labels
API
ATS3
AVR
Clojure
Erlang
IDE
JVM
JavaScript
PHP
Perl
Python
Scheme
arduino
atsccomp
build
call-by-reference
call-by-value
closure
constraint
contribute
datatype
dependent-type
documentation
effect
emacs
example
general
high-order
install
library
license
linear-closure
linear-type
macro
package
polymorphism
portability
proof
refinement
session
stack-allocation
stream
syntax
tail-recursion
template
termination
theorem-proving
tutorial
type
type-error
About
Send feedback
Help
ats-lang-users
Contact owners and managers
1–4 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
Yannick Duchêne
,
Hongwei Xi
2
8/3/18
Q&A
The lin effect on ordinary (not lambda) function
Right now, 'lin' in the following declaration is ignored: fn g():<lin> void = () The
unread,
effect
linear-type
Q&A
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 Xi
2
11/30/15
Q&A
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
effect
linear-type
Q&A
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
,
gmhwxi
3
1/19/14
Q&A
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,
effect
Q&A
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êne
17
8/5/18
Q&A
<> 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,
effect
general
Q&A
<> 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