Merge pull request #591 from MatthewFluet/20241230-release

Final commits for 20241230 release
MLton · Dec 30, 2024 · 27d7e10 · 27d7e10
2 parents 74673d4 + 1be2ece
commit 27d7e10
Show file tree

Hide file tree

Showing 12 changed files with 103 additions and 12 deletions.
diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc
@@ -1,11 +1,41 @@
 = CHANGELOG
 
-== Version YYYYMMDD
+== Version 20241230
 
-Here are the changes from version 20210117 to YYYYMMDD.
+Here are the changes from version 20210117 to 20241230.
 
 === Summary
 
+* Compiler.
+  ** Enhance and fix bugs in `Useless` and `ConstantPropagation` SSA
+  optimization passes.
+  ** Update LLVM codegen; using the LLVM codegen requires LLVM 15 (or
+  higher).
+  ** Update elaboration error messages involving constants and infix
+  patterns and expressions.
+  ** Accept a non-semicolon terminated final expression in the syntax
+  of programs.
+  ** Eliminate (expert) `-profile time-label` compile-time option.
+  ** Fix `-pi-style pie` compile-time option.
+* Runtime.
+  ** Fix bug in heap resizing that could lead to a segmentation fault.
+  ** Fix bug with `-align 4` and mark-compact GC.
+  ** Fix bug in `GC_sequenceCopy` failing to update card map when
+  copying object pointers.
+* Libraries.
+  ** Basis Library.
+     *** Fix bug in `ImperativeIO.getInstream`.
+     *** Fix bug in `Date.localOffset` for time zones east of prime
+     meridian.
+     *** Fix bugs in `WORD.scan` when `0` is followed by `w` or `x` or
+    `wx` but not by more digits.
+  ** Other libraries.
+    *** Updated: ckit library, MLLPT library, MLRISC library, SML/NJ library
+* Other.
+  ** Add preliminary support for `wasm32-wasi`.
+  ** Add support for `loongarch64` architecture.
+  ** Update ``Makefile``s to simplify bootstrapping.
+
 === Details
 
 * 2024-12-20
@@ -43,6 +73,10 @@ Here are the changes from version 20210117 to YYYYMMDD.
   `(*#line line *"file" )`, which should be accepted with a default
   column of 1.  Thanks to Norman Ramsey for the bug report.
 
+* 2024-03-28
+  ** Update default `-link-opt` options for `*-openbsd` platforms.
+  Thanks to Dan Cross for the pull request.
+
 * 2024-03-17
   ** Update elaboration error messages involving constants and infix
   patterns and expressions.
@@ -116,9 +150,16 @@ Here are the changes from version 20210117 to YYYYMMDD.
   of programs.  Thanks to Krzysztof Leśniak (serpent7776) for the
   discussion and grammar patch.
 
+* 2022-01-10
+  ** Update ``Makefile``s to simplify bootstrapping.
+
 * 2021-12-17
   ** Fix bug in `ConstantPropagation` with vector literals.  Thanks to
   Ram Raghunathan for the bug report.
+  ** Update signal-handling infrastructure.  Properly mark data
+  accessed by a signal handler as `volatile`.  Merge `SignalCheck` and
+  `LimitCheck` passes into a single `InsertChecks` pass to avoid
+  insertion of redundant checks.
   ** Fix mismatch in C and SML types for some `_import`-ed runtime
   functions.
 

diff --git a/doc/guide/src/Home.adoc b/doc/guide/src/Home.adoc
@@ -16,15 +16,15 @@ a lexer generator, a parser generator, and a profiler.
 
 == What's new?
 
-* 20210117: Please try out our latest release, <<Release20210117#,MLton 20210117>>.
+* 20241230: Please try out our latest release, <<Release20241230#,MLton 20241230>>.
 
 == Next steps
 
 * Visit the https://github.com/MLton/mlton[MLton GitHub repository].
 * Read about MLton's <<Features#>>.
 * Look at <<Documentation#>>.
 * See some <<Users#>> of MLton.
-* Download MLton from https://sourceforge.net/projects/mlton/files/mlton/20201002[SourceForge] or https://github.com/MLton/mlton/releases/tag/on-20201002-release[GitHub].
+* Download MLton from https://github.com/MLton/mlton/releases/latest[GitHub].
 * Meet the MLton <<Developers#>>.
 * Get involved with MLton <<Development#>>.
 * User-maintained <<FAQ#>>.

diff --git a/doc/guide/src/Release20200722.adoc b/doc/guide/src/Release20200722.adoc
@@ -1,6 +1,6 @@
 = Release20200722
 
-Here you can download the latest public release of MLton, version 20200722.
+This is an archived public release of MLton, version 20200722.
 
 == Changes since <<Release20180207#,MLton 20180207>>
 

diff --git a/doc/guide/src/Release20200817.adoc b/doc/guide/src/Release20200817.adoc
@@ -1,6 +1,6 @@
 = Release20200817
 
-Here you can download the latest public release of MLton, version 20200817.
+This is an archived public release of MLton, version 20200817.
 
 == Changes since <<Release20200722#,MLton 20200722>>
 

diff --git a/doc/guide/src/Release20201002.adoc b/doc/guide/src/Release20201002.adoc
@@ -1,6 +1,6 @@
 = Release20201002
 
-Here you can download the latest public release of MLton, version 20201002.
+This is an archived public release of MLton, version 20201002.
 
 == Changes since <<Release20200817#,MLton 20200817>>
 

diff --git a/doc/guide/src/Release20210117.adoc b/doc/guide/src/Release20210117.adoc
@@ -1,6 +1,6 @@
 = Release20210117
 
-Here you can download the latest public release of MLton, version 20210117.
+This is an archived public release of MLton, version 20210117.
 
 == Changes since <<Release20201002#,MLton 20201002>>
 

diff --git a/doc/guide/src/Release20241230.adoc b/doc/guide/src/Release20241230.adoc
@@ -0,0 +1,49 @@
+= Release20241230
+
+Here you can download the latest public release of MLton, version 20241230.
+
+== Changes since <<Release20210117#,MLton 20210117>>
+
+* Compiler.
+  ** Enhance and fix bugs in `Useless` and `ConstantPropagation` SSA
+  optimization passes.
+  ** Update LLVM codegen; using the LLVM codegen requires LLVM 15 (or
+  higher).
+  ** Update elaboration error messages involving constants and infix
+  patterns and expressions.
+  ** Accept a non-semicolon terminated final expression in the syntax
+  of programs.
+  ** Eliminate (expert) `-profile time-label` compile-time option.
+  ** Fix `-pi-style pie` compile-time option.
+* Runtime.
+  ** Fix bug in heap resizing that could lead to a segmentation fault.
+  ** Fix bug with `-align 4` and mark-compact GC.
+  ** Fix bug in `GC_sequenceCopy` failing to update card map when
+  copying object pointers.
+* Libraries.
+  ** Basis Library.
+     *** Fix bug in `ImperativeIO.getInstream`.
+     *** Fix bug in `Date.localOffset` for time zones east of prime
+     meridian.
+     *** Fix bugs in `WORD.scan` when `0` is followed by `w` or `x` or
+    `wx` but not by more digits.
+  ** Other libraries.
+    *** Updated: ckit library, MLLPT library, MLRISC library, SML/NJ library
+* Other.
+  ** Add preliminary support for `wasm32-wasi`.
+  ** Add support for `loongarch64` architecture.
+  ** Update ``Makefile``s to simplify bootstrapping.
+
+== 20241230 binary packages
+
+ * See https://github.com/MLton/mlton/releases/tag/on-20241230-release[MLton 20241230] assets on https://github.com[GitHub].
+
+== 20241230 source packages
+
+ * https://github.com/MLton/mlton/releases/download/on-20241230-release/mlton-20241230.src.tgz[mlton-20241230.src.tgz]
+
+== Also see
+
+* http://www.mlton.org/guide/20241230/[MLton Guide (20241230)].
++
+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
@@ -2,6 +2,7 @@
 
 Public releases of MLton:
 
+* <<Release20241230#>>
 * <<Release20210117#>>
 * <<Release20201002#>>
 * <<Release20200817#>>

diff --git a/man/mllex.1 b/man/mllex.1
@@ -1,4 +1,4 @@
-.TH mllex 1 "January 17, 2021"
+.TH mllex 1 "December 30, 2024"
 .SH NAME
 \fBmllex\fP \- lexer generator for use with Standard ML and MLton
 .SH SYNOPSIS

diff --git a/man/mlprof.1 b/man/mlprof.1
@@ -1,4 +1,4 @@
-.TH mlprof 1 "January 17, 2021"
+.TH mlprof 1 "December 30, 2024"
 .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 "January 17, 2021"
+.TH mlton 1 "December 30, 2024"
 .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 "January 17, 2021"
+.TH mlyacc 1 "December 30, 2024"
 .SH NAME
 \fBmlyacc\fP \- parser generator for use with Standard ML and MLton
 .SH SYNOPSIS