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
|
Oct
|
Nov
|
Dec
|
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2025-06-24 15:30:15
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: c8d8d0d7d0312f23897d7412b5d02f27a1c3fb2b https://github.com/MLton/mlton/commit/c8d8d0d7d0312f23897d7412b5d02f27a1c3fb2b Author: Matthew Fluet <mat...@gm...> Date: 2025-06-20 (Fri, 20 Jun 2025) Changed paths: M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/main/main.fun M mlton/ssa/introduce-loops.fun Log Message: ----------- Revert "Add `-profile-intro-loops-opt {true|false}` expert compile-time option" This reverts commit c0622b9f486f4fb71d94aae576dc1dd26289cbe5. Noting that `-profile-tail-call-opt true -profile-intro-loops-opt false` is a meaningless combination, the functionality of `-profile-intro-loops-opt` will be incorporated into `-profile-tail-call-opt`. Commit: 237ec2a31b0f76dd676f229741d09f341aae95cd https://github.com/MLton/mlton/commit/237ec2a31b0f76dd676f229741d09f341aae95cd Author: Matthew Fluet <mat...@gm...> Date: 2025-06-20 (Fri, 20 Jun 2025) Changed paths: M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/main/main.fun M mlton/ssa/shrink.fun M mlton/ssa/shrink2.fun Log Message: ----------- Revise `-profile-tail-call-opt` to `{always|self-only|never}` The `-profile-tail-call-opt {always|self-only|false}` expert compile-time option controls whether or not the SSA{,2} shrinker optimizes tail calls in the presence of profiling; with `self-only`, self tail calls are optimized (and will be turned into intraprocedural loops by the `IntroduceLoops` optimization), but non-self tail calls are not optimized. Commit: 1f7301bcbd86a6442c3b591f4bd059359a43ca3b https://github.com/MLton/mlton/commit/1f7301bcbd86a6442c3b591f4bd059359a43ca3b Author: Matthew Fluet <mat...@gm...> Date: 2025-06-23 (Mon, 23 Jun 2025) Changed paths: M CHANGELOG.adoc Log Message: ----------- Update `CHANGELOG.adoc` Commit: 8c9c85015d2f099b7434b26079a78d5ec2a5299b https://github.com/MLton/mlton/commit/8c9c85015d2f099b7434b26079a78d5ec2a5299b Author: Matthew Fluet <Mat...@gm...> Date: 2025-06-24 (Tue, 24 Jun 2025) Changed paths: M CHANGELOG.adoc M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/main/main.fun M mlton/ssa/introduce-loops.fun M mlton/ssa/shrink.fun M mlton/ssa/shrink2.fun Log Message: ----------- Merge pull request #615 from MatthewFluet/profile-tail-opt-option Revise `-profile-tail-call-opt` to `{always|self-only|never}` Thanks to @YawarRaza7349 for the suggestion (https://github.com/MLton/mlton/pull/614#issuecomment-2992478839). Compare: https://github.com/MLton/mlton/compare/497710e247c7...8c9c85015d2f 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...> - 2025-06-18 23:43:57
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: a8b379a40b21f81b71d3c219c579e262d8b62b56 https://github.com/MLton/mlton/commit/a8b379a40b21f81b71d3c219c579e262d8b62b56 Author: Matthew Fluet <mat...@gm...> Date: 2025-05-28 (Wed, 28 May 2025) Changed paths: M mlton/ssa/shrink.fun M mlton/ssa/shrink2.fun Log Message: ----------- Assert that movable stmts are profiling stmts in SSA{,2} shrinker Commit: 7994349c9f8414aca52117b199623a4f87fe2728 https://github.com/MLton/mlton/commit/7994349c9f8414aca52117b199623a4f87fe2728 Author: Matthew Fluet <mat...@gm...> Date: 2025-05-28 (Wed, 28 May 2025) Changed paths: M mlton/ssa/shrink.fun M mlton/ssa/shrink2.fun Log Message: ----------- Rename `canMove`-vars to `profileStmts`-vars in SSA{,2} shrinker Commit: 124c52c3867ab7a559bcbdaeb394f19698486360 https://github.com/MLton/mlton/commit/124c52c3867ab7a559bcbdaeb394f19698486360 Author: Matthew Fluet <mat...@gm...> Date: 2025-05-29 (Thu, 29 May 2025) Changed paths: M mlton/ssa/shrink.fun M mlton/ssa/shrink2.fun Log Message: ----------- Improve SSA{,2} shrinking of `Return` and `Raise` transfers Commit: 44bcb5abae50ba2fc0347847a3544552f4fe7b56 https://github.com/MLton/mlton/commit/44bcb5abae50ba2fc0347847a3544552f4fe7b56 Author: Matthew Fluet <mat...@gm...> Date: 2025-05-29 (Thu, 29 May 2025) Changed paths: M mlton/ssa/shrink.fun M mlton/ssa/shrink2.fun Log Message: ----------- Improve variable names for SSA{,2} tail-call optimization Commit: 4278014f69d46aecaada4c79f1b3b7e12dc4b252 https://github.com/MLton/mlton/commit/4278014f69d46aecaada4c79f1b3b7e12dc4b252 Author: Matthew Fluet <mat...@gm...> Date: 2025-05-29 (Thu, 29 May 2025) Changed paths: M mlton/ssa/shrink.fun M mlton/ssa/shrink2.fun Log Message: ----------- Delete handler when SSA{,2} Shrink performs tail-call optimization Commit: c3b72ef7aea29ab92133ba0e0654be1e0643e720 https://github.com/MLton/mlton/commit/c3b72ef7aea29ab92133ba0e0654be1e0643e720 Author: Matthew Fluet <mat...@gm...> Date: 2025-05-29 (Thu, 29 May 2025) Changed paths: M mlton/ssa/shrink.fun M mlton/ssa/shrink2.fun Log Message: ----------- Delete handler when SSA{,2} Shrink converts eta Handle to Caller Commit: 974b35df72c64219ddd3852b2f2a1785ba9cd74f https://github.com/MLton/mlton/commit/974b35df72c64219ddd3852b2f2a1785ba9cd74f Author: Matthew Fluet <mat...@gm...> Date: 2025-05-29 (Thu, 29 May 2025) Changed paths: M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/main/main.fun M mlton/ssa/shrink.fun M mlton/ssa/shrink2.fun Log Message: ----------- Add `-profile-tail-call-opt {true|false}` expert compile-time option The `-profile-tail-call-opt {true|false}` controls whether or not the SSA{,2} shrinker optimizes tail calls in the presence of profiling. `-profile-tail-call-opt false` is expected to have a significant performance penalty, but can improve the accuracy of exception history. It likely worsens the accuracy of time profiling, since the profiled program (without tail call optimizations) will be significantly different from the non-profiled program (with tail call optimizations). Commit: 17551b306cd44207729e3e6a4490633362595e8c https://github.com/MLton/mlton/commit/17551b306cd44207729e3e6a4490633362595e8c Author: Matthew Fluet <mat...@gm...> Date: 2025-05-30 (Fri, 30 May 2025) Changed paths: M mlton/ssa/shrink.fun M mlton/ssa/shrink2.fun Log Message: ----------- Update args of `Raise`/`Return` from `Free` to `Formal` Commit: aee70313ee7d5f0de0dc65870d53f91e8671e9a4 https://github.com/MLton/mlton/commit/aee70313ee7d5f0de0dc65870d53f91e8671e9a4 Author: Matthew Fluet <mat...@gm...> Date: 2025-06-02 (Mon, 02 Jun 2025) Changed paths: M mlton/ssa/shrink.fun M mlton/ssa/ssa-tree.fun M mlton/ssa/ssa-tree.sig Log Message: ----------- Add `Exp.isProfile` and `Statement.isProfile` to `structure SsaTree` Commit: ee7459cdd84c302bd9f7602adf637a12820a6b5b https://github.com/MLton/mlton/commit/ee7459cdd84c302bd9f7602adf637a12820a6b5b Author: Matthew Fluet <mat...@gm...> Date: 2025-06-02 (Mon, 02 Jun 2025) Changed paths: M mlton/control/control-flags.sml M mlton/main/main.fun Log Message: ----------- Update description of `-profile-tail-call-opt` compile-time option Commit: c0622b9f486f4fb71d94aae576dc1dd26289cbe5 https://github.com/MLton/mlton/commit/c0622b9f486f4fb71d94aae576dc1dd26289cbe5 Author: Matthew Fluet <mat...@gm...> Date: 2025-06-02 (Mon, 02 Jun 2025) Changed paths: M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/main/main.fun M mlton/ssa/introduce-loops.fun Log Message: ----------- Add `-profile-intro-loops-opt {true|false}` expert compile-time option The `-profile-intro-loops-opt {true|false}` controls whether or not the SSA IntroduceLoops optimization applies in presence of profiling. In particular, when `-profile-tail-call-opt false` but `-profile-intro-loops-opt true`, then IntroduceLoops will recognize self non-tail calls with eta return and handler continuations as tail calls. This is expected to recover some of the performance penalty of `-profile-tail-call-opt false`, at the expense of less accurate exception history; the exception history will have only one entry for the recursive function, even if the exception is raised by a deeply nested recursive (tail) call. Commit: 497710e247c71c7a3f292da5a5492b648360925f https://github.com/MLton/mlton/commit/497710e247c71c7a3f292da5a5492b648360925f Author: Matthew Fluet <Mat...@gm...> Date: 2025-06-18 (Wed, 18 Jun 2025) Changed paths: M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/main/main.fun M mlton/ssa/introduce-loops.fun M mlton/ssa/shrink.fun M mlton/ssa/shrink2.fun M mlton/ssa/ssa-tree.fun M mlton/ssa/ssa-tree.sig Log Message: ----------- Merge pull request #614 from MatthewFluet/profile-optional-opts Introduce options to control profiling-specific optimizations Add `-profile-tail-call-opt {true|false}` expert compile-time option. The `-profile-tail-call-opt {true|false}` controls whether or not the SSA{,2} shrinker optimizes tail calls in the presence of profiling. Add `-profile-tail-call-opt {true|false}` expert compile-time option. The `-profile-intro-loops-opt {true|false}` controls whether or not the SSA IntroduceLoops optimization applies in presence of profiling and `-profile-tail-call-opt false`, when the SSA{,2} shrinker does not optimize tail calls in the presence of profiling. In particular, when `-profile-tail-call-opt false` but `-profile-intro-loops-opt true`, then IntroduceLoops will recognize self non-tail calls with eta return and handler continuations as tail calls. `-profile-tail-call-opt false` and `-profile-intro-loops-opt false` is expected to have a significant performance penalty, but can improve the accuracy of exception history. It likely worsens the accuracy of time profiling, since the profiled program (without tail call and introduce loops optimizations) will be significantly different from the non-profiled program (with tail call and introduce loops optimizations). `-profile-tail-call-opt false` and `-profile-intro-loops-opt true` is expected to recover some of the performance penalty, at the expense of less accurate exception history; the exception history will have only one entry for the recursive function, even if the exception is raised by a deeply nested recursive (tail) call. Profiling results: ``` config command C02 /home/mtf/devel/mlton/builds/gc0622b9f4/bin/mlton @MLton max-heap 4G -- -runtime max-heap -runtime 4G -codegen amd64 C03 /home/mtf/devel/mlton/builds/gc0622b9f4/bin/mlton @MLton max-heap 4G -- -runtime max-heap -runtime 4G -codegen amd64 -profile drop -profile-tail-call-opt true -profile-intro-loops-opt true C04 /home/mtf/devel/mlton/builds/gc0622b9f4/bin/mlton @MLton max-heap 4G -- -runtime max-heap -runtime 4G -codegen amd64 -profile drop -profile-tail-call-opt false -profile-intro-loops-opt true C05 /home/mtf/devel/mlton/builds/gc0622b9f4/bin/mlton @MLton max-heap 4G -- -runtime max-heap -runtime 4G -codegen amd64 -profile drop -profile-tail-call-opt false -profile-intro-loops-opt false C08 /home/mtf/devel/mlton/builds/gc0622b9f4/bin/mlton @MLton max-heap 4G -- -runtime max-heap -runtime 4G -codegen c C09 /home/mtf/devel/mlton/builds/gc0622b9f4/bin/mlton @MLton max-heap 4G -- -runtime max-heap -runtime 4G -codegen c -profile drop -profile-tail-call-opt true -profile-intro-loops-opt true C10 /home/mtf/devel/mlton/builds/gc0622b9f4/bin/mlton @MLton max-heap 4G -- -runtime max-heap -runtime 4G -codegen c -profile drop -profile-tail-call-opt false -profile-intro-loops-opt true C11 /home/mtf/devel/mlton/builds/gc0622b9f4/bin/mlton @MLton max-heap 4G -- -runtime max-heap -runtime 4G -codegen c -profile drop -profile-tail-call-opt false -profile-intro-loops-opt false C14 /home/mtf/devel/mlton/builds/gc0622b9f4/bin/mlton @MLton max-heap 4G -- -runtime max-heap -runtime 4G -codegen llvm C15 /home/mtf/devel/mlton/builds/gc0622b9f4/bin/mlton @MLton max-heap 4G -- -runtime max-heap -runtime 4G -codegen llvm -profile drop -profile-tail-call-opt true -profile-intro-loops-opt true C16 /home/mtf/devel/mlton/builds/gc0622b9f4/bin/mlton @MLton max-heap 4G -- -runtime max-heap -runtime 4G -codegen llvm -profile drop -profile-tail-call-opt false -profile-intro-loops-opt true C17 /home/mtf/devel/mlton/builds/gc0622b9f4/bin/mlton @MLton max-heap 4G -- -runtime max-heap -runtime 4G -codegen llvm -profile drop -profile-tail-call-opt false -profile-intro-loops-opt false task_clock ratio_means.fieller@0.95 (2-level) program `C03/C02` `C04/C02` `C05/C02` `C09/C08` `C10/C08` `C11/C08` `C15/C14` `C16/C14` `C17/C14` barnes-hut 1.107 1.055 1.214 1.131 0.9522 1.264 0.9007 0.9306 0.9785 boyer 1.053 1.372 1.339 1.233 1.429 1.340 1.113 1.314 1.128 checksum 1.026 1.032 10.34 1.102 1.099 18.20 1.029 1.163 18.62 count-graphs 1.036 1.117 2.023 1.120 1.260 2.044 1.033 1.133 1.942 DLXSimulator 1.050 1.042 2.450 1.020 1.039 2.519 1.130 0.9209 2.201 fft 1.038 1.076 1.692 0.9071 0.8427 1.476 1.101 1.114 1.682 fib 1.183 1.209 1.273 1.143 1.174 1.128 1.299 1.231 1.288 flat-array 1.010 0.9847 3.701 0.9900 0.9762 3.655 1.212 1.262 3.145 hamlet 1.035 1.022 1.210 1.047 1.029 1.414 1.040 1.097 1.281 imp-for 1.072 1.034 5.059 1.023 1.044 6.872 knuth-bendix 1.231 1.346 1.387 1.151 1.382 1.302 1.220 1.571 1.382 lexgen 1.090 1.034 1.647 1.066 1.043 1.602 1.088 0.9897 1.535 life 0.9971 0.9810 2.423 0.9802 1.045 2.443 0.9818 0.9713 2.124 logic 1.002 1.512 1.517 0.9268 1.533 1.747 1.063 1.631 1.986 mandelbrot 0.9804 0.9926 1.754 0.9579 1.072 2.830 1.150 1.097 3.716 matrix-multiply 0.9985 1.209 3.598 0.9716 1.096 6.408 0.9968 0.9880 8.000 md5 0.9943 0.9730 1.050 1.081 1.130 1.102 1.021 1.030 1.057 merge 0.9251 1.146 1.262 0.9866 0.9012 1.009 0.9017 0.8910 1.075 mlyacc 1.029 1.053 1.011 0.9717 1.020 1.025 1.050 1.033 1.072 model-elimination 1.147 1.055 1.638 1.075 1.059 1.911 1.058 1.003 1.971 mpuz 1.059 1.077 3.122 1.020 1.094 3.827 0.9822 1.024 4.534 nucleic 1.033 1.128 1.140 1.047 0.9743 1.053 0.9830 1.057 1.174 peek 1.059 1.026 3.912 1.010 1.066 7.083 0.9948 1.001 8.791 pidigits 0.9842 0.9689 1.124 1.098 0.9231 1.125 1.110 0.9834 1.116 ratio-regions 0.9516 1.087 6.217 1.118 1.059 7.095 1.020 0.9765 6.952 ray 1.067 1.077 1.242 0.9726 1.001 1.078 0.9786 1.001 1.146 raytrace 0.9722 1.040 1.306 1.010 1.142 1.384 1.109 1.240 1.581 simple 1.353 1.144 1.566 1.170 0.9980 1.103 1.122 0.9829 1.294 smith-normal-form 0.9465 0.9540 0.9851 1.026 0.9895 0.9820 0.8872 0.9533 1.039 string-concat 0.9844 0.9919 8.312 1.024 1.193 7.942 0.9610 0.9303 9.124 tailmerge 1.051 1.003 1.980 1.044 0.9581 1.729 1.073 0.9661 1.723 tak 1.304 1.382 1.691 1.159 1.110 1.591 1.088 1.023 1.306 tensor 0.9748 0.9561 2.294 1.143 1.190 3.024 tsp 1.056 1.036 1.217 0.9907 1.016 1.523 1.002 1.033 1.597 tyan 1.201 1.161 1.533 1.010 1.026 1.253 1.003 1.083 1.537 vector-rev 1.042 1.131 9.978 0.8691 0.9528 11.91 1.016 0.9505 13.12 vector32-concat 0.8325 0.9266 6.271 1.096 1.078 7.314 0.8915 0.9622 9.874 vector64-concat 0.9219 1.081 5.738 0.9804 0.9389 3.569 0.8714 0.8335 5.495 vliw 1.132 1.055 1.460 0.8508 1.159 1.796 1.019 1.109 2.006 wc-input1 1.016 1.032 11.17 0.8939 0.9587 11.11 0.9507 1.012 11.02 wc-scanStream 1.005 1.121 18.73 0.9619 1.026 11.54 0.9254 0.9501 16.69 zebra 1.082 1.059 2.532 1.082 1.091 3.880 1.044 1.003 4.285 zern 0.9558 1.008 1.755 1.062 1.033 1.952 0.9511 1.015 2.039 MIN 0.8325 0.9266 0.9851 0.8508 0.8427 0.9820 0.8714 0.8335 0.9785 GMEAN 1.042 1.080 2.334 1.032 1.065 2.474 1.029 1.050 2.555 MAX 1.353 1.512 18.73 1.233 1.533 18.20 1.299 1.631 18.62 ``` For the benchmarks that run in all configurations (see below), `-profile-tail-call-opt false -profile-intro-loops-opt false` introduces considerable overhead, while `-profile-tail-call-opt false -profile-intro-loops-opt true` is not significantly worse than `-profile-tail-call-opt true`. With `-profile-tail-call-opt false -profile-intro-loops-opt false`, `even-odd`, `output1`, `psdes-random`, `reduce`, `tailfib` terminate with `Out of memory with max heap size 4Gb`, due to tail-recursive functions that are normally turned into loops being executed as non-tail-recursive functions with explosive stack growth. Interestingly, with `-profile-tail-call-opt false -profile-intro-loops-opt true`, `even-odd` also terminates with `Out of memory with max heap size 4Gb`. With `-codegen llvm`, `imp-for` and `tensor` (with `-profile-tail-call-opt true` or `-profile-tail-call-opt false -profile-intro-loops-opt true`), LLVM is able to completely optimize away the inner loops, leading to run times of 0 (and meaningless run time ratios). It may be worth considering making `-profile-tail-call-opt false -profile-intro-loops-opt true` the default when `-const 'Exn.keepHistory true'` is used in order to improve the accuracy of exception history. However, the fact that one benchmark (`even-odd`) exhausts heap with explosive stack growth is worrisome. Compare: https://github.com/MLton/mlton/compare/95752a82a1d5...497710e247c7 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...> - 2025-06-02 12:25:42
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 612c4cc9ece6a05b1fa005748026487714b14325 https://github.com/MLton/mlton/commit/612c4cc9ece6a05b1fa005748026487714b14325 Author: Jianghao Gasahorlogo You <gas...@g-...> Date: 2025-06-01 (Sun, 01 Jun 2025) Changed paths: M doc/guide/src/SMLSharp.adoc Log Message: ----------- Fix and delete several broken links in the doc about SML# Commit: 95752a82a1d5cd53b197c88ff5738be39cab393b https://github.com/MLton/mlton/commit/95752a82a1d5cd53b197c88ff5738be39cab393b Author: Matthew Fluet <Mat...@gm...> Date: 2025-06-02 (Mon, 02 Jun 2025) Changed paths: M doc/guide/src/SMLSharp.adoc Log Message: ----------- Merge pull request #612 from Gasahorlogo/doc-guide-SMLSharp Fix and delete several broken links in doc Compare: https://github.com/MLton/mlton/compare/3eaca13176a5...95752a82a1d5 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...> - 2025-05-27 16:47:32
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: c56b4e0289dfaef7b5bfb1e2eb845ade63d8660a https://github.com/MLton/mlton/commit/c56b4e0289dfaef7b5bfb1e2eb845ade63d8660a Author: Matthew Fluet <mat...@gm...> Date: 2025-05-27 (Tue, 27 May 2025) Changed paths: M doc/guide/src/FAQ.adoc Log Message: ----------- Add "How do you cite MLton?" to FAQ Commit: 3eaca13176a57cd25126e509db67c29ed6968fa3 https://github.com/MLton/mlton/commit/3eaca13176a57cd25126e509db67c29ed6968fa3 Author: Matthew Fluet <Mat...@gm...> Date: 2025-05-27 (Tue, 27 May 2025) Changed paths: M doc/guide/src/FAQ.adoc Log Message: ----------- Merge pull request #611 from MatthewFluet/faq-cite-update Add "How do you cite MLton?" to FAQ Compare: https://github.com/MLton/mlton/compare/96c811526d21...3eaca13176a5 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...> - 2025-05-24 00:19:56
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 604bbcc8b2f50bc5e9be606184b6ec5bad7fc7da https://github.com/MLton/mlton/commit/604bbcc8b2f50bc5e9be606184b6ec5bad7fc7da Author: Matthew Fluet <mat...@gm...> Date: 2025-05-23 (Fri, 23 May 2025) Changed paths: 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.8 libraries and fix bug in MonoBufferFn Closes MLton/mlton#608 Commit: 96c811526d21b21d36a8f3b7828456943c8da4b3 https://github.com/MLton/mlton/commit/96c811526d21b21d36a8f3b7828456943c8da4b3 Author: Matthew Fluet <Mat...@gm...> Date: 2025-05-23 (Fri, 23 May 2025) Changed paths: 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 #610 from MatthewFluet/smlnj-lib-mono-buffer-bugfix Update to SML/NJ 110.99.8 libraries and fix bug in MonoBufferFn Compare: https://github.com/MLton/mlton/compare/ce19014adacc...96c811526d21 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...> - 2025-03-03 11:11:05
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 87f27c2240ccfabc106dd39a987170a293045d31 https://github.com/MLton/mlton/commit/87f27c2240ccfabc106dd39a987170a293045d31 Author: YawarRaza7349 <Yaw...@gm...> Date: 2025-03-01 (Sat, 01 Mar 2025) Changed paths: M doc/guide/src/SimplifyTypes.adoc Log Message: ----------- doc typo Typo in SimplifyTypes.adoc Commit: ce19014adacc33c71671c292300302adc9810f97 https://github.com/MLton/mlton/commit/ce19014adacc33c71671c292300302adc9810f97 Author: Matthew Fluet <Mat...@gm...> Date: 2025-03-03 (Mon, 03 Mar 2025) Changed paths: M doc/guide/src/SimplifyTypes.adoc Log Message: ----------- Merge pull request #606 from YawarRaza7349/patch-1 doc typo Compare: https://github.com/MLton/mlton/compare/4b221ed9a805...ce19014adacc 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...> - 2025-01-17 18:04:03
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: db1dec211e5528929715c0e7627dceada3ac041f https://github.com/MLton/mlton/commit/db1dec211e5528929715c0e7627dceada3ac041f Author: Matthew Fluet <mat...@gm...> Date: 2025-01-17 (Fri, 17 Jan 2025) Changed paths: M .github/actions/install-bootstrap-dependencies/action.yml Log Message: ----------- Fix file name of binary release for windows runners Commit: 6fbd04306ec618138422514566eaf08d778ef81b https://github.com/MLton/mlton/commit/6fbd04306ec618138422514566eaf08d778ef81b Author: Matthew Fluet <mat...@gm...> Date: 2025-01-17 (Fri, 17 Jan 2025) Changed paths: M .github/actions/install-bootstrap-dependencies/action.yml Log Message: ----------- Make condition for "Install bootstrap dependencies" actions more precise Commit: 49ca4bdb7da38ea51b47901815fa4f66ca5bfd61 https://github.com/MLton/mlton/commit/49ca4bdb7da38ea51b47901815fa4f66ca5bfd61 Author: Matthew Fluet <mat...@gm...> Date: 2025-01-17 (Fri, 17 Jan 2025) Changed paths: M .github/actions/install-bootstrap-dependencies/action.yml M .github/workflows/ci.yml Log Message: ----------- Experiment with ubuntu-24.04-arm runner in CI workflow Commit: 4b221ed9a80550ded664a7ea9feb766ca9249940 https://github.com/MLton/mlton/commit/4b221ed9a80550ded664a7ea9feb766ca9249940 Author: Matthew Fluet <Mat...@gm...> Date: 2025-01-17 (Fri, 17 Jan 2025) Changed paths: M .github/actions/install-bootstrap-dependencies/action.yml M .github/workflows/ci.yml Log Message: ----------- Merge pull request #603 from MatthewFluet/workflow-updates GitHub workflow updates Compare: https://github.com/MLton/mlton/compare/970095a35a66...4b221ed9a805 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...> - 2025-01-15 12:00:51
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: d4fb05c1e2a226bf731b142e4c85ee223758c796 https://github.com/MLton/mlton/commit/d4fb05c1e2a226bf731b142e4c85ee223758c796 Author: Sam Westrick <shw...@gm...> Date: 2025-01-13 (Mon, 13 Jan 2025) Changed paths: M mlton/Makefile Log Message: ----------- fix #601: use 'chmod a-w' instead of 'chmod -w' Commit: 970095a35a668d2f1a6358201901ac64cb72445a https://github.com/MLton/mlton/commit/970095a35a668d2f1a6358201901ac64cb72445a Author: Matthew Fluet <Mat...@gm...> Date: 2025-01-15 (Wed, 15 Jan 2025) Changed paths: M mlton/Makefile Log Message: ----------- Merge pull request #602 from shwestrick/fix-chmod-as-root-error fix #601: use 'chmod a-w' instead of 'chmod -w' Compare: https://github.com/MLton/mlton/compare/ae18adc99b4c...970095a35a66 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...> - 2025-01-02 22:46:16
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 96d3712f8f757ccb67122b149795f4d23f839a32 https://github.com/MLton/mlton/commit/96d3712f8f757ccb67122b149795f4d23f839a32 Author: Matthew Fluet <mat...@gm...> Date: 2024-12-31 (Tue, 31 Dec 2024) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Refactor CI workflow matrix Commit: 66dd6b71ef98bc4b658848290c0eaf5305d0b626 https://github.com/MLton/mlton/commit/66dd6b71ef98bc4b658848290c0eaf5305d0b626 Author: Matthew Fluet <mat...@gm...> Date: 2025-01-02 (Thu, 02 Jan 2025) Changed paths: M .github/actions/install-bootstrap-dependencies/action.yml Log Message: ----------- Use MLton 20241230 for `install-bootstrap-dependencies` action Commit: 966e6be73d47dfd9dcd185489b5084f2158476d6 https://github.com/MLton/mlton/commit/966e6be73d47dfd9dcd185489b5084f2158476d6 Author: Matthew Fluet <mat...@gm...> Date: 2025-01-02 (Thu, 02 Jan 2025) Changed paths: M .github/actions/install-bootstrap-dependencies/action.yml M .github/workflows/ci.yml Log Message: ----------- Experiment with alternate msys2 environments in CI workflow Commit: 88cc31af798be1d6b9b76247639b9b7c2d2ab610 https://github.com/MLton/mlton/commit/88cc31af798be1d6b9b76247639b9b7c2d2ab610 Author: Matthew Fluet <mat...@gm...> Date: 2025-01-02 (Thu, 02 Jan 2025) Changed paths: M .github/workflows/binary-release-single.yml M .github/workflows/binary-release.yml Log Message: ----------- Use alternate msys2 environments in binary-release workflow Commit: e6586814d1e14caf2310caef65d554c683b31ed3 https://github.com/MLton/mlton/commit/e6586814d1e14caf2310caef65d554c683b31ed3 Author: Matthew Fluet <mat...@gm...> Date: 2025-01-02 (Thu, 02 Jan 2025) Changed paths: M .github/workflows/binary-release-single.yml Log Message: ----------- Remove `checkout-ref` input from` binary-release-single workflow Commit: ae18adc99b4c5a17c74521a77b470e6f935336c9 https://github.com/MLton/mlton/commit/ae18adc99b4c5a17c74521a77b470e6f935336c9 Author: Matthew Fluet <Mat...@gm...> Date: 2025-01-02 (Thu, 02 Jan 2025) Changed paths: M .github/actions/install-bootstrap-dependencies/action.yml M .github/workflows/binary-release-single.yml M .github/workflows/binary-release.yml M .github/workflows/ci.yml Log Message: ----------- Merge pull request #599 from MatthewFluet/msys2-envs-workflow Experiment with alternate msys2 environments in workflows Compare: https://github.com/MLton/mlton/compare/4db974ae30a3...ae18adc99b4c 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-31 11:47:17
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 7e574d2a4f97a05c4e2ffa5f3896161cd42aa799 https://github.com/MLton/mlton/commit/7e574d2a4f97a05c4e2ffa5f3896161cd42aa799 Author: Matthew Fluet <mat...@gm...> Date: 2024-12-31 (Tue, 31 Dec 2024) Changed paths: M .github/workflows/sourceforge-release.yml Log Message: ----------- Fix upload of guide archive in SourceForge release workflow Commit: 4db974ae30a339c7f385919250bdaa70fe1cfa55 https://github.com/MLton/mlton/commit/4db974ae30a339c7f385919250bdaa70fe1cfa55 Author: Matthew Fluet <Mat...@gm...> Date: 2024-12-31 (Tue, 31 Dec 2024) Changed paths: M .github/workflows/sourceforge-release.yml Log Message: ----------- Merge pull request #598 from MatthewFluet/release-workflow-updates Fix upload of guide archive in SourceForge release workflow Compare: https://github.com/MLton/mlton/compare/b4a527c7eac1...4db974ae30a3 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-31 03:03:09
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 46eb746f13dda83665e7be344ffb1a5ec8c79462 https://github.com/MLton/mlton/commit/46eb746f13dda83665e7be344ffb1a5ec8c79462 Author: Matthew Fluet <mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M .github/workflows/sourceforge-release.yml Log Message: ----------- Run setup_ssh script in SourceForge release workflow Commit: b4a527c7eac1ad31f197ca9bf3e1fec05814920c https://github.com/MLton/mlton/commit/b4a527c7eac1ad31f197ca9bf3e1fec05814920c Author: Matthew Fluet <Mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M .github/workflows/sourceforge-release.yml Log Message: ----------- Merge pull request #596 from MatthewFluet/release-workflow-updates Run setup_ssh script in SourceForge release workflow Compare: https://github.com/MLton/mlton/compare/ac90424acf8e...b4a527c7eac1 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-31 01:24:32
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: e1fa9fa2f131b7c7b1aa66173a24be7faff7c7fe https://github.com/MLton/mlton/commit/e1fa9fa2f131b7c7b1aa66173a24be7faff7c7fe Author: Matthew Fluet <mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M .github/workflows/binary-release-single.yml Log Message: ----------- Work around symbolic link(s) appearing before destination in archive when unpacking on Windows Commit: ac90424acf8ea7aff5eca69e8b588fc877a897b1 https://github.com/MLton/mlton/commit/ac90424acf8ea7aff5eca69e8b588fc877a897b1 Author: Matthew Fluet <Mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M .github/workflows/binary-release-single.yml Log Message: ----------- Merge pull request #595 from MatthewFluet/release-workflow-updates Work around symbolic link(s) appearing before destination in archive when unpacking on Windows Compare: https://github.com/MLton/mlton/compare/b15e2d289c3d...ac90424acf8e 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-30 20:38:21
|
Branch: refs/tags/on-20241230-release 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...> - 2024-12-30 20:33:39
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 166516384056c49ba94d12b1faca1cf3d5a28adf https://github.com/MLton/mlton/commit/166516384056c49ba94d12b1faca1cf3d5a28adf Author: Matthew Fluet <mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M .github/actions/install-guide-dependencies/action.yml Log Message: ----------- Install GraphicsMagick as part of install-guide-dependencies action Commit: b15e2d289c3d701131733665a74e2dd8438410b6 https://github.com/MLton/mlton/commit/b15e2d289c3d701131733665a74e2dd8438410b6 Author: Matthew Fluet <Mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M .github/actions/install-guide-dependencies/action.yml Log Message: ----------- Merge pull request #593 from MatthewFluet/release-workflow-updates Install GraphicsMagick as part of install-guide-dependencies action Compare: https://github.com/MLton/mlton/compare/27d7e10aa035...b15e2d289c3d 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-30 20:32:15
|
Branch: refs/tags/on-20241230-release 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...> - 2024-12-30 20:00:45
|
Branch: refs/tags/on-20241230-release 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...> - 2024-12-30 19:34:16
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 1d119c427dbbe0a00846ca69ec9529068cf4c4a6 https://github.com/MLton/mlton/commit/1d119c427dbbe0a00846ca69ec9529068cf4c4a6 Author: Matthew Fluet <mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M CHANGELOG.adoc Log Message: ----------- Update `CHANGELOG.adoc` for 20241230 release Commit: 1d864a440c3441bf48bc041b96340e46e97f66d3 https://github.com/MLton/mlton/commit/1d864a440c3441bf48bc041b96340e46e97f66d3 Author: Matthew Fluet <mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M man/mllex.1 M man/mlprof.1 M man/mlton.1 M man/mlyacc.1 Log Message: ----------- Update man pages for 20241230 release Commit: d40427b9f6efd5373f1ce67335af163a4159663e https://github.com/MLton/mlton/commit/d40427b9f6efd5373f1ce67335af163a4159663e Author: Matthew Fluet <mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M doc/guide/src/Release20200722.adoc M doc/guide/src/Release20200817.adoc M doc/guide/src/Release20201002.adoc Log Message: ----------- Mark old releases as archived in guide pages Commit: 1be2ece309b44e537a096f2151b4b047e6712490 https://github.com/MLton/mlton/commit/1be2ece309b44e537a096f2151b4b047e6712490 Author: Matthew Fluet <mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M doc/guide/src/Home.adoc M doc/guide/src/Release20210117.adoc A doc/guide/src/Release20241230.adoc M doc/guide/src/Releases.adoc Log Message: ----------- Create and update pages for 20241230 release Commit: 27d7e10aa03591d01f3debdf36744ff12337bd16 https://github.com/MLton/mlton/commit/27d7e10aa03591d01f3debdf36744ff12337bd16 Author: Matthew Fluet <Mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M CHANGELOG.adoc M doc/guide/src/Home.adoc M doc/guide/src/Release20200722.adoc M doc/guide/src/Release20200817.adoc M doc/guide/src/Release20201002.adoc M doc/guide/src/Release20210117.adoc A doc/guide/src/Release20241230.adoc M doc/guide/src/Releases.adoc M man/mllex.1 M man/mlprof.1 M man/mlton.1 M man/mlyacc.1 Log Message: ----------- Merge pull request #591 from MatthewFluet/20241230-release Final commits for 20241230 release Compare: https://github.com/MLton/mlton/compare/74673d4e7de9...27d7e10aa035 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-30 11:52:10
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 528d1c80a5a84569b52e5a480adb97e950727b71 https://github.com/MLton/mlton/commit/528d1c80a5a84569b52e5a480adb97e950727b71 Author: Matthew Fluet <mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M .github/workflows/sourceforge-release.yml Log Message: ----------- Fix GitHub action to automate creation of SourceForge release Commit: 74673d4e7de936497f74569a1145857d35261393 https://github.com/MLton/mlton/commit/74673d4e7de936497f74569a1145857d35261393 Author: Matthew Fluet <Mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M .github/workflows/sourceforge-release.yml Log Message: ----------- Merge pull request #590 from MatthewFluet/sourceforge-release-workflow Fix GitHub action to automate creation of SourceForge release Compare: https://github.com/MLton/mlton/compare/72e05fa69479...74673d4e7de9 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-30 11:44:41
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 4127f6ec2dd6888fe12d541c3d4a94fdc9d4a55f https://github.com/MLton/mlton/commit/4127f6ec2dd6888fe12d541c3d4a94fdc9d4a55f Author: Matthew Fluet <mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M .github/workflows/release.yml A .github/workflows/sourceforge-release.yml Log Message: ----------- Create a GitHub action to automate creation of SourceForge release Commit: 72e05fa69479231e20c75ca8658c18e171f6792d https://github.com/MLton/mlton/commit/72e05fa69479231e20c75ca8658c18e171f6792d Author: Matthew Fluet <Mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M .github/workflows/release.yml A .github/workflows/sourceforge-release.yml Log Message: ----------- Merge pull request #589 from MatthewFluet/sourceforge-release-workflow Create a GitHub action to automate creation of SourceForge release Compare: https://github.com/MLton/mlton/compare/48e8f3846c44...72e05fa69479 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-30 10:38:06
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: d4e18cf89f5993ff7b0046fb0dcafddb3828dd7f https://github.com/MLton/mlton/commit/d4e18cf89f5993ff7b0046fb0dcafddb3828dd7f Author: Matthew Fluet <mat...@gm...> Date: 2024-12-29 (Sun, 29 Dec 2024) Changed paths: M mlton/main/main.fun Log Message: ----------- Make `-force-handles-signals` compile-time option expert Commit: 48e8f3846c446a6c369b72ca20e0136c4f75fd9e https://github.com/MLton/mlton/commit/48e8f3846c446a6c369b72ca20e0136c4f75fd9e Author: Matthew Fluet <Mat...@gm...> Date: 2024-12-30 (Mon, 30 Dec 2024) Changed paths: M mlton/main/main.fun Log Message: ----------- Merge pull request #588 from MatthewFluet/force-handles-signals-option Make `-force-handles-signals` compile-time option expert Compare: https://github.com/MLton/mlton/compare/16e7e8f28339...48e8f3846c44 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-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 |
