Menu
▾
▴
mlton-commit — [MLton-commit] Code commits
You can subscribe to this list here.
| 2005 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(56) |
Sep
(40) |
Oct
(30) |
Nov
(144) |
Dec
(23) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2006 |
Jan
(41) |
Feb
(29) |
Mar
(31) |
Apr
(39) |
May
(193) |
Jun
(45) |
Jul
(19) |
Aug
(3) |
Sep
(23) |
Oct
(83) |
Nov
(92) |
Dec
(123) |
| 2007 |
Jan
(90) |
Feb
(267) |
Mar
(120) |
Apr
(51) |
May
(40) |
Jun
(121) |
Jul
(109) |
Aug
(173) |
Sep
(77) |
Oct
(52) |
Nov
(121) |
Dec
(62) |
| 2008 |
Jan
(76) |
Feb
(53) |
Mar
(98) |
Apr
(87) |
May
(26) |
Jun
(27) |
Jul
(23) |
Aug
(136) |
Sep
(79) |
Oct
(68) |
Nov
(29) |
Dec
(14) |
| 2009 |
Jan
(7) |
Feb
(2) |
Mar
(11) |
Apr
(75) |
May
(1) |
Jun
(95) |
Jul
(19) |
Aug
(4) |
Sep
(8) |
Oct
(93) |
Nov
(43) |
Dec
(21) |
| 2010 |
Jan
(20) |
Feb
(23) |
Mar
(18) |
Apr
(6) |
May
(20) |
Jun
(23) |
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2011 |
Jan
(2) |
Feb
(6) |
Mar
(15) |
Apr
(5) |
May
(9) |
Jun
(14) |
Jul
(9) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2012 |
Jan
|
Feb
(3) |
Mar
|
Apr
|
May
(2) |
Jun
(17) |
Jul
(37) |
Aug
|
Sep
(1) |
Oct
(6) |
Nov
|
Dec
|
| 2013 |
Jan
|
Feb
|
Mar
(5) |
Apr
(2) |
May
(7) |
Jun
(11) |
Jul
(8) |
Aug
|
Sep
(1) |
Oct
(2) |
Nov
|
Dec
|
| 2014 |
Jan
|
Feb
(2) |
Mar
(1) |
Apr
|
May
(1) |
Jun
(1) |
Jul
(7) |
Aug
(2) |
Sep
|
Oct
(5) |
Nov
(2) |
Dec
(4) |
| 2015 |
Jan
|
Feb
(2) |
Mar
(2) |
Apr
|
May
|
Jun
(9) |
Jul
(1) |
Aug
|
Sep
|
Oct
(4) |
Nov
(1) |
Dec
|
| 2016 |
Jan
(2) |
Feb
(1) |
Mar
(1) |
Apr
(1) |
May
(1) |
Jun
(2) |
Jul
(1) |
Aug
|
Sep
(5) |
Oct
|
Nov
|
Dec
|
| 2017 |
Jan
(1) |
Feb
(3) |
Mar
(3) |
Apr
(7) |
May
(2) |
Jun
(2) |
Jul
(5) |
Aug
(1) |
Sep
(2) |
Oct
(17) |
Nov
(4) |
Dec
(7) |
| 2018 |
Jan
(5) |
Feb
(14) |
Mar
(2) |
Apr
(5) |
May
(2) |
Jun
(5) |
Jul
|
Aug
(2) |
Sep
|
Oct
(3) |
Nov
(5) |
Dec
|
| 2019 |
Jan
(4) |
Feb
(2) |
Mar
(3) |
Apr
(1) |
May
(8) |
Jun
(14) |
Jul
(2) |
Aug
|
Sep
(2) |
Oct
(2) |
Nov
(15) |
Dec
(2) |
| 2020 |
Jan
(10) |
Feb
(3) |
Mar
(1) |
Apr
|
May
(9) |
Jun
(4) |
Jul
(16) |
Aug
(10) |
Sep
(4) |
Oct
(3) |
Nov
|
Dec
|
| 2021 |
Jan
(11) |
Feb
(2) |
Mar
(2) |
Apr
|
May
|
Jun
(1) |
Jul
|
Aug
(5) |
Sep
|
Oct
(6) |
Nov
(4) |
Dec
(4) |
| 2022 |
Jan
(4) |
Feb
(2) |
Mar
(2) |
Apr
|
May
(6) |
Jun
(3) |
Jul
|
Aug
(1) |
Sep
|
Oct
|
Nov
(1) |
Dec
|
| 2023 |
Jan
|
Feb
|
Mar
|
Apr
(2) |
May
(5) |
Jun
(1) |
Jul
(4) |
Aug
(1) |
Sep
|
Oct
(1) |
Nov
(13) |
Dec
|
| 2024 |
Jan
(1) |
Feb
|
Mar
(5) |
Apr
|
May
(10) |
Jun
|
Jul
|
Aug
(3) |
Sep
|
Oct
|
Nov
(1) |
Dec
(14) |
| 2025 |
Jan
(3) |
Feb
|
Mar
(1) |
Apr
|
May
(2) |
Jun
(3) |
Jul
|
Aug
|
Sep
(2) |
Oct
(3) |
Nov
|
Dec
(3) |
| 2026 |
Jan
(17) |
Feb
(3) |
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(8) |
Oct
(1) |
Nov
|
Dec
|
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-10-03 23:49:07
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 4e5ea5b15cac2986c0a7b12f977d10f22628abde https://github.com/MLton/mlton/commit/4e5ea5b15cac2986c0a7b12f977d10f22628abde Author: Matthew Fluet <mat...@gm...> Date: 2026-10-02 (Fri, 02 Oct 2026) Changed paths: M Makefile M Makefile.config M bin/mlton-script A lib/stubs/rune/basis/sources.txt A lib/stubs/rune/mlton/mlton.sml A lib/stubs/rune/mlton/sources.txt M mlton/.gitignore M mlton/Makefile Log Message: ----------- Rune (https://github.com/ruudkoot/rune) compiled version of MLton Commit: 6b81cf670fcb4d856c666725572313dfa937af55 https://github.com/MLton/mlton/commit/6b81cf670fcb4d856c666725572313dfa937af55 Author: Matthew Fluet <mat...@gm...> Date: 2026-10-02 (Fri, 02 Oct 2026) Changed paths: A lib/stubs/common/mlton/mlton.sml R lib/stubs/mlkit/mlton/mlton.sml M lib/stubs/mlkit/mlton/sources.mlb R lib/stubs/polyml/mlton/mlton.sml M lib/stubs/polyml/mlton/sources.use R lib/stubs/rune/mlton/mlton.sml M lib/stubs/rune/mlton/sources.txt Log Message: ----------- Share stub `structure MLton` as `./lib/stubs/common/mlton/mlton.sml` Commit: 2e3cd679ec25fae6aff6d83fc553ca6c686e786b https://github.com/MLton/mlton/commit/2e3cd679ec25fae6aff6d83fc553ca6c686e786b Author: Matthew Fluet <mat...@gm...> Date: 2026-10-03 (Sat, 03 Oct 2026) Changed paths: M bin/mlton-script Log Message: ----------- Allow overriding and passing flags to `runevm` in `mlton.rune` script Commit: 5fe943391e539a502699327a6266b6e8e97939e1 https://github.com/MLton/mlton/commit/5fe943391e539a502699327a6266b6e8e97939e1 Author: Matthew Fluet <Mat...@gm...> Date: 2026-10-03 (Sat, 03 Oct 2026) Changed paths: M Makefile M Makefile.config M bin/mlton-script A lib/stubs/common/mlton/mlton.sml R lib/stubs/mlkit/mlton/mlton.sml M lib/stubs/mlkit/mlton/sources.mlb R lib/stubs/polyml/mlton/mlton.sml M lib/stubs/polyml/mlton/sources.use A lib/stubs/rune/basis/sources.txt A lib/stubs/rune/mlton/sources.txt M mlton/.gitignore M mlton/Makefile Log Message: ----------- Merge pull request #660 from MatthewFluet/rune-build Support building MLton with Rune (https://github.com/ruudkoot/rune) Rune (https://github.com/ruudkoot/rune) is a new SML compiler, written primarily by AI agents, and bootstrapped from multiple SML compilers (MLton, SML/NJ, PolyML, MLKit). The project is impressive from a correctness and robustness standpoint. The Rune build of MLton requires no Basis Library stubs and successfully builds MLton without errors (neither errors with Rune building MLton, nor errors with the Rune-built-MLton building MLton). Rune uses a "fuel" parameter to limit type-inference work per topdec, presumably to prevent infinite loops (though, algorithmically, neither well-typed nor ill-typed programs should cause type inference to diverge), for which the default setting (10000000) is insufficient for some of MLton's source files. Increasing the default limit by a factor of 100 to `--type-work=1000000000` was sufficient. The default Rune target (https://github.com/ruudkoot/rune/commit/4652d4a) is a stack bytecode interpreter and the compiler does not (yet) perform significant optimizations. Performance of a Rune-built program can be many times slower than a MLton-built program: | Compiler | `/usr/bin/time` building MLton | |-------------------|-------------------------------------------------| | MLton-built-Rune | 121.80user 48.00system 2:50.46elapsed 99%CPU | | Rune-built-Rune | 900.96user 56.48system 16:01.90elapsed 99%CPU | | MLton-built-MLton | 235.05user 35.80system 4:32.32elapsed 99%CPU | | Rune-built-MLton | 8642.86user 1455.04system 2:48:56elapsed 99%CPU | While a Rune-built-Rune is 5.64x times slower than a MLton-built-Rune building MLton, a Rune-built-MLton is 37.22x slower than a MLton-built-MLton building MLton. The MLton-built-Rune built MLton and the Rune-built-Rune built MLton are identical Rune bytecode. The MLton-built-MLton built MLton and the Rune-built-MLton built MLton are not quite identical, due to a non-MLton host compiler using `structure MLton` stubs (https://github.com/MLton/mlton/tree/master/lib/stubs/mlton-stubs). The new default Rune target (https://github.com/ruudkoot/rune/commit/3b86b52) is a register bytecode / JIT VM: | Compiler | `/usr/bin/time` building MLton | |-------------------|-------------------------------------------------| | MLton-built-Rune | 122.19user 48.69system 2:51.55elapsed 99%CPU | | Rune-built-Rune | 516.89user 68.35system 9:47.92elapsed 99%CPU | | MLton-built-MLton | 240.50user 36.19system 4:38.11elapsed 99%CPU | | Rune-built-MLton | 4454.96user 1055.77system 1:32:16elapsed 99%CPU | Now a Rune-built-Rune is 3.43x times slower than a MLton-built-Rune building MLton and a Rune-built-MLton is 19.91x slower than a MLton-built-MLton building MLton. Compare: https://github.com/MLton/mlton/compare/936011ca7acd...5fe943391e53 To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications To unsubscribe from this group and stop receiving emails from it, send an email to mlt...@ml.... |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-09-30 15:27:36
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: feca6e1f9ec66defcdd0b8cae9134af0e27794ac https://github.com/MLton/mlton/commit/feca6e1f9ec66defcdd0b8cae9134af0e27794ac Author: Matthew Fluet <mat...@gm...> Date: 2026-09-29 (Tue, 29 Sep 2026) Changed paths: A regression/string.scan.ok A regression/string.scan.sml Log Message: ----------- Add `scan.string.sml` test demonstrating minor bugs with `String.fromCString` See MLton/mlton#658 Commit: 8e5a13e11833f71d29f7a7e8efae692cdc95a633 https://github.com/MLton/mlton/commit/8e5a13e11833f71d29f7a7e8efae692cdc95a633 Author: Matthew Fluet <mat...@gm...> Date: 2026-09-29 (Tue, 29 Sep 2026) Changed paths: M basis-library/text/char.sig M basis-library/text/char.sml M basis-library/text/string.sml Log Message: ----------- Rename Basis Library format sequence helpers for `structure Char` Commit: 2faf1d78dcd4a6dbe6d3f2d84b6b0f4d0b79f643 https://github.com/MLton/mlton/commit/2faf1d78dcd4a6dbe6d3f2d84b6b0f4d0b79f643 Author: Matthew Fluet <mat...@gm...> Date: 2026-09-29 (Tue, 29 Sep 2026) Changed paths: M CHANGELOG.adoc M basis-library/text/string.sml Log Message: ----------- Fix bug in `String.fromCString` when first character cannot be converted The implementation of `String.fromCString` did not confirm that at least a single C-string character could be consumed from the input string and would return `SOME ""` on an input string whose first character could not be converted (e.g., illegal escape). Closes MLton/mlton#658 Also, unify the implementations of `String.fromString` and `String.fromCString` to share the logic for converting an initial character and converting the remaining characters. Commit: 018425b7272e72992698de3cd5df4afbbf8b9a30 https://github.com/MLton/mlton/commit/018425b7272e72992698de3cd5df4afbbf8b9a30 Author: Matthew Fluet <mat...@gm...> Date: 2026-09-29 (Tue, 29 Sep 2026) Changed paths: M regression/char.scan.ok M regression/char.scan.sml Log Message: ----------- Update `char.scan.sml` with test for formatting escape after escape Commit: cbe9577142dfa2ba4713dbcd7bc1ca20bd142b8f https://github.com/MLton/mlton/commit/cbe9577142dfa2ba4713dbcd7bc1ca20bd142b8f Author: Matthew Fluet <mat...@gm...> Date: 2026-09-29 (Tue, 29 Sep 2026) Changed paths: M CHANGELOG.adoc M basis-library/text/char.sml Log Message: ----------- Fix bug in `Char.scan` with escaped formatting following escape The Basis Library specification for `Char.scan` states: "As the table indicates, escaped formatting sequences (`\f...f\`) are passed over during scanning. Such sequences are successfully scanned, so that the remaining stream returned by scan will never have a valid escaped formatting sequence as its prefix." `Char.scan` ran `skipFormatSequences` on the state after the successful scan of a non-escape character, but did not on the state after the successful scan of a non-escaped-formatting-sequence escape sequence. Commit: 08653801fb64b6e8efd5fb42f06dd67bb5edf2b8 https://github.com/MLton/mlton/commit/08653801fb64b6e8efd5fb42f06dd67bb5edf2b8 Author: Matthew Fluet <mat...@gm...> Date: 2026-09-29 (Tue, 29 Sep 2026) Changed paths: M basis-library/text/char.sml Log Message: ----------- Drop unnecessary val rec Commit: 7ff4e52a7079e069a9cbf18c4e33db3648a40b40 https://github.com/MLton/mlton/commit/7ff4e52a7079e069a9cbf18c4e33db3648a40b40 Author: Matthew Fluet <mat...@gm...> Date: 2026-09-29 (Tue, 29 Sep 2026) Changed paths: M regression/string.sml Log Message: ----------- Update `regression/string.sml` to properly check failing String.fromCString conversions Commit: 60f1593048f75a06e54b4b594e19b7b2f435b7ff https://github.com/MLton/mlton/commit/60f1593048f75a06e54b4b594e19b7b2f435b7ff Author: Matthew Fluet <mat...@gm...> Date: 2026-09-29 (Tue, 29 Sep 2026) Changed paths: M regression/string.scan.ok M regression/string.scan.sml Log Message: ----------- Additional tests in `regression/string.scan.sml` Commit: 95049a906ed08b9b4e92c73340d43cf8e5111e07 https://github.com/MLton/mlton/commit/95049a906ed08b9b4e92c73340d43cf8e5111e07 Author: Matthew Fluet <mat...@gm...> Date: 2026-09-30 (Wed, 30 Sep 2026) Changed paths: M CHANGELOG.adoc M basis-library/text/char.sml M regression/widechar.sml Log Message: ----------- Don't accept `\uxxxx` and `\Uxxxxxxxx` escape sequences in C strings Commit: 936011ca7acd41461bf9ed806c94c9b1a621a288 https://github.com/MLton/mlton/commit/936011ca7acd41461bf9ed806c94c9b1a621a288 Author: Matthew Fluet <Mat...@gm...> Date: 2026-09-30 (Wed, 30 Sep 2026) Changed paths: M CHANGELOG.adoc M basis-library/text/char.sig M basis-library/text/char.sml M basis-library/text/string.sml M regression/char.scan.ok M regression/char.scan.sml A regression/string.scan.ok A regression/string.scan.sml M regression/string.sml M regression/widechar.sml Log Message: ----------- Merge pull request #659 from MatthewFluet/text-scan-bugs * Fix bug in `String.fromCString` that would return `SOME ""` on an input string whose first character could not be converted (e.g., illegal escape). Thanks to Ruud Koot (ruudkoot), via Claude, for the bug report. (Closes MLton/mlton#658) * Fix bug in `Char.scan` that would fail to consume escaped formatting sequences following a non-escaped-formatting-sequence escape sequence. * Fix bug in `Char.fromCString` and `String.fromCString` that would erroneously accept `\uxxxx` and `\Uxxxxxxxx` escape sequences. Compare: https://github.com/MLton/mlton/compare/aa2fd1ad9b91...936011ca7acd To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications To unsubscribe from this group and stop receiving emails from it, send an email to mlt...@ml.... |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-09-19 14:27:27
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: d3fcb2f6794e54e59407f5bae8eac54a9bc10220 https://github.com/MLton/mlton/commit/d3fcb2f6794e54e59407f5bae8eac54a9bc10220 Author: Matthew Fluet <mat...@gm...> Date: 2026-09-19 (Sat, 19 Sep 2026) Changed paths: M basis-library/io/imperative-io.fun Log Message: ----------- Replace elem-by-elem copies with sequence copies in `ImperativeIO()` Commit: aa2fd1ad9b91375903a4253cfcf1ea5ef2754f37 https://github.com/MLton/mlton/commit/aa2fd1ad9b91375903a4253cfcf1ea5ef2754f37 Author: Matthew Fluet <Mat...@gm...> Date: 2026-09-19 (Sat, 19 Sep 2026) Changed paths: M basis-library/io/imperative-io.fun Log Message: ----------- Merge pull request #657 from MatthewFluet/gcis-mtfvcs-m1.master Replace elem-by-elem copies with sequence copies in `ImperativeIO()` Compare: https://github.com/MLton/mlton/compare/a1f9518800f7...aa2fd1ad9b91 To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications To unsubscribe from this group and stop receiving emails from it, send an email to mlt...@ml.... |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-09-19 10:56:42
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: fce2c5ea20c88e3ff0fe9ef599a8c59d045d24e0 https://github.com/MLton/mlton/commit/fce2c5ea20c88e3ff0fe9ef599a8c59d045d24e0 Author: Matthew Fluet <mat...@gm...> Date: 2026-09-18 (Fri, 18 Sep 2026) Changed paths: M CHANGELOG.adoc M basis-library/io/stream-io.fun A regression/textio.5.ok A regression/textio.5.sml Log Message: ----------- Fix bug in `StreamIO().canInput` on determined stream Commit: a1f9518800f773426618986f98b251086cc68217 https://github.com/MLton/mlton/commit/a1f9518800f773426618986f98b251086cc68217 Author: Matthew Fluet <Mat...@gm...> Date: 2026-09-19 (Sat, 19 Sep 2026) Changed paths: M CHANGELOG.adoc M basis-library/io/stream-io.fun A regression/textio.5.ok A regression/textio.5.sml Log Message: ----------- Merge pull request #656 from MatthewFluet/streamio-caninput-bug Fix bug in `StreamIO().canInput` on determined stream Compare: https://github.com/MLton/mlton/compare/720e316195ff...a1f9518800f7 To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications To unsubscribe from this group and stop receiving emails from it, send an email to mlt...@ml.... |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-09-19 01:06:22
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: f64d01ff602aed1cddb2e74961bbd24771a4317a https://github.com/MLton/mlton/commit/f64d01ff602aed1cddb2e74961bbd24771a4317a Author: Matthew Fluet <mat...@gm...> Date: 2026-09-18 (Fri, 18 Sep 2026) Changed paths: M CHANGELOG.adoc M basis-library/io/imperative-io.fun A regression/textio.4.ok A regression/textio.4.sml Log Message: ----------- Fix bug in `ImperativeIO.inputAll` failing to update buf first pos `inputAll` drains the current buffer, but failed update the `first` position. This leads to incorrectly answering `false` to `endOfStream`. Closes MLton/mlton#649 Commit: 720e316195ff465af25821b142292489fe76eac7 https://github.com/MLton/mlton/commit/720e316195ff465af25821b142292489fe76eac7 Author: Matthew Fluet <Mat...@gm...> Date: 2026-09-18 (Fri, 18 Sep 2026) Changed paths: M CHANGELOG.adoc M basis-library/io/imperative-io.fun A regression/textio.4.ok A regression/textio.4.sml Log Message: ----------- Merge pull request #655 from MatthewFluet/input-all-endofstream-bug Fix bug in `ImperativeIO.inputAll` failing to update buf first pos Closes #649 Compare: https://github.com/MLton/mlton/compare/585259a93e30...720e316195ff To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications To unsubscribe from this group and stop receiving emails from it, send an email to mlt...@ml.... |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-09-18 19:45:50
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 5c3a77d02ee591180c4e83ffaca98bc649b898fc https://github.com/MLton/mlton/commit/5c3a77d02ee591180c4e83ffaca98bc649b898fc Author: Matthew Fluet <mat...@gm...> Date: 2026-09-18 (Fri, 18 Sep 2026) Changed paths: M CHANGELOG.adoc M basis-library/system/date.sml Log Message: ----------- Fix bug with `offset` interpretation in `Date.date` Commit: 585259a93e30af7230b73f7481455f89e39c771d https://github.com/MLton/mlton/commit/585259a93e30af7230b73f7481455f89e39c771d Author: Matthew Fluet <Mat...@gm...> Date: 2026-09-18 (Fri, 18 Sep 2026) Changed paths: M CHANGELOG.adoc M basis-library/system/date.sml Log Message: ----------- Merge pull request #654 from MatthewFluet/date-offset-bug Fix bug with `offset` interpretation in `Date.date` Compare: https://github.com/MLton/mlton/compare/134d1305d8c0...585259a93e30 To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications To unsubscribe from this group and stop receiving emails from it, send an email to mlt...@ml.... |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-09-18 16:28:46
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 833d64dfd4fcb1149b2ac7da54a1c82c8df9cf0a https://github.com/MLton/mlton/commit/833d64dfd4fcb1149b2ac7da54a1c82c8df9cf0a Author: Matthew Fluet <mat...@gm...> Date: 2026-09-18 (Fri, 18 Sep 2026) Changed paths: M CHANGELOG.adoc M basis-library/text/char.sml Log Message: ----------- Fix bug in `{Char,String}.fromCString` `Char.fromCString` and `String.fromCString` erroneously accepted an unescaped double quote character. Commit: 134d1305d8c044a6df06d2c2a48c13e482ba5ea0 https://github.com/MLton/mlton/commit/134d1305d8c044a6df06d2c2a48c13e482ba5ea0 Author: Matthew Fluet <Mat...@gm...> Date: 2026-09-18 (Fri, 18 Sep 2026) Changed paths: M CHANGELOG.adoc M basis-library/text/char.sml Log Message: ----------- Merge pull request #653 from MatthewFluet/fromCString-bug Fix bug in `{Char,String}.fromCString` Compare: https://github.com/MLton/mlton/compare/fa4e23cd3907...134d1305d8c0 To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications To unsubscribe from this group and stop receiving emails from it, send an email to mlt...@ml.... |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-09-18 01:08:39
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: cb650477f133978903e2b75fc2ae0afcac848adc https://github.com/MLton/mlton/commit/cb650477f133978903e2b75fc2ae0afcac848adc Author: Matthew Fluet <mat...@gm...> Date: 2026-09-17 (Thu, 17 Sep 2026) Changed paths: M mlton/elaborate/type-env.fun Log Message: ----------- Update `TypeEnv.Type.canUnify` to check equality status of `Unknown`s Fixes MLton/mlton#651 Commit: c08b15196b9acbb832875235dd15b2035ea74bd4 https://github.com/MLton/mlton/commit/c08b15196b9acbb832875235dd15b2035ea74bd4 Author: Matthew Fluet <mat...@gm...> Date: 2026-09-17 (Thu, 17 Sep 2026) Changed paths: M mlton/elaborate/elaborate-core.fun Log Message: ----------- Eliminate unnecessary `? option` in handling of overload resolution Commit: 2c9006bf80486693d1e55121438965f0152cac07 https://github.com/MLton/mlton/commit/2c9006bf80486693d1e55121438965f0152cac07 Author: Matthew Fluet <mat...@gm...> Date: 2026-09-17 (Thu, 17 Sep 2026) Changed paths: M CHANGELOG.adoc Log Message: ----------- Update CHANGELOG.adoc Commit: fa4e23cd3907bc0ad81704d26a5faad82875c83e https://github.com/MLton/mlton/commit/fa4e23cd3907bc0ad81704d26a5faad82875c83e Author: Matthew Fluet <Mat...@gm...> Date: 2026-09-17 (Thu, 17 Sep 2026) Changed paths: M CHANGELOG.adoc M mlton/elaborate/elaborate-core.fun M mlton/elaborate/type-env.fun Log Message: ----------- Merge pull request #652 from MatthewFluet/overload-ice Fix handling of overload resolution with respect to equality types Closes #651. Previously, a use of / (overloaded only for real types) that was constrained to equality types would lead to an internal compiler error: ``` $ cat test.sml fun f (x,y) = (x/y, x=y) $ mlton test.sml MLton 20241230 raised: Fail: ElaborateCore.elabExp: Var:overload unify ``` As noted by @YawarRaza7349 in #651, this is due to a mismatch in `TypeEnv.Type.canUnify` and `TypeEnv.Type.unify`. The former did not check the required equality status of `Unknown` types. The suggested fix does not quite work, because in the case of checking possible overloads, the candidates types are ground types, so `TypeEnv.Type.canUnify` is checking a type with equality-type unknowns (e.g., `''?a * ''?a -> ''?a`) against a ground type (e.g., `real32 * real32 -> real32`). Therefore, checking the equality status is required if either of the arguments to `TypeEnv.Type.canUnify` are `Unknown`. Now, a proper type-checking error is reported: ``` $ mlton test.sml Error: test.sml 1.18-1.18. Variable not overloaded at type: /. type: ??? * ??? -> ??? Warning: test.sml 1.5-1.5. Type of variable was not inferred and could not be generalized: f. type: ??? * ??? -> ??? * bool in: fun f (x, y) = (x / y, x = y) ``` Compare: https://github.com/MLton/mlton/compare/a65f71fdb875...fa4e23cd3907 To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications To unsubscribe from this group and stop receiving emails from it, send an email to mlt...@ml.... |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-09-02 00:06:44
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 14ff4d83ed8f3d1edfa972758ab767caa673a81f https://github.com/MLton/mlton/commit/14ff4d83ed8f3d1edfa972758ab767caa673a81f Author: Matthew Fluet <mat...@gm...> Date: 2026-09-01 (Tue, 01 Sep 2026) Changed paths: A regression/bool-scan.ok A regression/bool-scan.sml Log Message: ----------- Add `bool-scan.sml` test demonstrating minor bugs with `Bool.scan` Commit: 8e34e86a4bf5a1e0c4a2f808791e98568962d3f2 https://github.com/MLton/mlton/commit/8e34e86a4bf5a1e0c4a2f808791e98568962d3f2 Author: Matthew Fluet <mat...@gm...> Date: 2026-09-01 (Tue, 01 Sep 2026) Changed paths: M CHANGELOG.adoc M basis-library/build/sources.mlb M basis-library/general/bool.sml M basis-library/text/string-cvt.sig M basis-library/text/string-cvt.sml Log Message: ----------- Fix minor `Bool.scan` bugs. `Bool.scan` should skip leading whitespace. `Bool.scan` should be case insensitive. Thanks to Skyb0rg007 (Skye Soss) for the bug report. Closes MLton/mlton#648 Commit: a65f71fdb8751643242844e449e2480df70b6e82 https://github.com/MLton/mlton/commit/a65f71fdb8751643242844e449e2480df70b6e82 Author: Matthew Fluet <Mat...@gm...> Date: 2026-09-01 (Tue, 01 Sep 2026) Changed paths: M CHANGELOG.adoc M basis-library/build/sources.mlb M basis-library/general/bool.sml M basis-library/text/string-cvt.sig M basis-library/text/string-cvt.sml A regression/bool-scan.ok A regression/bool-scan.sml Log Message: ----------- Merge pull request #650 from MatthewFluet/bool-scan-bug Fix minor `Bool.scan` bugs Compare: https://github.com/MLton/mlton/compare/e44f16ca8cbe...a65f71fdb875 To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications To unsubscribe from this group and stop receiving emails from it, send an email to mlt...@ml.... |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-02-27 17:27:41
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 5bce31db34abd777d39f067324736660b94b989e https://github.com/MLton/mlton/commit/5bce31db34abd777d39f067324736660b94b989e Author: Matthew Fluet <mat...@gm...> Date: 2026-02-27 (Fri, 27 Feb 2026) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Use `actions/upload-artifact@v7` to upload non-zipped artifact Commit: 4a00f50d818c4670f3c0f6abe05f1ddd5130ddfa https://github.com/MLton/mlton/commit/4a00f50d818c4670f3c0f6abe05f1ddd5130ddfa Author: Matthew Fluet <mat...@gm...> Date: 2026-02-27 (Fri, 27 Feb 2026) Changed paths: M .github/workflows/binary-release.yml Log Message: ----------- Add `macos-26-intel` runner to binary-release workflow Commit: b7b550301bea0a41ecd12c35eb19d44b8cad9821 https://github.com/MLton/mlton/commit/b7b550301bea0a41ecd12c35eb19d44b8cad9821 Author: Matthew Fluet <mat...@gm...> Date: 2026-02-27 (Fri, 27 Feb 2026) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Switch from `macos-15{,-intel}` to `macos-26{,-intel}` for CI Commit: e44f16ca8cbe1eea16657bf5bd9208f7de158436 https://github.com/MLton/mlton/commit/e44f16ca8cbe1eea16657bf5bd9208f7de158436 Author: Matthew Fluet <Mat...@gm...> Date: 2026-02-27 (Fri, 27 Feb 2026) Changed paths: M .github/workflows/binary-release.yml M .github/workflows/ci.yml Log Message: ----------- Merge pull request #647 from MatthewFluet/ci-updates CI updates: use non-zipped artifacts and macos-26 runners in GitHub workflows Compare: https://github.com/MLton/mlton/compare/002db78efce1...e44f16ca8cbe To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-02-25 19:40:59
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 78b640a4b65c6927b717707ed4c0fd463b18fe8a https://github.com/MLton/mlton/commit/78b640a4b65c6927b717707ed4c0fd463b18fe8a Author: Matthew Fluet <mat...@gm...> Date: 2026-02-25 (Wed, 25 Feb 2026) Changed paths: M mlton/main/main.fun Log Message: ----------- Fix bug that compiled a `.sxml` file using the XML frontend Commit: 002db78efce193b4e24e33dcd488a5ee29c24464 https://github.com/MLton/mlton/commit/002db78efce193b4e24e33dcd488a5ee29c24464 Author: Matthew Fluet <Mat...@gm...> Date: 2026-02-25 (Wed, 25 Feb 2026) Changed paths: M mlton/main/main.fun Log Message: ----------- Merge pull request #646 from MatthewFluet/sxml-frontend Fix bug that compiled a `.sxml` file using the XML frontend Compare: https://github.com/MLton/mlton/compare/b495cc961c61...002db78efce1 To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-02-12 23:31:00
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 5d64177930b632b72a0ed3d39a752ff658f781ba https://github.com/MLton/mlton/commit/5d64177930b632b72a0ed3d39a752ff658f781ba Author: Skye Soss <sk...@so...> Date: 2026-02-10 (Tue, 10 Feb 2026) Changed paths: M basis-library/mlton/io.fun Log Message: ----------- Support for $TMPDIR. Modifies tempPrefix to first use the $TMPDIR environment variable. It only uses the $TMPDIR location if the path is absolute, canonical, and already exists as a directory. Closes #642. Commit: b495cc961c61caaf892777307754bb385547a1cd https://github.com/MLton/mlton/commit/b495cc961c61caaf892777307754bb385547a1cd Author: Matthew Fluet <Mat...@gm...> Date: 2026-02-12 (Thu, 12 Feb 2026) Changed paths: M basis-library/mlton/io.fun Log Message: ----------- Merge pull request #643 from Skyb0rg007/tmpfile-tmpdir Support for $TMPDIR. Compare: https://github.com/MLton/mlton/compare/dacc158ac656...b495cc961c61 To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-01-24 13:18:38
|
Branch: refs/heads/binary-release-workflow-updates Home: https://github.com/MLton/mlton To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-01-24 13:18:36
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 80cb8f1e51db3730dc11dab2233a14ba2ff2be41 https://github.com/MLton/mlton/commit/80cb8f1e51db3730dc11dab2233a14ba2ff2be41 Author: Matthew Fluet <mat...@gm...> Date: 2026-01-02 (Fri, 02 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml M .github/workflows/binary-release.yml Log Message: ----------- Simplify binary release suffix in binary-release workflow Commit: 62b3e7a226ec1fdb57028a7e3c6771bdcfb2d8f8 https://github.com/MLton/mlton/commit/62b3e7a226ec1fdb57028a7e3c6771bdcfb2d8f8 Author: Matthew Fluet <mat...@gm...> Date: 2026-01-02 (Fri, 02 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml Log Message: ----------- Evaluate MLTON_BINARY_RELEASE_SUFFIX once in binary-release workflow Commit: 557d667f44e48d843f8a464e5c247e289394447f https://github.com/MLton/mlton/commit/557d667f44e48d843f8a464e5c247e289394447f Author: Matthew Fluet <mat...@gm...> Date: 2026-01-03 (Sat, 03 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml Log Message: ----------- Make binary-release-single workflow exit early when artifact exists Commit: b9f7e445b4db69e41cf8e72c881f6cc9bfce2ab0 https://github.com/MLton/mlton/commit/b9f7e445b4db69e41cf8e72c881f6cc9bfce2ab0 Author: Matthew Fluet <mat...@gm...> Date: 2026-01-03 (Sat, 03 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml Log Message: ----------- Perform checkout before download and unpack source release The checkout action deletes the contents of the working directory, so must be done before downloading and unpacking the source release. Commit: 84e43d0c64434f5e75f58415dbc1e2308af61e10 https://github.com/MLton/mlton/commit/84e43d0c64434f5e75f58415dbc1e2308af61e10 Author: Matthew Fluet <mat...@gm...> Date: 2026-01-03 (Sat, 03 Jan 2026) Changed paths: M .github/workflows/source-release.yml Log Message: ----------- Make source-release workflow exit early when artifact exists Commit: 47fce360dc98a313397f9b3728d2407af43ecf9d https://github.com/MLton/mlton/commit/47fce360dc98a313397f9b3728d2407af43ecf9d Author: Matthew Fluet <mat...@gm...> Date: 2026-01-03 (Sat, 03 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml M .github/workflows/source-release.yml Log Message: ----------- Don't clobber existing assets in release workflows Commit: dacc158ac6563930a0057e258533ee7c98ff8259 https://github.com/MLton/mlton/commit/dacc158ac6563930a0057e258533ee7c98ff8259 Author: Matthew Fluet <Mat...@gm...> Date: 2026-01-24 (Sat, 24 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml M .github/workflows/binary-release.yml M .github/workflows/source-release.yml Log Message: ----------- Merge pull request #640 from MLton/binary-release-workflow-updates Binary release workflow updates Compare: https://github.com/MLton/mlton/compare/60207de07bf6...dacc158ac656 To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-01-03 14:56:37
|
Branch: refs/heads/binary-release-workflow-updates Home: https://github.com/MLton/mlton Commit: e0d036f67ba1971134b9fc309c17dd212ef1fa0d https://github.com/MLton/mlton/commit/e0d036f67ba1971134b9fc309c17dd212ef1fa0d Author: Matthew Fluet <mat...@gm...> Date: 2026-01-03 (Sat, 03 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml Log Message: ----------- Make binary-release-single workflow exit early when artifact exists To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-01-03 14:32:36
|
Branch: refs/heads/binary-release-workflow-updates Home: https://github.com/MLton/mlton Commit: 47fce360dc98a313397f9b3728d2407af43ecf9d https://github.com/MLton/mlton/commit/47fce360dc98a313397f9b3728d2407af43ecf9d Author: Matthew Fluet <mat...@gm...> Date: 2026-01-03 (Sat, 03 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml M .github/workflows/source-release.yml Log Message: ----------- Don't clobber existing assets in release workflows To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-01-03 14:29:54
|
Branch: refs/heads/binary-release-workflow-updates Home: https://github.com/MLton/mlton Commit: b9f7e445b4db69e41cf8e72c881f6cc9bfce2ab0 https://github.com/MLton/mlton/commit/b9f7e445b4db69e41cf8e72c881f6cc9bfce2ab0 Author: Matthew Fluet <mat...@gm...> Date: 2026-01-03 (Sat, 03 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml Log Message: ----------- Perform checkout before download and unpack source release The checkout action deletes the contents of the working directory, so must be done before downloading and unpacking the source release. Commit: 84e43d0c64434f5e75f58415dbc1e2308af61e10 https://github.com/MLton/mlton/commit/84e43d0c64434f5e75f58415dbc1e2308af61e10 Author: Matthew Fluet <mat...@gm...> Date: 2026-01-03 (Sat, 03 Jan 2026) Changed paths: M .github/workflows/source-release.yml Log Message: ----------- Make source-release workflow exit early when artifact exists Compare: https://github.com/MLton/mlton/compare/557d667f44e4...84e43d0c6443 To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-01-03 14:16:31
|
Branch: refs/heads/binary-release-workflow-updates Home: https://github.com/MLton/mlton Commit: 557d667f44e48d843f8a464e5c247e289394447f https://github.com/MLton/mlton/commit/557d667f44e48d843f8a464e5c247e289394447f Author: Matthew Fluet <mat...@gm...> Date: 2026-01-03 (Sat, 03 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml Log Message: ----------- Make binary-release-single workflow exit early when artifact exists To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-01-03 14:04:17
|
Branch: refs/heads/binary-release-workflow-updates Home: https://github.com/MLton/mlton Commit: 973927f888e752e79c54332faa1e2b211d4f892f https://github.com/MLton/mlton/commit/973927f888e752e79c54332faa1e2b211d4f892f Author: Matthew Fluet <mat...@gm...> Date: 2026-01-03 (Sat, 03 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml Log Message: ----------- Checking file system in binary-release-single workflow To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-01-03 13:44:28
|
Branch: refs/heads/binary-release-workflow-updates Home: https://github.com/MLton/mlton Commit: 643a052fbdd8eb200573863637e5524fecfb0a44 https://github.com/MLton/mlton/commit/643a052fbdd8eb200573863637e5524fecfb0a44 Author: Matthew Fluet <mat...@gm...> Date: 2026-01-03 (Sat, 03 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml Log Message: ----------- Make binary-release-single workflow exit early when artifact exists To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-01-03 13:38:20
|
Branch: refs/heads/binary-release-workflow-updates Home: https://github.com/MLton/mlton Commit: 09c93885b9fccfbf85ffb7b3d80e11123e09c9d2 https://github.com/MLton/mlton/commit/09c93885b9fccfbf85ffb7b3d80e11123e09c9d2 Author: Matthew Fluet <mat...@gm...> Date: 2026-01-03 (Sat, 03 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml Log Message: ----------- Make binary-release-single workflow exit early when artifact exists To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-01-03 13:35:30
|
Branch: refs/heads/binary-release-workflow-updates Home: https://github.com/MLton/mlton Commit: 38fda6ce11b36d93de98c780e9ff88b3d0c73dcb https://github.com/MLton/mlton/commit/38fda6ce11b36d93de98c780e9ff88b3d0c73dcb Author: Matthew Fluet <mat...@gm...> Date: 2026-01-03 (Sat, 03 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml Log Message: ----------- Make binary-release-single workflow exit early when artifact exists To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-01-03 13:32:29
|
Branch: refs/heads/binary-release-workflow-updates Home: https://github.com/MLton/mlton Commit: dd2b3b53d79de0f10464fb2de2a4843f342233ac https://github.com/MLton/mlton/commit/dd2b3b53d79de0f10464fb2de2a4843f342233ac Author: Matthew Fluet <mat...@gm...> Date: 2026-01-03 (Sat, 03 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml Log Message: ----------- Make binary-release-single workflow exit early when artifact exists To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-01-02 22:06:53
|
Branch: refs/heads/binary-release-workflow-updates Home: https://github.com/MLton/mlton Commit: 62b3e7a226ec1fdb57028a7e3c6771bdcfb2d8f8 https://github.com/MLton/mlton/commit/62b3e7a226ec1fdb57028a7e3c6771bdcfb2d8f8 Author: Matthew Fluet <mat...@gm...> Date: 2026-01-02 (Fri, 02 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml Log Message: ----------- Evaluate MLTON_BINARY_RELEASE_SUFFIX once in binary-release workflow To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-01-02 21:28:57
|
Branch: refs/heads/binary-release-workflow-updates Home: https://github.com/MLton/mlton Commit: 80cb8f1e51db3730dc11dab2233a14ba2ff2be41 https://github.com/MLton/mlton/commit/80cb8f1e51db3730dc11dab2233a14ba2ff2be41 Author: Matthew Fluet <mat...@gm...> Date: 2026-01-02 (Fri, 02 Jan 2026) Changed paths: M .github/workflows/binary-release-single.yml M .github/workflows/binary-release.yml Log Message: ----------- Simplify binary release suffix in binary-release workflow To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications |
