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
|
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2024-12-27 19:25:30
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 51715a082169731e1b10b8c2e64d351f225f945b https://github.com/MLton/mlton/commit/51715a082169731e1b10b8c2e64d351f225f945b Author: Matthew Fluet <mat...@gm...> Date: 2024-12-27 (Fri, 27 Dec 2024) Changed paths: A .github/actions/install-bootstrap-dependencies/action.yml A .github/actions/install-guide-dependencies/action.yml A .github/workflows/binary-release-single.yml A .github/workflows/binary-release.yml M .github/workflows/ci.yml M .github/workflows/guide.yml A .github/workflows/release.yml A .github/workflows/source-release.yml M Makefile Log Message: ----------- Create a GitHub action to automate creation of release artifacts Closes MLton/mlton#443 Commit: 16e7e8f28339517193c370b36dddf7b6659d5d82 https://github.com/MLton/mlton/commit/16e7e8f28339517193c370b36dddf7b6659d5d82 Author: Matthew Fluet <Mat...@gm...> Date: 2024-12-27 (Fri, 27 Dec 2024) Changed paths: A .github/actions/install-bootstrap-dependencies/action.yml A .github/actions/install-guide-dependencies/action.yml A .github/workflows/binary-release-single.yml A .github/workflows/binary-release.yml M .github/workflows/ci.yml M .github/workflows/guide.yml A .github/workflows/release.yml A .github/workflows/source-release.yml M Makefile Log Message: ----------- Merge pull request #587 from MatthewFluet/workflow-updates Create a GitHub action to automate creation of release artifacts Compare: https://github.com/MLton/mlton/compare/665812b4b63b...16e7e8f28339 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...> - 2024-12-20 16:21:56
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: a4b433fe28da15b7acd9a1fd6164abca40989ff0 https://github.com/MLton/mlton/commit/a4b433fe28da15b7acd9a1fd6164abca40989ff0 Author: Matthew Fluet <mat...@gm...> Date: 2024-12-20 (Fri, 20 Dec 2024) Changed paths: M CHANGELOG.adoc M mlton/ssa/useless.fun Log Message: ----------- Treat length of sequences as a "slot" in Useless optimization In the `Value.t` representation of the Useless optimization, sequence and tuple elements are "slots", which combine a `Useful.t` lattice element with an `Exists.t` lattice element. When a value flows, vectors and tuples coerce the `Useful.t` component of slots but unify the `Exists.t` component. This ensures that agree on whether or not the element exists even if they disagree that the element is useful. If the "from"'s element is useful (and necessarily existing) but the "to"'s element is not useful, then forcing the "to"'s element to exist avoids a potentially expensive runtime coercion (e.g., to drop a component of a tuple or, worse, to drop a component of a tuple that is the contents of a vector). Previously, the length of a sequence was represented simply as a `Useful.t`; this allowed a vector (whose contents were not useful) with a useful length to flow to a vector (whose contents are necessarily not useful) with a useless length. 1aad5fe77 (Optimize representation of sequences in Useless pass; MLton/mlton#569) allowed the Useless optimization to change the representation of sequence with useless contents. In particular, a vector with useless contents but useful length becomes a `word64` and a vector with useless contents and useless length becomes a `unit`. However, when such vectors are themselves components of a tuple, then the program may have a flow of tuples, where the source tuple is changed from `(..., ?? vector, ...)` to `(..., word64, ...)` but the destination tuple is changed from `(..., ?? vector, ...)` to `(..., unit, ...)`. (Note that the unification of the `Exist.t` components of the corresponding tuple elements is what makes the destination tuple have a `unit` element.) This commit treats the length of arrays and vectors as a "slot", so that they track both usefulness and existence. Now, a vector with useless contents but a length that must exist becomes a `word64` (even if the length is useless) and a vector with useless contents and a length that need not exist (and is necessarily useless) becomes a `unit`. Fixes MLton/mlton#585. Commit: 665812b4b63bba4df629c402be5ce3f02c2664f0 https://github.com/MLton/mlton/commit/665812b4b63bba4df629c402be5ce3f02c2664f0 Author: Matthew Fluet <Mat...@gm...> Date: 2024-12-20 (Fri, 20 Dec 2024) Changed paths: M CHANGELOG.adoc M mlton/ssa/useless.fun Log Message: ----------- Merge pull request #586 from MatthewFluet/useless-bugfix Treat length of sequences as a "slot" in Useless optimization Compare: https://github.com/MLton/mlton/compare/bf187537cdaa...665812b4b63b 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...> - 2024-12-14 21:51:16
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 88b75e5ee35292077f8c549cb3c210e23a47d771 https://github.com/MLton/mlton/commit/88b75e5ee35292077f8c549cb3c210e23a47d771 Author: Matthew Fluet <mat...@gm...> Date: 2024-12-14 (Sat, 14 Dec 2024) Changed paths: M CHANGELOG.adoc M doc/guide/src/CKitLibrary.adoc M doc/guide/src/MLLPTLibrary.adoc M doc/guide/src/MLRISCLibrary.adoc M doc/guide/src/SMLNJLibrary.adoc M lib/ckit-lib/ckit.tgz M lib/mllpt-lib/ml-lpt.tgz M lib/mlrisc-lib/MLRISC.tgz M lib/smlnj-lib/smlnj-lib.patch M lib/smlnj-lib/smlnj-lib.tgz Log Message: ----------- Update to SML/NJ 110.99.6.1 libraries Commit: bf187537cdaa587949a568dc6fdb26334602d2ab https://github.com/MLton/mlton/commit/bf187537cdaa587949a568dc6fdb26334602d2ab Author: Matthew Fluet <Mat...@gm...> Date: 2024-12-14 (Sat, 14 Dec 2024) Changed paths: M CHANGELOG.adoc M doc/guide/src/CKitLibrary.adoc M doc/guide/src/MLLPTLibrary.adoc M doc/guide/src/MLRISCLibrary.adoc M doc/guide/src/SMLNJLibrary.adoc M lib/ckit-lib/ckit.tgz M lib/mllpt-lib/ml-lpt.tgz M lib/mlrisc-lib/MLRISC.tgz M lib/smlnj-lib/smlnj-lib.patch M lib/smlnj-lib/smlnj-lib.tgz Log Message: ----------- Merge pull request #584 from MatthewFluet/smlnj-updates Update to SML/NJ 110.99.6.1 libraries Compare: https://github.com/MLton/mlton/compare/c4e0d7e6846e...bf187537cdaa 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...> - 2024-11-02 16:56:35
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: bda91d519181e7226ca2de978689cd0d1c7dadb5 https://github.com/MLton/mlton/commit/bda91d519181e7226ca2de978689cd0d1c7dadb5 Author: TwoF1nger <140...@us...> Date: 2024-11-02 (Sat, 02 Nov 2024) Changed paths: M doc/guide/src/SMLNJLibrary.adoc Log Message: ----------- fix the uuid library description Commit: c4e0d7e6846e33159a0a8d7371be3af0c46b61a8 https://github.com/MLton/mlton/commit/c4e0d7e6846e33159a0a8d7371be3af0c46b61a8 Author: Matthew Fluet <Mat...@gm...> Date: 2024-11-02 (Sat, 02 Nov 2024) Changed paths: M doc/guide/src/SMLNJLibrary.adoc Log Message: ----------- Merge pull request #582 from TwoF1nger/patch-1 fix the uuid library description Compare: https://github.com/MLton/mlton/compare/680bfcc6d6d8...c4e0d7e6846e 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...> - 2024-08-09 19:05:59
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 9d07c2734cf9e21ad8e3cf938faefa85663c512e https://github.com/MLton/mlton/commit/9d07c2734cf9e21ad8e3cf938faefa85663c512e Author: Matthew Fluet <mat...@gm...> Date: 2024-08-09 (Fri, 09 Aug 2024) Changed paths: M runtime/basis/MLton/Process/spawne.c M runtime/basis/MLton/Process/spawnp.c Log Message: ----------- Update pointer casts to match MinGW's prototypes for `spawn{p,ve}` Commit: c527a50993acfbb05832da124b5ca61928dbdef4 https://github.com/MLton/mlton/commit/c527a50993acfbb05832da124b5ca61928dbdef4 Author: Matthew Fluet <mat...@gm...> Date: 2024-08-09 (Fri, 09 Aug 2024) Changed paths: M runtime/basis/Net/Socket/Socket.c Log Message: ----------- Update pointer casts to match MinGW's prototypes for `{get,set}sockopt` Commit: bc6937b3388a27a60d113c2479b8d5080a649eb9 https://github.com/MLton/mlton/commit/bc6937b3388a27a60d113c2479b8d5080a649eb9 Author: Matthew Fluet <mat...@gm...> Date: 2024-08-09 (Fri, 09 Aug 2024) Changed paths: M runtime/basis/Posix/Process/exece.c M runtime/basis/Posix/Process/execp.c M runtime/platform.h M runtime/platform/mingw.h Log Message: ----------- Remove workaround for MinGW's old prototypes for `execv{e,p}` Commit: 680bfcc6d6d8df3e51220fd88d297830316b89b4 https://github.com/MLton/mlton/commit/680bfcc6d6d8df3e51220fd88d297830316b89b4 Author: Matthew Fluet <Mat...@gm...> Date: 2024-08-09 (Fri, 09 Aug 2024) Changed paths: M runtime/basis/MLton/Process/spawne.c M runtime/basis/MLton/Process/spawnp.c M runtime/basis/Net/Socket/Socket.c M runtime/basis/Posix/Process/exece.c M runtime/basis/Posix/Process/execp.c M runtime/platform.h M runtime/platform/mingw.h Log Message: ----------- Merge pull request #577 from MatthewFluet/mingw-prototypes-update MinGW prototypes update Various updates to quell compilation errors with new MinGW prototypes for POSIX functions. Compare: https://github.com/MLton/mlton/compare/7dc071812d04...680bfcc6d6d8 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...> - 2024-08-09 11:50:09
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 9c8aa88e5bf3cc68d43401477b2639300ee6cdff https://github.com/MLton/mlton/commit/9c8aa88e5bf3cc68d43401477b2639300ee6cdff Author: Matthew Fluet <mat...@gm...> Date: 2024-08-09 (Fri, 09 Aug 2024) Changed paths: M CHANGELOG.adoc M doc/guide/src/LLVMCodegen.adoc M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Update the LLVM codegen to generate LLVM IR using opaque pointers Using the LLVM codegen requires LLVM 15 (or higher). Commit: 7dc071812d040b7670571003772104513950877e https://github.com/MLton/mlton/commit/7dc071812d040b7670571003772104513950877e Author: Matthew Fluet <Mat...@gm...> Date: 2024-08-09 (Fri, 09 Aug 2024) Changed paths: M CHANGELOG.adoc M doc/guide/src/LLVMCodegen.adoc M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Merge pull request #574 from MatthewFluet/llvm-opaque-ptr LLVM opaque pointers Update the LLVM codegen to generate LLVM IR using opaque pointers; using the LLVM codegen requires LLVM 15 (or higher). Compare: https://github.com/MLton/mlton/compare/7a85b3b2d558...7dc071812d04 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...> - 2024-08-08 15:37:58
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 7836bc30fc7d8446cf2258e0e1128d934e9901f9 https://github.com/MLton/mlton/commit/7836bc30fc7d8446cf2258e0e1128d934e9901f9 Author: Matthew Fluet <mat...@gm...> Date: 2024-07-31 (Wed, 31 Jul 2024) Changed paths: M mlton/ssa/ssa-tree.fun M mlton/ssa/ssa-tree2.fun Log Message: ----------- Clear `SsaTree{,2}.Function.name: Func.t` properties in `SsaTree{,2}.Program.clearTop` Commit: 445fdc12dc78bd6f5cfd33b82c92bae03adf39bd https://github.com/MLton/mlton/commit/445fdc12dc78bd6f5cfd33b82c92bae03adf39bd Author: Matthew Fluet <mat...@gm...> Date: 2024-07-31 (Wed, 31 Jul 2024) Changed paths: M mlton/ssa/ssa-tree.fun M mlton/ssa/ssa-tree2.fun Log Message: ----------- Tweak `SsaTree{,2}.Function.layoutDot` Commit: 8e385a89cc65a61e4783dc65ab65fcb375c3da6e https://github.com/MLton/mlton/commit/8e385a89cc65a61e4783dc65ab65fcb375c3da6e Author: Matthew Fluet <mat...@gm...> Date: 2024-07-31 (Wed, 31 Jul 2024) Changed paths: M mlton/backend/rssa-tree.fun M mlton/backend/rssa-tree.sig Log Message: ----------- Add `RssaTree.Function.{controlFlow,layoutDot}` Commit: 7a85b3b2d55879faf1ab53c23e21c10568dab5a1 https://github.com/MLton/mlton/commit/7a85b3b2d55879faf1ab53c23e21c10568dab5a1 Author: Matthew Fluet <Mat...@gm...> Date: 2024-08-08 (Thu, 08 Aug 2024) Changed paths: M mlton/backend/rssa-tree.fun M mlton/backend/rssa-tree.sig M mlton/ssa/ssa-tree.fun M mlton/ssa/ssa-tree2.fun Log Message: ----------- Merge pull request #573 from MatthewFluet/rssa-infrastructure {Ssa,Ssa2,Rssa} infrastructure Compare: https://github.com/MLton/mlton/compare/258cb5b08e92...7a85b3b2d558 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...> - 2024-05-23 00:38:46
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: e73f438abb16a80868fe6d194d522dd01cd8ee59 https://github.com/MLton/mlton/commit/e73f438abb16a80868fe6d194d522dd01cd8ee59 Author: Matthew Fluet <mat...@gm...> Date: 2024-05-22 (Wed, 22 May 2024) Changed paths: M LICENSE Log Message: ----------- Update LICENSE date Commit: c66ecc11d95b441f612c6d8cb21211818fa776ce https://github.com/MLton/mlton/commit/c66ecc11d95b441f612c6d8cb21211818fa776ce Author: Matthew Fluet <mat...@gm...> Date: 2024-05-22 (Wed, 22 May 2024) Changed paths: M CHANGELOG.adoc Log Message: ----------- Update CHANGELOG Commit: 7f31145f215cea489828e4906c31a9424c4a5518 https://github.com/MLton/mlton/commit/7f31145f215cea489828e4906c31a9424c4a5518 Author: Matthew Fluet <mat...@gm...> Date: 2024-05-22 (Wed, 22 May 2024) Changed paths: M runtime/Makefile Log Message: ----------- Change `WASMTIME` variable to `EMULATE` in `runtime/Makefile` Commit: 258cb5b08e9263a332e2b261319b9bead91c4fec https://github.com/MLton/mlton/commit/258cb5b08e9263a332e2b261319b9bead91c4fec Author: Matthew Fluet <Mat...@gm...> Date: 2024-05-22 (Wed, 22 May 2024) Changed paths: M CHANGELOG.adoc M LICENSE M runtime/Makefile Log Message: ----------- Merge pull request #570 from MatthewFluet/misc-updates Misc updates: LICENSE date; CHANGELOG; WASMTIME to EMULATE in runtime/Makefile Compare: https://github.com/MLton/mlton/compare/08b85af35b63...258cb5b08e92 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...> - 2024-05-22 21:25:01
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 2d07f55d162f1e91939d55f0d53a81b312dcc201 https://github.com/MLton/mlton/commit/2d07f55d162f1e91939d55f0d53a81b312dcc201 Author: Matthew Fluet <mat...@gm...> Date: 2024-05-17 (Fri, 17 May 2024) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- Lift `Useless.Value.coerceSlot` Commit: 30629e775ab07c345ed9c8546beb054a6f8ba228 https://github.com/MLton/mlton/commit/30629e775ab07c345ed9c8546beb054a6f8ba228 Author: Matthew Fluet <mat...@gm...> Date: 2024-05-17 (Fri, 17 May 2024) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- Add `Useless.de{array,vector}Slot` Commit: ee544e1e4f71bdbf472d702c7b7417c83c083c4f https://github.com/MLton/mlton/commit/ee544e1e4f71bdbf472d702c7b7417c83c083c4f Author: Matthew Fluet <mat...@gm...> Date: 2024-05-17 (Fri, 17 May 2024) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- Simplify forcing of usefulness of `Array_alloc` argument Rather than always forcing a `Value.Array`'s length to be useful whenever an array element exists, only force the `Array_alloc`'s argument to be useful whenever an array element exists. Commit: 4a39ded661828abe43ea5cbca9926d4e9838e3b8 https://github.com/MLton/mlton/commit/4a39ded661828abe43ea5cbca9926d4e9838e3b8 Author: Matthew Fluet <mat...@gm...> Date: 2024-05-17 (Fri, 17 May 2024) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- Unify analysis of sequence primitives in `Useless` Commit: 81bf18f5148bebff5c128f49a938324313cea80b https://github.com/MLton/mlton/commit/81bf18f5148bebff5c128f49a938324313cea80b Author: Matthew Fluet <mat...@gm...> Date: 2024-05-17 (Fri, 17 May 2024) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- Strengthen `Useless` analysis of `Array_to{Array,Vector}` Commit: f557f13255d673aa30f39b58c1834546cde2c360 https://github.com/MLton/mlton/commit/f557f13255d673aa30f39b58c1834546cde2c360 Author: Matthew Fluet <mat...@gm...> Date: 2024-05-17 (Fri, 17 May 2024) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- Fix variable name convention for `Useless.Value.Tuple` argument Commit: 74758132ccf5fa0a77a945ace87768a79dcda567 https://github.com/MLton/mlton/commit/74758132ccf5fa0a77a945ace87768a79dcda567 Author: Matthew Fluet <mat...@gm...> Date: 2024-05-17 (Fri, 17 May 2024) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- Refactor `Useless.Value.getNew` Commit: 1aad5fe772bd73a1ad24134e24da1d9042304acd https://github.com/MLton/mlton/commit/1aad5fe772bd73a1ad24134e24da1d9042304acd Author: Matthew Fluet <mat...@gm...> Date: 2024-05-22 (Wed, 22 May 2024) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- Optimize representation of sequences in Useless pass The `Useless` optimization pass may determine that the contents of a sequence (array or vector) is useless; similarly, it may determine that the length of a sequence is useless; finally, it may determine that the identity of an array is useless. However, the transformation performed by the `Useless` optimization pass would, at most, change a `t array` or `t vector` to `unit array` or `unit vector`. This commit allows the `Useless` optimization pass to change sequences with useless contents to simpler types. In particular: * a `t array` with useless contents, useless length, and useless identity becomes a `unit` * a `t array` with useless contents, useless length, and useful identity becomes a `unit ref` * a `t array` with useless contents, useful length, and useless identity becomes a `word64` (or a `word32` on 32-bit platforms) * a `t array` with useless contents, useful length, and useful identity becomes a `word64 ref` (or a `word32 ref` on 32-bit platforms) * a `t vector` with useless contents and useless length becomes a `unit` * a `t vector` with useless contents and useful length becomes a `word64` (or a `word32` on 32-bit platforms) Such optimizations do not happen frequently, but there are a few instances in a self-compile. Commit: 08b85af35b63f7500a2c425b65d5a94d88637d65 https://github.com/MLton/mlton/commit/08b85af35b63f7500a2c425b65d5a94d88637d65 Author: Matthew Fluet <Mat...@gm...> Date: 2024-05-22 (Wed, 22 May 2024) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- Merge pull request #569 from MatthewFluet/useless-update Optimize representation of sequences in Useless pass The `Useless` optimization pass may determine that the contents of a sequence (array or vector) is useless; similarly, it may determine that the length of a sequence is useless; finally, it may determine that the identity of an array is useless. However, the transformation performed by the `Useless` optimization pass would, at most, change a `t array` or `t vector` to `unit array` or `unit vector`. This PR allows the `Useless` optimization pass to change sequences with useless contents to simpler types. In particular: * a `t array` with useless contents, useless length, and useless identity becomes a `unit` * a `t array` with useless contents, useless length, and useful identity becomes a `unit ref` * a `t array` with useless contents, useful length, and useless identity becomes a `word64` (or a `word32` on 32-bit platforms) * a `t array` with useless contents, useful length, and useful identity becomes a `word64 ref` (or a `word32 ref` on 32-bit platforms) * a `t vector` with useless contents and useless length becomes a `unit` * a `t vector` with useless contents and useful length becomes a `word64` (or a `word32` on 32-bit platforms) Such optimizations do not happen frequently, but there are a few instances in a self-compile. Compare: https://github.com/MLton/mlton/compare/db3ea0bdbcc9...08b85af35b63 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...> - 2024-05-22 19:43:05
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: ae7f2b5def503d43fd9f0459bb8209125c6030a4 https://github.com/MLton/mlton/commit/ae7f2b5def503d43fd9f0459bb8209125c6030a4 Author: Matthew Fluet <mat...@gm...> Date: 2024-05-22 (Wed, 22 May 2024) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Use explicit runner labels Commit: e9eaaf1e481d265172d88e8368c69c227888226a https://github.com/MLton/mlton/commit/e9eaaf1e481d265172d88e8368c69c227888226a Author: Matthew Fluet <mat...@gm...> Date: 2024-05-22 (Wed, 22 May 2024) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Try enabling beta `ubuntu-24.04` runner Commit: b07d314dac9d5ad7744fcde39939cb65fc613178 https://github.com/MLton/mlton/commit/b07d314dac9d5ad7744fcde39939cb65fc613178 Author: Matthew Fluet <mat...@gm...> Date: 2024-05-22 (Wed, 22 May 2024) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Use `brew install -q` to quell warnings Commit: 062d6986c655c194cbb6802bb566a72c1a2f0e29 https://github.com/MLton/mlton/commit/062d6986c655c194cbb6802bb566a72c1a2f0e29 Author: Matthew Fluet <mat...@gm...> Date: 2024-05-22 (Wed, 22 May 2024) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Use `ubuntu-24.04` in CI Commit: db3ea0bdbcc99b19f987224154039711dd0a124f https://github.com/MLton/mlton/commit/db3ea0bdbcc99b19f987224154039711dd0a124f Author: Matthew Fluet <Mat...@gm...> Date: 2024-05-22 (Wed, 22 May 2024) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Merge pull request #568 from MatthewFluet/ci-updates CI updates Compare: https://github.com/MLton/mlton/compare/359be750b843...db3ea0bdbcc9 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...> - 2024-05-21 16:12:03
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 505b31d299c49f64c2793cd5f19aa738a4c83701 https://github.com/MLton/mlton/commit/505b31d299c49f64c2793cd5f19aa738a4c83701 Author: Adam Goode <ag...@go...> Date: 2024-05-19 (Sun, 19 May 2024) Changed paths: M basis-library/mlton/platform.sig M basis-library/mlton/platform.sml M basis-library/sml-nj/sml-nj.sml M mlton/main/main.fun Log Message: ----------- Add Wasm32 and WASI to Arch and OS structures Commit: c14b658f22e60185129390c1ce08adc523658c24 https://github.com/MLton/mlton/commit/c14b658f22e60185129390c1ce08adc523658c24 Author: Adam Goode <ag...@go...> Date: 2024-05-19 (Sun, 19 May 2024) Changed paths: M bin/mlton-script M runtime/Makefile M runtime/cenv.h M runtime/gc/heap.c M runtime/platform.h M runtime/platform/aix.h M runtime/platform/cygwin.h M runtime/platform/darwin.h M runtime/platform/freebsd.h M runtime/platform/hpux.h M runtime/platform/hurd.h M runtime/platform/linux.h M runtime/platform/mingw.h M runtime/platform/netbsd.h M runtime/platform/openbsd.h M runtime/platform/solaris.h A runtime/platform/wasi.c A runtime/platform/wasi.h A runtime/platform/wasm32.h Log Message: ----------- Add wasm32-wasi target to mlton This requires: - WASI SDK: https://github.com/WebAssembly/wasi-sdk - wasmtime: https://wasmtime.dev/ Commit: 4f3d2992ba245a7a116f998ea809272adb53a433 https://github.com/MLton/mlton/commit/4f3d2992ba245a7a116f998ea809272adb53a433 Author: Adam Goode <ag...@go...> Date: 2024-05-19 (Sun, 19 May 2024) Changed paths: M doc/guide/src/PlatformSpecificNotes.adoc A doc/guide/src/RunningOnWASI.adoc Log Message: ----------- Add WASI docs Commit: 359be750b84328e0b497bfde3eb35059074d326f https://github.com/MLton/mlton/commit/359be750b84328e0b497bfde3eb35059074d326f Author: Matthew Fluet <Mat...@gm...> Date: 2024-05-21 (Tue, 21 May 2024) Changed paths: M basis-library/mlton/platform.sig M basis-library/mlton/platform.sml M basis-library/sml-nj/sml-nj.sml M bin/mlton-script M doc/guide/src/PlatformSpecificNotes.adoc A doc/guide/src/RunningOnWASI.adoc M mlton/main/main.fun M runtime/Makefile M runtime/cenv.h M runtime/gc/heap.c M runtime/platform.h M runtime/platform/aix.h M runtime/platform/cygwin.h M runtime/platform/darwin.h M runtime/platform/freebsd.h M runtime/platform/hpux.h M runtime/platform/hurd.h M runtime/platform/linux.h M runtime/platform/mingw.h M runtime/platform/netbsd.h M runtime/platform/openbsd.h M runtime/platform/solaris.h A runtime/platform/wasi.c A runtime/platform/wasi.h A runtime/platform/wasm32.h Log Message: ----------- Merge pull request #550 from agoode/wascally Add WASI (WebAssembly) cross compile support Compare: https://github.com/MLton/mlton/compare/475cf2b14993...359be750b843 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...> - 2024-05-19 18:51:49
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 0107aa5e2227b952f70c8ead5c355c21ef955315 https://github.com/MLton/mlton/commit/0107aa5e2227b952f70c8ead5c355c21ef955315 Author: Adam Goode <ag...@go...> Date: 2024-05-19 (Sun, 19 May 2024) Changed paths: M runtime/gc/gc_state.h M runtime/gc/init.c M runtime/gc/profiling.h M runtime/gc/signals.c M runtime/gc/signals.h Log Message: ----------- Fix up some compiler warnings related to prototypes Commit: 659e0d2814a896042d53472c7d481e5268e0dee2 https://github.com/MLton/mlton/commit/659e0d2814a896042d53472c7d481e5268e0dee2 Author: Adam Goode <ag...@go...> Date: 2024-05-19 (Sun, 19 May 2024) Changed paths: M runtime/gc/profiling.h Log Message: ----------- Fix "unused function" warning in gc/profiling.h Commit: c1a710995d267cc415ae5e51cecf1dc7e0f5d4ac https://github.com/MLton/mlton/commit/c1a710995d267cc415ae5e51cecf1dc7e0f5d4ac Author: Adam Goode <ag...@go...> Date: 2024-05-19 (Sun, 19 May 2024) Changed paths: M runtime/basis/Real/IEEEReal-consts.c Log Message: ----------- Automatically detect various rounding modes As defined in the standard, each of these macros are only defined if the platform supports that rounding mode. https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/fenv.h.html Commit: 4d05837c6e94bf5a42a842fcbbc5b44c9b06c9b0 https://github.com/MLton/mlton/commit/4d05837c6e94bf5a42a842fcbbc5b44c9b06c9b0 Author: Adam Goode <ag...@go...> Date: 2024-05-19 (Sun, 19 May 2024) Changed paths: M Makefile M Makefile.binary M bin/mlton-script Log Message: ----------- Store some target-specific variables in $TARGET/vars This will allow running mlton as a cross-compiler more easily, since the CC and GMP vars may be different between targets. Commit: 21d94b88d9207c19546e84235f7e9eab47735250 https://github.com/MLton/mlton/commit/21d94b88d9207c19546e84235f7e9eab47735250 Author: Adam Goode <ag...@go...> Date: 2024-05-19 (Sun, 19 May 2024) Changed paths: M Makefile Log Message: ----------- Add install-runtime to Makefile This makes it easier to build multiple per-target runtime targets and install them together. Commit: f39bec2b89263feb8b6747cadb35b083748f2508 https://github.com/MLton/mlton/commit/f39bec2b89263feb8b6747cadb35b083748f2508 Author: Adam Goode <ag...@go...> Date: 2024-05-19 (Sun, 19 May 2024) Changed paths: M bin/regression Log Message: ----------- Always pass flags to mlton in bin/regression This makes any `-target` flag get passed to get the right OBJPTR_REP for cross regressions. Commit: 475cf2b14993869711f1a93a15a9fa854b5126ed https://github.com/MLton/mlton/commit/475cf2b14993869711f1a93a15a9fa854b5126ed Author: Matthew Fluet <Mat...@gm...> Date: 2024-05-19 (Sun, 19 May 2024) Changed paths: M Makefile M Makefile.binary M bin/mlton-script M bin/regression M runtime/basis/Real/IEEEReal-consts.c M runtime/gc/gc_state.h M runtime/gc/init.c M runtime/gc/profiling.h M runtime/gc/signals.c M runtime/gc/signals.h Log Message: ----------- Merge pull request #562 from agoode/misc A handful of improvements related to cross compiling Compare: https://github.com/MLton/mlton/compare/d79fcc8e5427...475cf2b14993 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...> - 2024-05-16 09:51:28
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: b606cdab17fdcd894f4cb0aa1d61e0bce04fd54d https://github.com/MLton/mlton/commit/b606cdab17fdcd894f4cb0aa1d61e0bce04fd54d Author: Matthew Fluet <mat...@gm...> Date: 2024-05-15 (Wed, 15 May 2024) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Exclude `cc: "gcc"` from `os: macos-13` Commit: b250f106486da39fb016c31a2eab7378077ed9e0 https://github.com/MLton/mlton/commit/b250f106486da39fb016c31a2eab7378077ed9e0 Author: Matthew Fluet <mat...@gm...> Date: 2024-05-15 (Wed, 15 May 2024) Changed paths: M .github/workflows/ci.yml Log Message: ----------- GitHub `macos-13` runner is amd64 Commit: aaf598caf368ff7125dfe6d1f56e8702815a701e https://github.com/MLton/mlton/commit/aaf598caf368ff7125dfe6d1f56e8702815a701e Author: Matthew Fluet <mat...@gm...> Date: 2024-05-15 (Wed, 15 May 2024) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Reorder workflow excludes Commit: 669efbd63c1e1c5d1c099b378fc55ff55341b21f https://github.com/MLton/mlton/commit/669efbd63c1e1c5d1c099b378fc55ff55341b21f Author: Matthew Fluet <mat...@gm...> Date: 2024-05-15 (Wed, 15 May 2024) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Experiment with macos-14 (arm64) CI Commit: c957181c94afc58b4745d28f6ddf367bd453847f https://github.com/MLton/mlton/commit/c957181c94afc58b4745d28f6ddf367bd453847f Author: Matthew Fluet <mat...@gm...> Date: 2024-05-15 (Wed, 15 May 2024) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Rename `matrix.os` to `matrix.runner` The runner corresponds to a platform (arch and os), particularly for macOS Commit: a928b7b4fb6bd42351e848d3332302da34014660 https://github.com/MLton/mlton/commit/a928b7b4fb6bd42351e848d3332302da34014660 Author: Matthew Fluet <mat...@gm...> Date: 2024-05-15 (Wed, 15 May 2024) Changed paths: M bin/regression Log Message: ----------- Skip `world*` regression tests on `darwin` `-no-pie` (required for `MLton.Word.{save,load}`) is deprecated in macOS 13 and ignored (on arm64) in macOS 14 Commit: 6dc51678e681d895d193c43392f434a761f50e8f https://github.com/MLton/mlton/commit/6dc51678e681d895d193c43392f434a761f50e8f Author: Matthew Fluet <mat...@gm...> Date: 2024-05-15 (Wed, 15 May 2024) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Try enabling the `runner: windows-latest`/`codegen: "c"` CI workflow Commit: c42a5addd7c729ea3bf09a19c74a65d683d16e37 https://github.com/MLton/mlton/commit/c42a5addd7c729ea3bf09a19c74a65d683d16e37 Author: Matthew Fluet <Mat...@gm...> Date: 2024-05-16 (Thu, 16 May 2024) Changed paths: M .github/workflows/ci.yml M bin/regression Log Message: ----------- Merge pull request #566 from MatthewFluet/ci-updates CI Updates: enable macos-14 (arm64) and enable c codegen on windows-latest Compare: https://github.com/MLton/mlton/compare/009a89784313...c42a5addd7c7 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...> - 2024-05-16 09:36:58
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 4a06e6e5d8d3672c7e6d830c67d4704fc83176ee https://github.com/MLton/mlton/commit/4a06e6e5d8d3672c7e6d830c67d4704fc83176ee Author: Matthew Fluet <mat...@gm...> Date: 2024-05-15 (Wed, 15 May 2024) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- Refactor `Useless.Value.layout` Commit: 5e84a24352f8a7004bb6094114527b3bf3a5555e https://github.com/MLton/mlton/commit/5e84a24352f8a7004bb6094114527b3bf3a5555e Author: Matthew Fluet <mat...@gm...> Date: 2024-05-15 (Wed, 15 May 2024) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- Simplify `Useless.doit{Exp,Statement}` Ensure that `Useless.doitExp` is called with a (non-`NONE`) `Value.t`. Commit: 322205fc8b55854356dc4cb32774275d16aa2b5b https://github.com/MLton/mlton/commit/322205fc8b55854356dc4cb32774275d16aa2b5b Author: Matthew Fluet <mat...@gm...> Date: 2024-05-15 (Wed, 15 May 2024) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- Improve/fix handling of `WordXVector` constants in `Useless` pass Allow a `Exp.Const (Const.WordXVector ws)` to "optimize" to a `Vector_vector[unit](unitVar, ..., unitVar)` when the elements are useless. Closes MLton/mlton#559 Commit: 741732b424ccf5a9052baa55b7381cb0b9a25f98 https://github.com/MLton/mlton/commit/741732b424ccf5a9052baa55b7381cb0b9a25f98 Author: Matthew Fluet <mat...@gm...> Date: 2024-05-15 (Wed, 15 May 2024) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- Improve `Useless.Value.layout` Commit: d79fcc8e54277bb42a2c3cfd801e3f8cd19bc968 https://github.com/MLton/mlton/commit/d79fcc8e54277bb42a2c3cfd801e3f8cd19bc968 Author: Matthew Fluet <Mat...@gm...> Date: 2024-05-16 (Thu, 16 May 2024) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- Merge pull request #567 from MatthewFluet/useless-issue-559 Improve/fix handling of WordXVector constants in Useless pass Compare: https://github.com/MLton/mlton/compare/c42a5addd7c7...d79fcc8e5427 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...> - 2024-05-16 02:49:46
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 464ed52c7b4fdfeba4d8a84159e40defd4e47477 https://github.com/MLton/mlton/commit/464ed52c7b4fdfeba4d8a84159e40defd4e47477 Author: Matthew Fluet <mat...@gm...> Date: 2024-05-15 (Wed, 15 May 2024) Changed paths: M runtime/gc/translate.c Log Message: ----------- Fix bug in heap translation It is valid for an object pointer to point to the "end" of the heap (`s->heap.start + s->heap.oldGenSize`) if it is a pointer to an object of zero size, such as a zero-length array/vector or a `unit array` or `unit ref`, in which case the object proper does not extend beyond the "end" of heap. Closes MLton/mlton#560 Commit: 009a8978431305531413306b01450684f727c83d https://github.com/MLton/mlton/commit/009a8978431305531413306b01450684f727c83d Author: Matthew Fluet <Mat...@gm...> Date: 2024-05-15 (Wed, 15 May 2024) Changed paths: M runtime/gc/translate.c Log Message: ----------- Merge pull request #565 from MatthewFluet/translate-heap-issue-560 Fix bug in heap translation Compare: https://github.com/MLton/mlton/compare/b20e5425075a...009a89784313 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...> - 2024-05-14 02:04:17
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 584a1d25f77ff67a634e99cb0462dc0990ba702c https://github.com/MLton/mlton/commit/584a1d25f77ff67a634e99cb0462dc0990ba702c Author: Matthew Fluet <mat...@gm...> Date: 2024-05-13 (Mon, 13 May 2024) Changed paths: M CHANGELOG.adoc M mlton/front-end/ml.lex M mlton/front-end/ml.lex.sml.boot M mlton/front-end/mlb.lex M mlton/front-end/mlb.lex.sml.boot Log Message: ----------- Fix regression in `#line` directives. Prior to a2606d0, MLton (in concert with SML/NJ) accepted line directives like: (*#line 407 "lazyparse.nw"*) with an implicit column of 1. With a2606d0, the lexer was refactored and mistakenly changed to require a column number. Thanks to Norman Ramsey for the bug report. Closes MLton/mlton#557. Commit: b20e5425075a6a0e71fbbd001d11660118cad067 https://github.com/MLton/mlton/commit/b20e5425075a6a0e71fbbd001d11660118cad067 Author: Matthew Fluet <Mat...@gm...> Date: 2024-05-13 (Mon, 13 May 2024) Changed paths: M CHANGELOG.adoc M mlton/front-end/ml.lex M mlton/front-end/ml.lex.sml.boot M mlton/front-end/mlb.lex M mlton/front-end/mlb.lex.sml.boot Log Message: ----------- Merge pull request #561 from MatthewFluet/line-directive-fix Fix regression in `#line` directives Compare: https://github.com/MLton/mlton/compare/3c08771a68e3...b20e5425075a 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...> - 2024-05-13 19:19:40
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: d3a3648748007396a08ae4c2d34b35e1b645dedb https://github.com/MLton/mlton/commit/d3a3648748007396a08ae4c2d34b35e1b645dedb Author: Matthew Fluet <mat...@gm...> Date: 2024-05-13 (Mon, 13 May 2024) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Switch from `macos-latest` to `macos-13` `macos-latest` has switched to `macos-14` (`arm64`), which will be nice to use, but will require some additional updates. Commit: 3c08771a68e3cac66b1a2e7b4f5ab1dce859611b https://github.com/MLton/mlton/commit/3c08771a68e3cac66b1a2e7b4f5ab1dce859611b Author: Matthew Fluet <Mat...@gm...> Date: 2024-05-13 (Mon, 13 May 2024) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Merge pull request #563 from MatthewFluet/ci-updates Switch from `macos-latest` to `macos-13` Compare: https://github.com/MLton/mlton/compare/d688f0ef2d23...3c08771a68e3 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...> - 2024-03-28 19:38:05
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: e2e3227d55526a4a7e667c6b057612b34419988c https://github.com/MLton/mlton/commit/e2e3227d55526a4a7e667c6b057612b34419988c Author: Dan Cross <cr...@ga...> Date: 2024-03-28 (Thu, 28 Mar 2024) Changed paths: M bin/mlton-script Log Message: ----------- mlton-script: OpenBSD link-opt for no xonly text Add a `-target-link-opt` for OpenBSD that disables "xonly" text. OpenBSD's linker, by default, makes a program's text segment executable-only ("xonly"): that is, executable but not readable. However, MLton needs to be able to read the text segment when mapping return addresses to stack frame indices, possibly among other things. This causes programs compiled with MLton's native code generator to fault and die with `SIGSEGV`. However, the default "xonly" behavior can be disabled with a linker option (`--no-execute-only`), so we can turn it off with a `-target-link-opt` specific to OpenBSD in `mlton-script`. Binaries built in this configuration run as expected. Fixes #538 Signed-off-by: Dan Cross <cr...@ga...> Commit: d688f0ef2d2343e94aa4d0117221f09cc719c1ac https://github.com/MLton/mlton/commit/d688f0ef2d2343e94aa4d0117221f09cc719c1ac Author: Matthew Fluet <Mat...@gm...> Date: 2024-03-28 (Thu, 28 Mar 2024) Changed paths: M bin/mlton-script Log Message: ----------- Merge pull request #555 from dancrossnyc/openbsd-link-opt mlton-script: OpenBSD link-opt for no xonly text Compare: https://github.com/MLton/mlton/compare/3f761053c682...d688f0ef2d23 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...> - 2024-03-17 22:04:31
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 1d506428b37f21fb33ccc20994e5e20e11af7556 https://github.com/MLton/mlton/commit/1d506428b37f21fb33ccc20994e5e20e11af7556 Author: Matthew Fluet <mat...@gm...> Date: 2024-03-16 (Sat, 16 Mar 2024) Changed paths: M mlton/ast/ast-const.fun M mlton/ast/ast-const.sig M mlton/elaborate/elaborate-core.fun M mlton/front-end/ml.grm M mlton/front-end/ml.grm.sig.boot M mlton/front-end/ml.grm.sml.boot M mlton/front-end/ml.lex M mlton/front-end/ml.lex.sml.boot Log Message: ----------- Use literal text for constants in error messages Carry the exact (literal) text used for constants (literals) from lexer through to elaboration, so that error message using the constants appear as they are written in the source file. Consider the program (with type errors): val _ = "a甲\010" ^ (Substring.full "b乙\n") val _ : word = 0xabcd val _ : string = "abc\uaBcD\UAbCdEf00xyz" Previously, the error messages were: Error: z.sml 1.9-1.46. Function applied to incorrect argument. expects: _ * [string] but got: _ * [char VectorSlice.slice] in: ^ ("a\231\148\178\n", Substring.full "b\228\185\153\n") Error: z.sml 2.5-2.21. Pattern and expression disagree. pattern: [word] expression: [int] in: val _: word = 43981 Error: z.sml 3.18-3.41. String constant with characters too large for type: #"\uABCD", #"\UABCDEF00". type: string Now, the error messages are: Error: z.sml 1.9-1.46. Function applied to incorrect argument. expects: _ * [string] but got: _ * [char VectorSlice.slice] in: ^ ("a甲\010", Substring.full "b乙\n") Error: z.sml 2.5-2.21. Pattern and expression disagree. pattern: [word] expression: [int] in: val _: word = 0xabcd Error: z.sml 3.18-3.41. String constant with characters too large for type: #"\uaBcD", #"\UAbCdEf00". type: string in: "abc\uaBcD\UAbCdEf00xyz" Closes MLton/mlton#517 Commit: f41ca5ee7aa614ff1cd5edcab159d18c2934d60d https://github.com/MLton/mlton/commit/f41ca5ee7aa614ff1cd5edcab159d18c2934d60d Author: Matthew Fluet <mat...@gm...> Date: 2024-03-17 (Sun, 17 Mar 2024) Changed paths: M mlton/ast/ast-core.fun M mlton/ast/ast-core.sig M mlton/ast/ast-programs.fun M mlton/elaborate/elaborate-core.fun M mlton/elaborate/precedence-parse.fun M mlton/elaborate/scope.fun Log Message: ----------- Show pattern and expression applications in infix in error messages Record whether a pattern or expression application originated from an infix application and layout such patterns and expressions as appropriate, so that error messages appear as they are written in the source file. Consider the program (with type errors): datatype t = $ of int * int infix $ val _ = case 1 $ 1 of true $ false => false val _ = 1 + 2.0 + "b" + true Previously, the error messages were: Error: z.sml 3.24-3.35. Constructor applied to incorrect argument in pattern. expects: [int] * [int] but got: [bool] * [bool] in: $ (true, false) Error: z.sml 4.9-4.15. Function applied to incorrect argument. expects: _ * [int] but got: _ * [real] in: + (1, 2.0) Error: z.sml 4.9-4.21. Function applied to incorrect argument. expects: _ * [int] but got: _ * [string] in: + (+ (1, 2.0), "b") Error: z.sml 4.9-4.28. Function applied to incorrect argument. expects: _ * [int] but got: _ * [bool] in: + (+ (+ (1, 2.0), "b"), true) Now, the error messages are: Error: z.sml 3.24-3.35. Constructor applied to incorrect argument in pattern. expects: [int] * [int] but got: [bool] * [bool] in: true $ false Error: z.sml 4.9-4.15. Function applied to incorrect argument. expects: _ * [int] but got: _ * [real] in: 1 + 2.0 Error: z.sml 4.9-4.21. Function applied to incorrect argument. expects: _ * [int] but got: _ * [string] in: (1 + 2.0) + "b" Error: z.sml 4.9-4.28. Function applied to incorrect argument. expects: _ * [int] but got: _ * [bool] in: ((1 + 2.0) + "b") + true Commit: 3f761053c682eba903036a23d477a9af4bb8f8c7 https://github.com/MLton/mlton/commit/3f761053c682eba903036a23d477a9af4bb8f8c7 Author: Matthew Fluet <Mat...@gm...> Date: 2024-03-17 (Sun, 17 Mar 2024) Changed paths: M mlton/ast/ast-const.fun M mlton/ast/ast-const.sig M mlton/ast/ast-core.fun M mlton/ast/ast-core.sig M mlton/ast/ast-programs.fun M mlton/elaborate/elaborate-core.fun M mlton/elaborate/precedence-parse.fun M mlton/elaborate/scope.fun M mlton/front-end/ml.grm M mlton/front-end/ml.grm.sig.boot M mlton/front-end/ml.grm.sml.boot M mlton/front-end/ml.lex M mlton/front-end/ml.lex.sml.boot Log Message: ----------- Merge pull request #554 from MatthewFluet/constant-and-infix-elaborate-error-messages Update elaboration error messages involving constants and infix pats/exps Compare: https://github.com/MLton/mlton/compare/debf366bf6d1...3f761053c682 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...> - 2024-03-15 17:14:49
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: a9d647b7d9766080eb45a30f8c12b9ac6fe2f84a https://github.com/MLton/mlton/commit/a9d647b7d9766080eb45a30f8c12b9ac6fe2f84a Author: Matthew Fluet <mat...@gm...> Date: 2024-03-15 (Fri, 15 Mar 2024) Changed paths: M .github/workflows/ci.yml M .github/workflows/guide.yml Log Message: ----------- Update `actions/checkout` and `actions/upload-artifact` versions Commit: debf366bf6d11858ea55be760c4f9fa364ea2ee8 https://github.com/MLton/mlton/commit/debf366bf6d11858ea55be760c4f9fa364ea2ee8 Author: Matthew Fluet <Mat...@gm...> Date: 2024-03-15 (Fri, 15 Mar 2024) Changed paths: M .github/workflows/ci.yml M .github/workflows/guide.yml Log Message: ----------- Merge pull request #553 from MatthewFluet/ci-updates Update `actions/checkout` and `actions/upload-artifact` versions Compare: https://github.com/MLton/mlton/compare/582d6bc65c2b...debf366bf6d1 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...> - 2024-03-15 09:53:35
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 1bc6747ca02ce2c7c983dccf728fa621ec81b0f0 https://github.com/MLton/mlton/commit/1bc6747ca02ce2c7c983dccf728fa621ec81b0f0 Author: Matthew Fluet <mat...@gm...> Date: 2024-03-14 (Thu, 14 Mar 2024) Changed paths: M bin/mlton-script Log Message: ----------- Update note regarding LLVM versions for "legacy" pass manager Commit: a519b6e257d38824565b32a260bf0a98578cf2cb https://github.com/MLton/mlton/commit/a519b6e257d38824565b32a260bf0a98578cf2cb Author: Matthew Fluet <mat...@gm...> Date: 2024-03-14 (Thu, 14 Mar 2024) Changed paths: M doc/guide/src/LLVMCodegen.adoc Log Message: ----------- Improve LLVMCodegen documentation Note compile-time options for selecting a specific version of the LLVM command-line tools. Note that MLton 20210117 requires LLVM 13 or 14. Closes MLton/mlton#544. Commit: 5041fb4b4c7e4bdba0d59d9f9eb62adcd8072542 https://github.com/MLton/mlton/commit/5041fb4b4c7e4bdba0d59d9f9eb62adcd8072542 Author: Matthew Fluet <mat...@gm...> Date: 2024-03-14 (Thu, 14 Mar 2024) Changed paths: M doc/guide/src/CompileTimeOptions.adoc M man/mlton.1 M mlton/main/main.fun Log Message: ----------- Document the `-llvm-{as,llc,opt}` compile-time options Commit: f048bcc3db41240e31a49f6bd323034d0f5d01c6 https://github.com/MLton/mlton/commit/f048bcc3db41240e31a49f6bd323034d0f5d01c6 Author: Matthew Fluet <mat...@gm...> Date: 2024-03-14 (Thu, 14 Mar 2024) Changed paths: M doc/guide/src/CompileTimeOptions.adoc M man/mlton.1 M mlton/main/main.fun Log Message: ----------- Document the `-cc` compile-time option Commit: 582d6bc65c2b224c417f47a7ba5ae040643776a1 https://github.com/MLton/mlton/commit/582d6bc65c2b224c417f47a7ba5ae040643776a1 Author: Matthew Fluet <Mat...@gm...> Date: 2024-03-15 (Fri, 15 Mar 2024) Changed paths: M bin/mlton-script M doc/guide/src/CompileTimeOptions.adoc M doc/guide/src/LLVMCodegen.adoc M man/mlton.1 M mlton/main/main.fun Log Message: ----------- Merge pull request #552 from MatthewFluet/llvm-codegen-docs LLVM codegen documentation Compare: https://github.com/MLton/mlton/compare/1351d3921383...582d6bc65c2b 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...> - 2024-03-13 19:46:44
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 2926f321d2ecad348e9fcd6ca3d5d7c01fbecfab https://github.com/MLton/mlton/commit/2926f321d2ecad348e9fcd6ca3d5d7c01fbecfab Author: Colin McDonald <983...@us...> Date: 2024-03-13 (Wed, 13 Mar 2024) Changed paths: M doc/guide/src/SSASimplify.adoc Log Message: ----------- Fix broken link in SSASimplify.adoc Commit: 1351d3921383bbdb493ab46668ceb6af8e8f4968 https://github.com/MLton/mlton/commit/1351d3921383bbdb493ab46668ceb6af8e8f4968 Author: Matthew Fluet <Mat...@gm...> Date: 2024-03-13 (Wed, 13 Mar 2024) Changed paths: M doc/guide/src/SSASimplify.adoc Log Message: ----------- Merge pull request #551 from colin-mcd/patch-1 Fix broken link in SSASimplify.adoc Compare: https://github.com/MLton/mlton/compare/2637b22ccdd9...1351d3921383 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...> - 2024-01-19 15:44:03
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: b613b60c6baeae8068c562878766a90fb750150b https://github.com/MLton/mlton/commit/b613b60c6baeae8068c562878766a90fb750150b Author: JiaLing Zhang <zha...@lo...> Date: 2024-01-12 (Fri, 12 Jan 2024) Changed paths: M basis-library/mlton/platform.sig M basis-library/mlton/platform.sml M bin/platform M runtime/cenv.h A runtime/platform/loongarch64.h Log Message: ----------- Add LoongArch64 support Signed-off-by: JiaLing Zhang <zha...@lo...> Commit: 2637b22ccdd9cd1268b6b46ff6107066bf8c8888 https://github.com/MLton/mlton/commit/2637b22ccdd9cd1268b6b46ff6107066bf8c8888 Author: Matthew Fluet <Mat...@gm...> Date: 2024-01-19 (Fri, 19 Jan 2024) Changed paths: M basis-library/mlton/platform.sig M basis-library/mlton/platform.sml M bin/platform M runtime/cenv.h A runtime/platform/loongarch64.h Log Message: ----------- Merge pull request #541 from loongson-zjl/master Add LoongArch64 support Compare: https://github.com/MLton/mlton/compare/fd6d8705780e...2637b22ccdd9 |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2023-11-23 14:04:48
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: e26362ea1b82c47206161b475bf15c9787ff07ae https://github.com/MLton/mlton/commit/e26362ea1b82c47206161b475bf15c9787ff07ae Author: Matthew Fluet <mat...@gm...> Date: 2023-11-22 (Wed, 22 Nov 2023) Changed paths: A regression/textio.3.ok A regression/textio.3.sml Log Message: ----------- New regression test demonstrating bug with `TextIO.getInstream` Commit: 3d19b9368bf88c8aab69f26fdf270dd2c2c9f97d https://github.com/MLton/mlton/commit/3d19b9368bf88c8aab69f26fdf270dd2c2c9f97d Author: Matthew Fluet <mat...@gm...> Date: 2023-11-22 (Wed, 22 Nov 2023) Changed paths: M basis-library/io/imperative-io.fun Log Message: ----------- Fix bug in `ImperativeIO.getInstream` Properly flush the "imperative" ImperativeIO buffer when realizing the underlying stream via `getInstream`. Failing to reset the `first` and `last` refs when realizing the `StreamIO.instream` from an `ImperativeIO.instream` that is in "imperative" mode allows subsequent `ImperativeIO.input*` functions to advance the stream with respect to the "imperative" mode but not advance the `StreamIO.instream`. After realizing the `StreamIO.instream` from an `ImpearativeIO.instream`, the stream should be in "stream" mode and always advance the `StreamIO.instream`. Fixes MLton/mlton#535 Commit: fd6d8705780ea6e223c91a6b33553be1633c4eab https://github.com/MLton/mlton/commit/fd6d8705780ea6e223c91a6b33553be1633c4eab Author: Matthew Fluet <Mat...@gm...> Date: 2023-11-23 (Thu, 23 Nov 2023) Changed paths: M basis-library/io/imperative-io.fun A regression/textio.3.ok A regression/textio.3.sml Log Message: ----------- Merge pull request #536 from MatthewFluet/imperativeio-getinstream-bug Fix bug in `ImperativeIO(...).getInstream` Compare: https://github.com/MLton/mlton/compare/15a19ab47afc...fd6d8705780e |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2023-11-21 15:30:34
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 87362b1cd944f57b3bd88f50ddb7058b5dc87e15 https://github.com/MLton/mlton/commit/87362b1cd944f57b3bd88f50ddb7058b5dc87e15 Author: murray <mur...@pr...> Date: 2023-11-21 (Tue, 21 Nov 2023) Changed paths: M mlton/main/main.fun Log Message: ----------- Set default alignment on powerpc64 to 8 8 bytes is the natural alignment of pointers on powerpc64 Commit: 15a19ab47afc785ecee895f025383f12455c0a5f https://github.com/MLton/mlton/commit/15a19ab47afc785ecee895f025383f12455c0a5f Author: Matthew Fluet <Mat...@gm...> Date: 2023-11-21 (Tue, 21 Nov 2023) Changed paths: M mlton/main/main.fun Log Message: ----------- Merge pull request #534 from ii8/master Set default alignment on powerpc64 to 8 Compare: https://github.com/MLton/mlton/compare/2a5e8c03c357...15a19ab47afc |
