Merge pull request #429 from MatthewFluet/20210107-release

Create and update pages for 20210117 release
MLton · Jan 17, 2021 · b1f1f0f · b1f1f0f
2 parents 5943136 + 0b79a83
commit b1f1f0f
Show file tree

Hide file tree

Showing 16 changed files with 104 additions and 35 deletions.
diff --git 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
@@ -3,3 +3,10 @@ Bugs20201002
 
 Here are the known bugs in <:Release20201002:MLton 20201002>, listed
 in reverse chronological order of date reported.
+
+* <!Anchor(bug01)>
+Bug in `SimplifyTypes` SSA optimization pass (`simplifyTypes raised: Option`).
++
+Thanks to Martin Elsman for the bug report.
++
+Fixed by commit <!ViewGitCommit(mlton,8ca4fb0c1)>.
diff --git a/doc/guide/src/Bugs20210117.adoc 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
-<!ViewGitFile(mlton,on-20200817-release,CHANGELOG.adoc)> and
+<!ViewGitFile(mlton,on-20201002-release,CHANGELOG.adoc)> and
 <:Bugs20180207:>.
 
 == Changes since <:Release20200722:MLton 20200722> ==

diff --git a/doc/guide/src/Release20210117.adoc 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
+<!ViewGitFile(mlton,on-20210117-release,CHANGELOG.adoc)> 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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