-
Notifications
You must be signed in to change notification settings - Fork 54
/
CHANGES-ats2
2179 lines (1484 loc) · 69.5 KB
/
CHANGES-ats2
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
######
0.4.2
------------------------------------------------
ATS-Postiats-0.4.2.tgz:
The same as ATS-Postiats-int-0.4.2.tgz
MD5: 900c43b69f544ddff738ebf864f98b06
SHA1: 76b7c817c3439858e42c4ff74edc226578e0ea1b
--
ATS2-Postiats-gmp-1.4.0.tgz:
MD5: e2f0f6c38868bb6b85f77fd1d9222b23
SHA1: a869ba92d673082cd30fc6c2368d3948eef772fa
--
ATS2-Postiats-int-1.4.0.tgz:
MD5: 900c43b69f544ddff738ebf864f98b06
SHA1: 76b7c817c3439858e42c4ff74edc226578e0ea1b
------------------------------------------------
This is the 53rd 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. Fixing the handling of an issue causing the compiler crash:
the proof of the at-view of a local variable is not restored
at the end of its scope.
Please visit the following link for more details:
https://groups.google.com/g/ats-lang-users/c/f9QVilhHMEM
2. Fixing bug-2020-10-14
(for the omission of handling records when the exhaustiveness of
pattern matching is tested)
Kudos to Alex Dambaev for reporting it!
Please note that there are two variants of the package released: The
"gmp" variant depends on the GMP library while the "int" variant does
not. From this release on, ATS2-Postiats-0.4.0.tgz is just the same as
ATS2-Postiats-int-0.4.0.tgz. This choice is made due to the fact that
most users (especially new users) can readily get by without the extra
dependency on GMP.
######
0.4.1
This is the 52nd 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.
This release is done for the purpose of renaming a type
(i.e., cptr -> p2tr) used in the ATS2 library and elsewhere.
######
0.4.0
------------------------------------------------
ATS-Postiats-0.4.0.tgz:
MD5: ed0a8212b23c8ce281b5512eb0dd130f
SHA1: f9a734b6d7040633d16a11c73f06175afe04482f
--
ATS2-Postiats-gmp-0.4.0.tgz:
MD5: 9ae8b64526affc951f33e189b20fa16f
SHA1: 826d529830ba28581708a27c27952a9ed56f916e
--
ATS2-Postiats-int-0.4.0.tgz:
MD5: 3ed68ac11792be0689e43e9a6b3598c1
SHA1: fa41e400676cad30df6566770c4238fd02ecc6de
------------------------------------------------
This is the 51st 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. Improving testing code:
doc/EXAMPLE/ATSLF,
doc/EXAMPLE/INTRO, doc/EXAMPLE/TESTATS
Kudos to Artyom Shalkhakov!
2. Introducing various keywords (e.g., abstflt, absvtflt), which are
used in the implementation of ATS3(ATS/Xanadu)
Please note that there are two variants of the package released: The
"gmp" variant depends on the GMP library while the "int" variant does
not. From this release on, ATS2-Postiats-0.4.0.tgz is just the same as
ATS2-Postiats-int-0.4.0.tgz. This choice is made due to the fact that
most users (especially new users) can readily get by without the extra
dependency on GMP.
######
0.3.13
------------------------------------------------
ATS2-Postiats-gmp-0.3.13.tgz:
MD5: caf1515a077472b5cd56b92c996aec91
SHA1: 969fcaf9e2c11ca3b89d5b21aaff70f7b126a960
--
ATS2-Postiats-int-0.3.13.tgz:
MD5: d67be4927beb144ad13bc9506c946859
SHA1: 442d51167cd82da0d7107dbbd16cc5b97d73b4b4
------------------------------------------------
This is the 50th 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. Fixing the issue of escaping '$' in PHP string literals (atscc2php)
Kudos to M88!
2. Fixing very minor issues in libats/qlist and libats/linmap
3. Enforcing that no d2var can be leaked/exported from a namespace
Please note that starting in this release, there are two variants of the package
released: the "gmp" variant depends on the GMP library. The "int" variant does
not depend on the GMP library. In this release ATS2-Postiats-0.3.13.tgz is just
the same as ATS2-Postiats-gmp-0.3.13.tgz. This is subject to change in future
releases, as most users (especially new users) can get by without the extra
dependency on GMP.
######
0.3.12
------------------------------------------------
ATS2-Postiats-0.3.12.tgz:
MD5: 6328cac96b0b0a19ecf13480662a7f42
SHA1: da6e20815351c6a59635ca61da9474c68fc06b34
------------------------------------------------
This is the 49th 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. Fixing parsing for hexidecimal floating point numbers
2. Fixing issues with some atsccomp transpilers and their libs
3. Tidying-up code for resolving fixity (xpushup and xreduce)
4. Atscc2js supports native records now (Kudos to AS-2018-08-18):
See the function [emit_SELfltrec] for some detail.
5. Various minor fixes of all sorts (e.g., on the prelude library)
######
0.3.11
------------------------------------------------
ATS2-0.3.11.tgz:
MD5: 847b592ce92655fe72f68000104e12b4
SHA1: c4df38d0ae759be4294c8a9d90f8bad7800dac50
------------------------------------------------
This is the 48th 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. Re-enabling the support for -IATS
2. Rewording LICENSE: the ATS libraries are now covered under LGPLv3
In particular, any C code generated by ATS/Postiats is NOT by default
considered to be covered by the GPL/LGPL license of any kind.
3. Renaming some keywords:
atstbox for atstype
atstflat for atst0ype
atsvtbox for atsvtype
atsvtflat for atsvt0ype
absimpl for assume and atsreimpl for reassume
######
0.3.10
------------------------------------------------
ATS2-0.3.10.tgz:
MD5: cd20db33a0a3d4e38674260309884502
SHA1: e8ca2974d56c5f844eee15d650db56a1d3631c01
------------------------------------------------
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. Improving atscntrb-sdstring and atscntrb-hx-cstream
2. Changing "atscntrb" to "atscntrb-hx" in the names of almost all of
the npm-based ATS packages contributed by myself (Hongwei). This is
a pervasive change due the wide use of these packages.
3. Adding libats/ML/SATS/argvec.sats and libats/ML/SATS/argvec.dats
4. Adding share/SCRIPT/buildRelease.sh to automate build/release ATS
Acknowledgment:
Thanks to Lance Galletti and Wei Jiang for helping test this release.
######
0.3.9
------------------------------------------------
ATS2-0.3.9.tgz:
MD5: 89896a2ea58b07c2c409cd4297891aa1
SHA1: e350b7872cbac5ab1c3a539c7e35d176e39eb378
------------------------------------------------
This is the 46th 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. Improving libatscc/libatscc2js regarding matrixref and matrix0
2. Improving doc/BOOK/ATS2FUNCRASH by tidying-up and fixing errors
3. Adding some examples in ATS-Tutoriats demonstrating ATS+ReactJS
and ATS+React-Native
4. Adding basic programming support for parallelized stream-mapfold:
${PATSHOME}/libats/BUCS320/StreamPar (stream-processing)
${PATSHOME}/libats/BUCS520/StreamPar (linear-stream-processing)
5. Adding basic programming support for recursive directory-traversal:
${PATSHOME}/npm-utils/contrib/libats-hwxi/find_cli
6. Moving most higher-order functions from ATSPRE to ATSLIB/ML/atspre.
This is a pervasive change, triggering a lot of (minor) fixes!
7. Rewriting several stream_vt functions to make them tail-recursive.
8. Moving ATSPRE/fcontainer and ATSPRE/giterator into libats/ATS2
9. Finishing EFFECTIVATS/SteamPar on streamization and stream-processing
in parallel.
10. Starting the ATS-CodeBook project (at http://github.com/ats-lang):
Hello, HX-intinf, ReadFromSTDIN, ReadFromSTDIN2, ReadFromSTDIN3, and
WordFrqncyCount
######
0.3.8
This is the 45th 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 libatscc/ML/option0
2. Adding libatscc/ML/matrix0
3. Minorly improving libatscc/ML/list0 and libatscc/ML/array0
4. Fixing missing cases in eval1_p2at (pats_dmacro2_eval1.dats)
5. Fixing and improving libats/funarray
6. Adding calls to the_dynconlst_add to ensure that every exception
constructor is declared in the generated C code.
7. Initiating building the "compiled" library libats/ML/COMPILE
8. Fixing a glitch in compiling polymorphic functions that call
function templates (auxmat_env in [pats_ccomp_template.dats])
A simple use case is found in doc/EXAMPLE/TESTATS/tempboxed.dats
9. Adding support for calling variadic functions in a type-safe way.
There is no attempt to add support for type-safe implementation of
variadic functions yet.
10. Supporting the user of the flag --gc for myatscc.
######
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 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. Extending prelude/stream_vt with more functions
2. Improving ${PATSHOME}/contrib/libatscc2php/ATS2-0.3.2
3. Supporting the following style of function interface declaration:
extern
fun swap_boxed{a,b:type}(xy: (a, b)): (b, a)
(
Note that (a, b) needs to be replaced with @(a, b) at this point
)
4. Adding stream-processing functions in prelude and libats/ML
5. Hosting for ats-lang.org moved from OPENSHIFT2 to OPENSHIFT3
6. In progress:
A Functional Crash into ATS: ${PATSHOME}/doc/BOOK/ATS2FUNCRASH
7. Atscc2r34 (for transpiling ATS into R) is functioning and it is
expected to be improved gradually.
8. Improving ATSLIB/libats/ML: more list0-combinators; printing stuff
######
0.3.6
This is the 43rd 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. Fixing a bug involving 'reassume': the bug is serious but the fix
is very minor.
2. Improving utils/atexting by merging atexting_all with atexting_mylib
Many clients of atexting (e.g., atsccomp-compilers) have been updated
with respect to the changes maded to atexting.
3. Adding support for compiling a static file followed by a dynamic file
into a single file consisting of the generated code:
patsopt -o foo_all.c -s foo.sats -d foo.dats; patscc -o foo foo_all.c
This support can be useful for distributing C code generated from ATS
source. For instance, a file of C code generated as such can serve as
a script of some sort.
4. Adding support for -dd/--dynamics, which compiles a list of given files
in a combined manner. For instance, the following command-line:
//
patsopt -dd foo.dats bar1.dats bar2.dats bar3.dats
//
essentially compiles a program of the following structure:
//
local (*nothing*) in #include "foo.dats" end
local #include "bar1.dats" in (*nothing*) end
local #include "bar2.dats" in (*nothing*) end
local #include "bar3.dats" in (*nothing*) end
//
This style of compilation can be used for the purpose of producing a
single target containing all of the output generated from compiling a
list of ATS source files.
5. Disabling tail-call optimization temporarily when try-expression (in
trywith-expression) is compiled
6. Mandating that an else-clause be present in any ifcase-expression:
ifcase
| test1 => ...
| test2 => ...
| _(*else*) => ... // this is the else-clause here
######
0.3.5
This is the 42nd 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. Fixing a bug in atscc2js that prevented certain compound patterns
from being handled correctly. Should this be done to other atsccomp
compilers?
2. Fixing a bug causing linear tuples to be leaked after their use.
Please see bug-2017-04-16.
3. Fixing a bug in compiling a fix-function defined inside a template.
Please see bug-2017-04-17.
4. Disallowing non-variable linear patterns used as function arguments
(due to potential memory leaks):
For instance,
fun foo($tup(x, y)): ... = ...
needs to be written as
fun foo(xy): ... = let $tup(x, y) = xy in ... end
5. Adding myatscc-support (in utils/myatscc)
for allowing compilation commands being embedded inside source code.
For instance, the following comment can be included to support using
ATS as a scripting language:
(*
##myatsccdef=\
patsopt --constraint-ignore --dynamic $1 | \
tcc -run -DATS_MEMALLOC_LIBC -I${PATSHOME} -I${PATSHOME}/ccomp/runtime - $arglst(2)
*)
6. Adding ats1-libatsopt (npm-package)
7. Adding contrib/atscntrb-hx-getargs for building command-line support
8. Adding ATS-Postiats/npm-util/libats-hwxi/OpenSCAD:
Supporting meta-programming for OpenSCAD, that is, writing programs in
ATS for generating OpenSCAD code (that can create models for 3D-printing)
######
0.3.4
This is the 41st 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. Fixing the issue of patsopt_version not available in libatslib.a
2. Fixing made to prevent an existential type variable (s2Var) from
becoming its own upper bound or lower bound.
3. Adding both of CATS-atscc2pl and libatscc2pl to the release
Adding both of CATS-atscc2scm and libatscc2scm to the release
Adding both of CATS-atscc2clj and libatscc2clj to the release
4. Improving s2hnf_syneq_env for handling S2Elam.
5. Fixing s2exp_lamlst: arguments should not be reversed!
6. Fixing impenv_update: s2e.sort <= s2v.sort is needed for s2e to match s2v
######
0.3.3
This is the 40th 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. Supporting $tempenver in template implementation:
This is a crucial addition in support of programming in ATS that
may potentially be (very) deeply template-based!!!
(*
2: Re-arranging (and duplicating) files containing code of template
implementation may cause the need for $tempenver to change. It is
not yet understood what the reason is behind all of this behavior.
*)
3. Fixing a glitch involving tail-call optimization; please see the
function hidexp_seq_simplify for details.
4. Supporting [reassume]: An assumed abstract type can be reassumed
so as to make its (original) implementation available in the scope
of the reassume-declaration.
######
0.3.2
This is the 39th 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. Allowing overloads declared in staloadnm to be merged automatically
2. Initiating libatscc being moved from PATSCONTRIB to PATSHOME/contrib
In particular, moving of Bacon.js and Worker in libatscc/libatscc2js
is finished.
(*
//
HX-2017-02-01: Reverted!
// File search in ATS is intentionally different from done in C
//
3. Using pushb (push-from-the-back) to push a path permanently:
fun the_pathlst_ppushb(x: path): void // see [pats_filename]
fun the_IATS_dirlst_ppushb (dir: string): void // see [pats_global]
*)
4. Adding support for handling abstract types of unspecified size
5. Adding code into libats/BUCS320/. to support package-based programming
6. Introducing the compilation flag _ATS_CCOMP_ASSUME_CHECK_NONE_ to skip
over checks that are otherwise required of assuming (i.e., implementing)
abstract types
7. Moving a lot of code around due to packaging and re-packaging; mostly
moving from PATSCONTRIB to PATSHOME/npm-utils
8. Adding support for 'where <declist> end' (besides 'where { <declist> }')
9. Fixing a minor glitch involving typechecking ifcase-expressions
10. Removing duplicates of overloaded dynamic constants and variables;
please see the changes in [pats_trans3_appsym.dats]
######
0.3.1
This is the 38th 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. Moving ${PATSHOME}/atscntrb/* into ${PATSHOME}/contrib/.
2. Adding ${PATSHOME}/npm-utils; gradually retiring ${PATSCONTRIB}/.
3. Supporting package-based programming:
PATSHOMELOCS, mydepies.?ats, mylibies.?ats, etc
Please see GraphSearch-npm in the Effective ATS series
4. There is still a lot of moving around; the dust should soon settle...
######
0.3.0
This is the 37th 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. Fixing a compilation issue involving extvar
2. pkgreloc -> atsreloc; util/atspkgreloc -> util/atsreloc
3. Adding doc/EXAMPLE/RosettaCode as an example of [atsreloc] that makes
it conventient to download external library code for use in a project.
4. Adding support for PATSHOMERELOCS. Please see:
https://groups.google.com/forum/#!topic/ats-lang-users/03LCSLaBmxU
5. Adding script for automatically building ccomp/atslib/lib/libatsopt.a
in future releases
6. Reorganizing (by moving packages from ATS2-contrib to ATS2/contrib):
ats2cpp,
ATS-extsolve,
ATS-extsolve-z3,
ATS-extsolve-smt2,
CATS-parsemit,
CATS-atscc2js,
CATS-atscc2pl,
CATS-atscc2py3,
CATS-atscc2php,
CATS-atscc2scm,
CATS-atscc2clj,
CATS-atscc2erl,
...
Basically, there is a lot of moving around...
######
0.2.13
This is the 36th 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 a parsing-combinator package for libats.
2. Adding a parsing-combinator package for libatscc.
3. ATS2-contrib/ats2cpp is significantly improved and ready for real
use. For instance, it is used in a project involving OpenCV.
4. Adding libats/BUCS320/GraphSearch for teaching graph-based search.
5. Adding libatscc/BUCS320/GraphSearch for:
atscc2js, atscc2py3, atscc2php, atscc2clj, atscc2scm, and atscc2pl
6. Re-fixing bug-2016-06-26 // see pats_trans3_util.dats for comment
######
0.2.12
This is the 35th 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. Significantly expanding libatscc
2. Improving typechecking involving $delay and $ldelay
3. Changing symbolic to "%&+-./:=@~`^|*!?<>#" (that is, '$' is dropped)
4. Supporting both string_make_stream and string_make_stream_vt
5. Improving support for combinators in stream_vt, ML/list0 and ML/string
6. Introducing $tyrep(...) for outputing terms representing types in the
generated code (so that C++ templates can be used in ATS2 code directly)
######
0.2.11
This is the 34th 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. Reorganizing: libc -> libats/libc (pervasive changes!!!)
2. FILEref-values are no longer closed automatically when embedded in
stream_vt (but FILEptr-values are still closed at the end)
3. Fixing bug-2016-10-08, which was reported by Hanwen. Thanks!
4. Significantly expanding libatscc
5. Adding support for stream_vt in the following compilers:
atscc2js, atscc2py3, atscc2scm, atscc2clj, atscc2php, atscc2pl
######
0.2.10
This is the 33rd 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 support for pats2xhtml
2. Adding support for patsopt-tc, patsopt-cc and patsopt-ccjs
3. Improving s2zexp_make_s2exp (in src/pats_staexp2_szexp.dats)
4. Reorganizing prelude/integer into
integer_long, integer_size, and integer_short
(Note that there are also integer_ptr and integer_fixed)
5. Adding support for codegen2_absrec (for generating record interface)
######
0.2.9
This is the 32nd 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 support for streamize-functions
2. Including the patsopt version into the C code generated by patsopt
3. Greatly improving support for programming with combinators in general
4. Support in atscc2erl and atscc2scm for handling tail-call optimized code
5. Atscc2clj/libatscc2clj starts to be functioning (but it is still a long way to go!)
6. Initiating testing for ATSLIB (see ATS2-Postiats-test/core/ATSLIB for more)
######
0.2.8
This is the 31st 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 support for ifcase-expressions. Please see
https://github.com/githwxi/ATS-Postiats/blob/master/doc/EXAMPLE/TESTATS/ifcase.dats
2. Atscc2py/libatscc2py changes to atscc2py3/libatscc2py3
3. Atscc2scm/libatscc2scm starts to be functional (but it is still a long way to go!)
4. Adding support for jsonizing S2Ewithtype (wths2explst); some fixing for d2cst decl
5. Improving patsolve_z3 to handle constraints on real numbers
6. Improving libatscc in general; adding support for pygame in libatscc2py3
7. Adding ATS-extsolve-smt2 based on the pilot work by Will Blair and Hanwen Wu; the
command patsolve_smt2 turns ATS constraints in json format into those in smt-lib2
format, which can then be solved with z3, cvc4, etc. In particular, constraints on
reals can be handled in this way.
8. Fixing a bug involving tuple/record compilation (see: doc/BUGS/bug-2016-06-26.dats)
9. Circumventing a bug involving templates initiated with fnx (see: bug-2014-11-14.dats)
10. Adding tupbox(...) and fprint_tupbox(...) for boxed tuples of length 1, 2, 3, and 4
######
0.2.7
This is the 30th 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 some basic functions into libats/ML/stdlib
2. Atexting is functioning; it has been used to syntax-hilite ATS code
in docbook.
3. Refactoring libatsynmark to make it directly dependent on libatsopt
4. Automatically building libatsopt and libatsynmark when testing (travis-ci)
5. Automatically building INT2PROGINATS and ATS2TUTORIAL (thanks to Kiwamu Okabe)
6. Fixing bug-2016-05-13 (reported by paul7)
See BUGs/bug-2016-05-13.dats (it involves empty list of matching d2explst)