From 1d119c427dbbe0a00846ca69ec9529068cf4c4a6 Mon Sep 17 00:00:00 2001 From: Matthew Fluet Date: Mon, 30 Dec 2024 06:57:02 -0500 Subject: [PATCH 1/4] Update `CHANGELOG.adoc` for 20241230 release --- CHANGELOG.adoc | 45 +++++++++++++++++++++++++++++++++++++++++++-- 1 file changed, 43 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc index 9d895e14a..1b8992838 100644 --- 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. From 1d864a440c3441bf48bc041b96340e46e97f66d3 Mon Sep 17 00:00:00 2001 From: Matthew Fluet Date: Mon, 30 Dec 2024 06:57:16 -0500 Subject: [PATCH 2/4] Update man pages for 20241230 release --- man/mllex.1 | 2 +- man/mlprof.1 | 2 +- man/mlton.1 | 2 +- man/mlyacc.1 | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/man/mllex.1 b/man/mllex.1 index c30af98d6..915aa0a25 100644 --- 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 index 92318a041..ea889cfd0 100644 --- 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 index f089533c9..cc721b684 100644 --- 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 index 3635fcddf..81b3b370a 100644 --- 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 From d40427b9f6efd5373f1ce67335af163a4159663e Mon Sep 17 00:00:00 2001 From: Matthew Fluet Date: Mon, 30 Dec 2024 06:58:02 -0500 Subject: [PATCH 3/4] Mark old releases as archived in guide pages --- doc/guide/src/Release20200722.adoc | 2 +- doc/guide/src/Release20200817.adoc | 2 +- doc/guide/src/Release20201002.adoc | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/guide/src/Release20200722.adoc b/doc/guide/src/Release20200722.adoc index eec931f85..9de825c60 100644 --- 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 <> diff --git a/doc/guide/src/Release20200817.adoc b/doc/guide/src/Release20200817.adoc index 291b7f463..656565f03 100644 --- 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 <> diff --git a/doc/guide/src/Release20201002.adoc b/doc/guide/src/Release20201002.adoc index 398501990..7a5193c01 100644 --- 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 <> From 1be2ece309b44e537a096f2151b4b047e6712490 Mon Sep 17 00:00:00 2001 From: Matthew Fluet Date: Mon, 30 Dec 2024 07:22:35 -0500 Subject: [PATCH 4/4] Create and update pages for 20241230 release --- doc/guide/src/Home.adoc | 4 +-- doc/guide/src/Release20210117.adoc | 2 +- doc/guide/src/Release20241230.adoc | 49 ++++++++++++++++++++++++++++++ doc/guide/src/Releases.adoc | 1 + 4 files changed, 53 insertions(+), 3 deletions(-) create mode 100644 doc/guide/src/Release20241230.adoc diff --git a/doc/guide/src/Home.adoc b/doc/guide/src/Home.adoc index 996d59be4..c5c948de2 100644 --- a/doc/guide/src/Home.adoc +++ b/doc/guide/src/Home.adoc @@ -16,7 +16,7 @@ a lexer generator, a parser generator, and a profiler. == What's new? -* 20210117: Please try out our latest release, <>. +* 20241230: Please try out our latest release, <>. == Next steps @@ -24,7 +24,7 @@ a lexer generator, a parser generator, and a profiler. * Read about MLton's <>. * Look at <>. * See some <> 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 <>. * Get involved with MLton <>. * User-maintained <>. diff --git a/doc/guide/src/Release20210117.adoc b/doc/guide/src/Release20210117.adoc index 421ff1afe..e16240f89 100644 --- 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 <> diff --git a/doc/guide/src/Release20241230.adoc b/doc/guide/src/Release20241230.adoc new file mode 100644 index 000000000..8cd2e98c7 --- /dev/null +++ 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 <> + +* 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 index fb31c6727..57c951098 100644 --- a/doc/guide/src/Releases.adoc +++ b/doc/guide/src/Releases.adoc @@ -2,6 +2,7 @@ Public releases of MLton: +* <> * <> * <> * <>