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–19 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
Brandon Barker
, …
Hongwei Xi
17
7/6/18
Q&A
Examples of integrating C and ATS
As long as you name the value: #include "share/atspre_staload.hats" extern val fact10 : int
unread,
build
refinement
Q&A
Examples of integrating C and ATS
As long as you name the value: #include "share/atspre_staload.hats" extern val fact10 : int
7/6/18
Yannick Duchêne
,
Hongwei Xi
3
6/15/18
Q&A
ATS1 svn URL
Le vendredi 15 juin 2018 15:26:24 UTC+2, gmhwxi a écrit : Yes, ATS2 is written in ATS1. Here is the
unread,
build
Q&A
ATS1 svn URL
Le vendredi 15 juin 2018 15:26:24 UTC+2, gmhwxi a écrit : Yes, ATS2 is written in ATS1. Here is the
6/15/18
Steinway Wu
, …
Brandon Barker
5
5/7/18
Q&A
Nix
Hey - Yeah, I like Nix in principle. I actually use it in a docker container with Ubuntu 16.04 base,
unread,
build
package
Q&A
Nix
Hey - Yeah, I like Nix in principle. I actually use it in a docker container with Ubuntu 16.04 base,
5/7/18
vamc...@gmail.com
, …
Artyom Shalkhakov
3
2/20/18
Q&A
ATSPackage: a build tool/package manager for ATS
Hi, On Sunday, February 18, 2018 at 12:50:54 PM UTC+6, vamc...@gmail.com wrote: Hi all, I have been
unread,
build
package
Q&A
ATSPackage: a build tool/package manager for ATS
Hi, On Sunday, February 18, 2018 at 12:50:54 PM UTC+6, vamc...@gmail.com wrote: Hi all, I have been
2/20/18
gmhwxi
11/12/17
Q&A
How to install ATS library (libatslib.a)
I have been using ATS more and more for non-systems related programming. For convenience and
unread,
build
documentation
Q&A
How to install ATS library (libatslib.a)
I have been using ATS more and more for non-systems related programming. For convenience and
11/12/17
gmhwxi
,
Raoul Duke
2
2/5/16
Q&A
Trying out ATS2/ATS2-contrib
I will try this since I think I have never had too much luck on personal machines. :-) Not that you
unread,
build
install
Q&A
Trying out ATS2/ATS2-contrib
I will try this since I think I have never had too much luck on personal machines. :-) Not that you
2/5/16
gmhwxi
,
Raoul Duke
4
11/7/15
Q&A
Try ATS in your browser
I added a little explanation about the GUI for this server-less service of try-ats-in-your-browser:
unread,
JavaScript
build
library
Q&A
Try ATS in your browser
I added a little explanation about the GUI for this server-less service of try-ats-in-your-browser:
11/7/15
gmhwxi
,
H Zhang
13
11/6/15
Q&A
libatsopt
I just noticed that running 2 pieces of Emscripten generated JS code could cause a conflict between
unread,
JavaScript
build
library
Q&A
libatsopt
I just noticed that running 2 pieces of Emscripten generated JS code could cause a conflict between
11/6/15
Yannick Duchêne
,
gmhwxi
30
5/12/15
Q&A
`dynload` and `atscc2js`: is there anything special?
>>Something related: what's the recommended page to read about `#define` in ATS? #define
unread,
JavaScript
build
Q&A
`dynload` and `atscc2js`: is there anything special?
>>Something related: what's the recommended page to read about `#define` in ATS? #define
5/12/15
Yannick Duchêne
, …
gmhwxi
16
1/31/15
Q&A
Trying to build ATS2 with CompCert
Okay, I have got eq_dev_dev (and eq_ino_ino) fixed. On Saturday, January 31, 2015 at 6:59:05 AM UTC-5
unread,
build
Q&A
Trying to build ATS2 with CompCert
Okay, I have got eq_dev_dev (and eq_ino_ino) fixed. On Saturday, January 31, 2015 at 6:59:05 AM UTC-5
1/31/15
Brandon Barker
3
2/3/15
Q&A
Build ATS within IntelliJ
FYI, I just found out about Kotlin, a strongly typed JVM language with an ML-like syntax: http://
unread,
IDE
build
Q&A
Build ATS within IntelliJ
FYI, I just found out about Kotlin, a strongly typed JVM language with an ML-like syntax: http://
2/3/15
gmhwxi
,
William Blair
6
12/22/14
Q&A
ATS and OSX
This is very good to know. Could you use valgrind to get more information on this? It looks like that
unread,
build
Q&A
ATS and OSX
This is very good to know. Could you use valgrind to get more information on this? It looks like that
12/22/14
gmhwxi
, …
Barry Schwartz
16
12/19/14
Q&A
ATS and CLANG
gmhwxi <gmh...@gmail.com> skribis: > However, to determine what could be evaluated at
unread,
build
Q&A
ATS and CLANG
gmhwxi <gmh...@gmail.com> skribis: > However, to determine what could be evaluated at
12/19/14
gmhwxi
, …
Raoul Duke
5
12/16/14
Q&A
ATS and TCC
TCC is not being used in the travis.yml script. Given the nature of TCC, I prefer to use it when
unread,
build
Q&A
ATS and TCC
TCC is not being used in the travis.yml script. Given the nature of TCC, I prefer to use it when
12/16/14
gmhwxi
12/16/14
Q&A
ATS and PCC
PCC (http://pcc.ludd.ltu.se) released pcc-1.1.0 very recently. (pcc-1.0.0 was released in October,
unread,
build
Q&A
ATS and PCC
PCC (http://pcc.ludd.ltu.se) released pcc-1.1.0 very recently. (pcc-1.0.0 was released in October,
12/16/14
gmhwxi
,
Brandon Barker
4
12/12/14
Q&A
ATS and Cygwin
I think the reason is that 'C:\cygwin64\home\brand_000\' was not treated as an absolute path
unread,
build
Q&A
ATS and Cygwin
I think the reason is that 'C:\cygwin64\home\brand_000\' was not treated as an absolute path
12/12/14
Brandon Barker
, …
gmhwxi
21
12/29/15
Q&A
variables in load paths
I changed the implementation a bit to support recursive substitution; the maximal recursion depth is
unread,
build
Q&A
variables in load paths
I changed the implementation a bit to support recursive substitution; the maximal recursion depth is
12/29/15
gmhwxi
, …
Brandon Barker
12
12/8/14
Q&A
SCons for ATS
The author of the original email (Russel Winder) is clearly very knowledgeable in this area. I agree
unread,
build
Q&A
SCons for ATS
The author of the original email (Russel Winder) is clearly very knowledgeable in this area. I agree
12/8/14
Hongwei Xi
, …
Barry Schwartz
17
10/23/14
Fwd: [ats-lang-users] ATS build system issues
gmhwxi <gmh...@gmail.com> skribis: > I have built this suggestion into patscc; -Wl,--warn-
unread,
build
Fwd: [ats-lang-users] ATS build system issues
gmhwxi <gmh...@gmail.com> skribis: > I have built this suggestion into patscc; -Wl,--warn-
10/23/14