From 0b79a830f791862fe9ac89c93db83e60d56377f3 Mon Sep 17 00:00:00 2001 From: Matthew Fluet Date: Sun, 17 Jan 2021 06:25:57 -0500 Subject: [PATCH] Create and update pages for 20210117 release --- CHANGELOG.adoc | 21 +++++++++-- doc/guide/src/Bugs20201002.adoc | 7 ++++ doc/guide/src/Bugs20210117.adoc | 5 +++ doc/guide/src/CKitLibrary.adoc | 4 +-- doc/guide/src/Home.adoc | 19 +--------- doc/guide/src/MLLPTLibrary.adoc | 4 +-- doc/guide/src/MLRISCLibrary.adoc | 4 +-- doc/guide/src/Release20201002.adoc | 2 +- doc/guide/src/Release20210117.adoc | 58 ++++++++++++++++++++++++++++++ doc/guide/src/Releases.adoc | 1 + doc/guide/src/SMLNJLibrary.adoc | 4 +-- man/mllex.1 | 2 +- man/mlnlffigen.1 | 2 +- man/mlprof.1 | 2 +- man/mlton.1 | 2 +- man/mlyacc.1 | 2 +- 16 files changed, 104 insertions(+), 35 deletions(-) create mode 100644 doc/guide/src/Bugs20210117.adoc create mode 100644 doc/guide/src/Release20210117.adoc diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc index c540f6b2f1..a5f530817a 100644 --- a/CHANGELOG.adoc +++ b/CHANGELOG.adoc @@ -1,6 +1,21 @@ = CHANGELOG -== Version YYYYMMDD +== Version 20210117 + +Here are the changes from version 20201002 to 20210117. + +=== Summary + +* Compiler. + ** Fix bug in `SimplifyTypes` SSA optimization pass. +* Libraries. + ** Other libraries. + *** Updated: ckit library, MLLPT library, MLRISC library, SML/NJ library +* Other. + ** Preliminary support for `arm64-darwin`. + ** Fix bug in `Makefile.binary` detecting default position-independent style. + +=== Details * 2021-01-17 ** Update SML/NJ libraries to SML/NJ 110.99. @@ -21,7 +36,7 @@ Here are the changes from version 20200817 to version 20201002. === Summary -* Compiler +* Compiler. ** Fixed bug in handling of weak objects during mark-compact GC. === Details @@ -36,7 +51,7 @@ Here are the changes from version 20200722 to version 20200817 === Summary -* Compiler +* Compiler. ** Fixed bug in `RssaShrink` optimization that would result in an unbound variable and an internal compiler error. * Other. diff --git a/doc/guide/src/Bugs20201002.adoc b/doc/guide/src/Bugs20201002.adoc index befacb5714..8f28289a41 100644 --- a/doc/guide/src/Bugs20201002.adoc +++ b/doc/guide/src/Bugs20201002.adoc @@ -3,3 +3,10 @@ Bugs20201002 Here are the known bugs in <:Release20201002:MLton 20201002>, listed in reverse chronological order of date reported. + +* +Bug in `SimplifyTypes` SSA optimization pass (`simplifyTypes raised: Option`). ++ +Thanks to Martin Elsman for the bug report. ++ +Fixed by commit . diff --git a/doc/guide/src/Bugs20210117.adoc b/doc/guide/src/Bugs20210117.adoc new file mode 100644 index 0000000000..a0f6a3779d --- /dev/null +++ b/doc/guide/src/Bugs20210117.adoc @@ -0,0 +1,5 @@ +Bugs20210117 +============ + +Here are the known bugs in <:Release20210117:MLton 20210117>, listed +in reverse chronological order of date reported. diff --git a/doc/guide/src/CKitLibrary.adoc b/doc/guide/src/CKitLibrary.adoc index 6f6f10d80e..58c0311913 100644 --- a/doc/guide/src/CKitLibrary.adoc +++ b/doc/guide/src/CKitLibrary.adoc @@ -7,8 +7,8 @@ into abstract syntax represented as a set of SML datatypes. The ckit Library is distributed with SML/NJ. Due to differences between SML/NJ and MLton, this library will not work out-of-the box with MLton. -As of 20200718, MLton includes a port of the ckit Library synchronized -with SML/NJ version 110.98. +As of 20210117, MLton includes a port of the ckit Library synchronized +with SML/NJ version 110.99. == Usage == diff --git a/doc/guide/src/Home.adoc b/doc/guide/src/Home.adoc index 04df0e27b8..d450f0e873 100644 --- a/doc/guide/src/Home.adoc +++ b/doc/guide/src/Home.adoc @@ -17,24 +17,7 @@ a lexer generator, a parser generator, and a profiler. == What's new? == -* 20201002: Please try out our latest release, <:Release20201002:MLton 20201002>. - -* 20200817: Please try out our latest release, <:Release20200817:MLton 20200817>. - -* 20200722: Please try out our latest release, <:Release20200722:MLton 20200722>. - -* 20180207: Please try out our latest release, <:Release20180207:MLton 20180207>. - -* 20140730: http://www.cs.rit.edu/%7emtf[Matthew Fluet] and - http://www.cse.buffalo.edu/%7elziarek[Lukasz Ziarek] have been - awarded an http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=12810[NSF - CISE Research Infrastructure (CRI)] grant titled "Positioning MLton - for Next-Generation Programming Languages Research;" read the award - abstracts - (http://www.nsf.gov/awardsearch/showAward?AWD_ID=1405770[Award{nbsp}#1405770] - and - http://www.nsf.gov/awardsearch/showAward?AWD_ID=1405614[Award{nbsp}#1405614]) - for more details. +* 20210117: Please try out our latest release, <:Release20210117:MLton 20210117>. == Next steps == diff --git a/doc/guide/src/MLLPTLibrary.adoc b/doc/guide/src/MLLPTLibrary.adoc index 4d395b19fc..af7e0bbed4 100644 --- a/doc/guide/src/MLLPTLibrary.adoc +++ b/doc/guide/src/MLLPTLibrary.adoc @@ -7,8 +7,8 @@ is a support library for the <:MLULex:> scanner generator and the <:MLAntlr:> parser generator. The ML-LPT Library is distributed with SML/NJ. -As of 20200718, MLton includes the ML-LPT Library synchronized with -SML/NJ version 110.98. +As of 20210117, MLton includes the ML-LPT Library synchronized with +SML/NJ version 110.99. == Usage == diff --git a/doc/guide/src/MLRISCLibrary.adoc b/doc/guide/src/MLRISCLibrary.adoc index 14cb4d5f63..5e2d9e2059 100644 --- a/doc/guide/src/MLRISCLibrary.adoc +++ b/doc/guide/src/MLRISCLibrary.adoc @@ -7,8 +7,8 @@ ends. The MLRISC Library is distributed with SML/NJ. Due to differences between SML/NJ and MLton, this library will not work out-of-the box with MLton. -As of 20200718, MLton includes a port of the MLRISC Library -synchronized with SML/NJ version 110.98. +As of 20210117, MLton includes a port of the MLRISC Library +synchronized with SML/NJ version 110.99. == Usage == diff --git a/doc/guide/src/Release20201002.adoc b/doc/guide/src/Release20201002.adoc index f3406cefc5..710c1df47c 100644 --- a/doc/guide/src/Release20201002.adoc +++ b/doc/guide/src/Release20201002.adoc @@ -12,7 +12,7 @@ Here you can download the latest public release of MLton, version 20201002. For a complete list of changes and bug fixes since <:Release20180207:>, see the - and + and <:Bugs20180207:>. == Changes since <:Release20200722:MLton 20200722> == diff --git a/doc/guide/src/Release20210117.adoc b/doc/guide/src/Release20210117.adoc new file mode 100644 index 0000000000..37f630d073 --- /dev/null +++ b/doc/guide/src/Release20210117.adoc @@ -0,0 +1,58 @@ +Release20210117 +=============== + +Here you can download the latest public release of MLton, version 20210117. + +== Changes since <:Release20201002: MLton 20201002> == + +* Compiler. + ** Fix bug in `SimplifyTypes` SSA optimization pass. +* Libraries. + ** Other libraries. + *** Updated: ckit library, MLLPT library, MLRISC library, SML/NJ library +* Other. + ** Preliminary support for `arm64-darwin`. + ** Fix bug in `Makefile.binary` detecting default position-independent style. + +For a complete list of changes and bug fixes since +<:Release20201002:>, see the + and +<:Bugs20201002:>. + +== 20210117 binary packages == + +* AMD64 (aka "x86-64" or "x64") +** https://sourceforge.net/projects/mlton/files/mlton/20210117/mlton-20210117-1.amd64-darwin-19.6.gmp-homebrew.tgz[Darwin (.tgz)] 19.6 (Mac OS X Catalina), dynamically linked against <:GMP:> in `/usr/local/lib` (suitable for https://brew.sh/[Homebrew] install of <:GMP:>) +** https://sourceforge.net/projects/mlton/files/mlton/20210117/mlton-20210117-1.amd64-darwin-19.6.gmp-static.tgz[Darwin (.tgz)] 19.6 (Mac OS X Catalina), statically linked against <:GMP:> (but requires <:GMP:> for generated executables) +// ** https://sourceforge.net/projects/mlton/files/mlton/20210117/mlton-20210117-1.amd64-darwin-17.7.gmp-homebrew.tgz[Darwin (.tgz)] 17.7 (Mac OS X High Sierra), dynamically linked against <:GMP:> in `/usr/local/lib` (suitable for https://brew.sh/[Homebrew] install of <:GMP:>) +// ** https://sourceforge.net/projects/mlton/files/mlton/20210117/mlton-20210117-1.amd64-darwin-17.7.gmp-static.tgz[Darwin (.tgz)] 17.7 (Mac OS X High Sierra), statically linked against <:GMP:> (but requires <:GMP:> for generated executables) +** https://sourceforge.net/projects/mlton/files/mlton/20210117/mlton-20210117-1.amd64-linux.tgz[Linux (.tgz)], glibc 2.31 (Ubuntu 20.04) +// ** https://sourceforge.net/projects/mlton/files/mlton/20210117/mlton-20210117-amd64-mingw.tgz[MinGW (.tgz)], gcc 10.1.0, statically linked against <:GMP:>; contributed by Bernard Berthomieu; see http://projects.laas.fr/tina/software.php for details and installation instructions +// ** https://sourceforge.net/projects/mlton/files/mlton/20210117/mlton-20210117-amd64-mingw-gmp-dynamic.tgz[MinGW (.tgz)], gcc 10.1.0, dynamically linked against <:GMP:>; contributed by Bernard Berthomieu; see http://projects.laas.fr/tina/software.php for details and installation instructions +// ** https://sourceforge.net/projects/mlton/files/mlton/20210117/mlton-20210117-amd64-solaris-gmp-dynamic.tgz[Solaris (.tgz)] 11.4, dynamically linked against <:GMP:>; contributed by Bernard Berthomieu +// * x86 +// ** https://sourceforge.net/projects/mlton/files/mlton/20210117/mlton-20210117-x86-mingw.tgz[MinGW (.tgz)], gcc 10.1.0, statically linked against <:GMP:>; contributed by Bernard Berthomieu; see http://projects.laas.fr/tina/software.php for details and installation instructions +// ** https://sourceforge.net/projects/mlton/files/mlton/20210117/mlton-20210117-x86-mingw-gmp-dynamic.tgz[MinGW (.tgz)], gcc 10.1.0, dynamically linked against <:GMP:>; contributed by Bernard Berthomieu; see http://projects.laas.fr/tina/software.php for details and installation instructions +// ** https://sourceforge.net/projects/mlton/files/mlton/20210117/mlton-20210117-x86-solaris-gmp-dynamic.tgz[Solaris (.tgz)] 11.4, dynamically linked against <:GMP:>; contributed by Bernard Berthomieu + +// === Binary packages available at other sites + +// * http://projects.laas.fr/tina/software.php[TINA toolbox]: Includes binary +// releases for: amd64-darwin Mac OS X Sierra (both statically and dynamically +// linked against <:GMP:>), amd64-linux Ubuntu 14 (both statically and +// dynamically linked against <:GMP:>), amd64-mingw and x86-mingw MSys2 (both +// statically and dynamically linked against <:GMP:>), amd64-solaris and +// x86-solaris Solaris 11.4 (both statically and dynamically linked against +// <:GMP:>), and x86-linux Ubuntu 16 (both statically and dynamically linked +// against <:GMP:>). + +== 20210117 source packages == + + * https://sourceforge.net/projects/mlton/files/mlton/20210117/mlton-20210117.src.tgz[mlton-20210117.src.tgz] + +== Also see == + +* <:Bugs20210117:> +* http://www.mlton.org/guide/20210117/[MLton Guide (20210117)]. ++ +A snapshot of the MLton website at the time of release. diff --git a/doc/guide/src/Releases.adoc b/doc/guide/src/Releases.adoc index fd1c5c1f48..6275c19064 100644 --- a/doc/guide/src/Releases.adoc +++ b/doc/guide/src/Releases.adoc @@ -3,6 +3,7 @@ Releases Public releases of MLton: +* <:Release20210117:> * <:Release20201002:> * <:Release20200817:> * <:Release20200722:> diff --git a/doc/guide/src/SMLNJLibrary.adoc b/doc/guide/src/SMLNJLibrary.adoc index 71af3213cc..fce1f8cbca 100644 --- a/doc/guide/src/SMLNJLibrary.adoc +++ b/doc/guide/src/SMLNJLibrary.adoc @@ -6,8 +6,8 @@ collection of libraries that are distributed with SML/NJ. Due to differences between SML/NJ and MLton, these libraries will not work out-of-the box with MLton. -As of 20200718, MLton includes a port of the SML/NJ Library -synchronized with SML/NJ version 110.98. +As of 20210117, MLton includes a port of the SML/NJ Library +synchronized with SML/NJ version 110.99. == Usage == diff --git a/man/mllex.1 b/man/mllex.1 index 4697905b9e..c30af98d64 100644 --- a/man/mllex.1 +++ b/man/mllex.1 @@ -1,4 +1,4 @@ -.TH mllex 1 "October 2, 2020" +.TH mllex 1 "January 17, 2021" .SH NAME \fBmllex\fP \- lexer generator for use with Standard ML and MLton .SH SYNOPSIS diff --git a/man/mlnlffigen.1 b/man/mlnlffigen.1 index 8abcb5498f..55b524b4d1 100644 --- a/man/mlnlffigen.1 +++ b/man/mlnlffigen.1 @@ -1,4 +1,4 @@ -.TH mlnlffigen 1 "October 2, 2020" +.TH mlnlffigen 1 "January 17, 2021" .SH NAME \fBmlnlffigen\fP \- glue-code generator for use with the new "NLFFI" foreign function interface for Standard ML and MLton .SH SYNOPSIS diff --git a/man/mlprof.1 b/man/mlprof.1 index 25b217acd8..92318a0413 100644 --- a/man/mlprof.1 +++ b/man/mlprof.1 @@ -1,4 +1,4 @@ -.TH mlprof 1 "October 2, 2020" +.TH mlprof 1 "January 17, 2021" .SH NAME \fBmlprof\fP \- display profiling information for a MLton-compiled executable .SH SYNOPSIS diff --git a/man/mlton.1 b/man/mlton.1 index e524c2ce88..8f34479aa1 100644 --- a/man/mlton.1 +++ b/man/mlton.1 @@ -1,4 +1,4 @@ -.TH mlton 1 "October 2, 2020" +.TH mlton 1 "January 17, 2021" .SH NAME \fBmlton\fP \- whole-program compiler for the Standard ML (SML) programming language diff --git a/man/mlyacc.1 b/man/mlyacc.1 index 2fe727ccdf..3635fcddf0 100644 --- a/man/mlyacc.1 +++ b/man/mlyacc.1 @@ -1,4 +1,4 @@ -.TH mlyacc 1 "October 2, 2020" +.TH mlyacc 1 "January 17, 2021" .SH NAME \fBmlyacc\fP \- parser generator for use with Standard ML and MLton .SH SYNOPSIS