Just for the record.
On FreeBSD, 'make' is BSD 'make', and 'gmake' is GNU 'make'.
For building ATS, please do:
gmake MAKE=gmake MAKE4J=gmake
If you want to install ATS (after compilation is done successfully),
please do
gmake install
That is all.
On Tuesday, April 29, 2014 at 3:17:23 PM
-- Forwarded message --
Hi,
I am pleased to announce the release of ATS2-0.3.7
This is the 44th release of ATS2, the successor of the
ATS programming language. The compiler for ATS2 is given
the name ATS/Positats, ATS2/Postiats or simply Postiats.
The official website for ATS
I installed FreeBSD today and went through the whole
process of compiling and installing ATS.
Basically, all you need to do is
gmake MAKE=gmake MAKE4J=gmake CCOMP=clang
If you want to install ATS, you do the following next:
gmake install
That is it.
On Wednesday, October 11, 2017 at 12:47:03
Huge thanks for working on this. It's difficult and tedious but sorely
needed.
Here's some bad indentation cases I found:
sortdef even = { i:int | i mod 2 == 0 }
sortdef agz = {l:addr | l > null}
implement main0 () =
let
...
in
Taking a closer look, there are definitely cases I didn't use that behave
strangely. As I see it, there are four causes for this.
The first is an incomplete treatment of similar constructs that should be
indented the same way, e.g. datatype, dataprop, dataviewtype... I thought I
had gotten
I gave it a try last night. I encountered many cases of excessive
indentation.
The syntax of ATS is rich and complex. So it makes sense to require the
programmer
to manually add indentation. With the current ats-mode, you get two spaces
if you hit the
tab key. So you are pretty much in control of
