Updating: very very minorly

ats-lang · Mar 17, 2018 · aabfcc7 · aabfcc7
1 parent 768f26b
commit aabfcc7
Show file tree

Hide file tree

Showing 7 changed files with 54 additions and 1 deletion.
diff --git a/CHANGES-ats2 b/CHANGES-ats2
@@ -1,5 +1,33 @@
 ######
 
+0.3.11
+
+This is the 47th 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 is:
+
+http://www.ats-lang.org
+
+ATS-Postiats is hosted at github:
+
+https://github.com/githwxi/ATS-Postiats
+
+Major releases of ATS2 are available at:
+
+https://sourceforge.net/projects/ats2-lang/
+
+Major releases of external packages for ATS2 are available at:
+
+https://sourceforge.net/projects/ats2-lang-contrib/
+
+Here is a list of major additions and changes since the last release:
+
+1. Adding libats/ML/SATS/argvec.sats and libats/ML/SATS/argvec.dats
+
+######
+
 0.3.10
 
 This is the 47th release of ATS2, the successor of the

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.3.9
+0.3.10
diff --git a/ccomp/atslib/Makefile b/ccomp/atslib/Makefile
@@ -353,6 +353,17 @@ clean:: ; $(RMF) output/atslib_libats_ML_DATS_strarr_dats.c
 clean:: ; $(RMF) output/atslib_libats_ML_DATS_strarr_dats.o
 
 
+######
+
+atslib_libats_ML:: atslib_libats_ML_DATS_argvec_dats
+atslib_libats_ML_DATS_argvec_dats: output/atslib_libats_ML_DATS_argvec_dats.o ; $(ARR) lib/libatslib.a $<
+output/atslib_libats_ML_DATS_argvec_dats.c: $(PATSHOME0)/libats/ML/DATS/argvec.dats ; $(PATSOPT) -o $@ --dynamic $<
+output/atslib_libats_ML_DATS_argvec_dats.o: output/atslib_libats_ML_DATS_argvec_dats.c ; \
+  $(CCOMP) -I$(PATSHOMEQ) -I$(PATSRUNTIME) $(DATSMEMALLOC) $(CCFLAGS) -c -o $@ $<
+clean:: ; $(RMF) output/atslib_libats_ML_DATS_argvec_dats.c
+clean:: ; $(RMF) output/atslib_libats_ML_DATS_argvec_dats.o
+
+
 ######
 
 atslib_libats_ML:: atslib_libats_ML_DATS_gvalue_dats

diff --git a/ccomp/atslib/Makefile.atxt b/ccomp/atslib/Makefile.atxt
@@ -201,6 +201,10 @@ atslib:: atslib_libats_ML
 
 ######
 
+#make_entry("libats/ML", "DATS/argvec.dats")
+
+######
+
 #make_entry("libats/ML", "DATS/gvalue.dats")
 
 ######

diff --git a/doc/DISTRIB/ATEXT/atslib_libats_ML.atxt b/doc/DISTRIB/ATEXT/atslib_libats_ML.atxt
@@ -127,6 +127,7 @@ The ATSLIB/libats/ML library\
 
 (* ****** ****** *)
 
+#packfilename("SATS/argvec.sats")
 #packfilename("SATS/gvalue.sats")
 
 (* ****** ****** *)
@@ -177,6 +178,7 @@ The ATSLIB/libats/ML library\
 
 (* ****** ****** *)
 
+#packfilename("DATS/argvec.dats")
 #packfilename("DATS/gvalue.dats")
 
 (* ****** ****** *)

diff --git a/doc/DISTRIB/README b/doc/DISTRIB/README
@@ -6,6 +6,10 @@
 # Please set PATSCONTRIB to be the path to ATS-Postiats-contrib:
 # export PATSCONTRIB = <the-absolute-path-to-ATS-Postiats-contrib>
 #
+######
+
+Updating $PATSHOME/VERSION
+
 ######
 #
 # Packaging ATS

diff --git a/libats/ML/DATS/argvec.dats b/libats/ML/DATS/argvec.dats
@@ -51,6 +51,10 @@ staload "libats/ML/SATS/argvec.sats"
 
 (* ****** ****** *)
 
+staload _ = "prelude/DATS/integer.dats"
+
+(* ****** ****** *)
+
 implement
 listize_argc_argv
 {n}(argc, argv) = let