https://codeberg.org/dgregory 2026-04-01T18:26:12+02:00 2026-02-08T02:22:52+01:00 97402502: https://codeberg.org/mina-lang/mina/src/branch/html-reporting dgregory [email protected] 2026-02-08T02:22:52+01:00 97402494: https://codeberg.org/mina-lang/mina/commit/517d9a90f24dd4dfdee4152b07ccfb29def42cbd <a href="https://codeberg.org/mina-lang/mina/commit/517d9a90f24dd4dfdee4152b07ccfb29def42cbd" rel="nofollow">517d9a90f24dd4dfdee4152b07ccfb29def42cbd</a> Prototype HTML compilation reports

<a href="https://codeberg.org/mina-lang/mina/commit/517d9a90f24dd4dfdee4152b07ccfb29def42cbd">517d9a90f24dd4dfdee4152b07ccfb29def42cbd</a> Prototype HTML compilation reports

dgregory [email protected] 2026-01-30T19:57:50+01:00 95412306: https://codeberg.org/mina-lang/mina/commit/21d217ac025579c44aeff43e1e8d904d3f775e63 <a href="https://codeberg.org/mina-lang/mina/commit/21d217ac025579c44aeff43e1e8d904d3f775e63" rel="nofollow">21d217ac025579c44aeff43e1e8d904d3f775e63</a> Start to sketch a file system that can overlay LSP open files over the default file system

<a href="https://codeberg.org/mina-lang/mina/commit/21d217ac025579c44aeff43e1e8d904d3f775e63">21d217ac025579c44aeff43e1e8d904d3f775e63</a> Start to sketch a file system that can overlay LSP open files over the default file system

dgregory [email protected] 2026-01-30T19:57:50+01:00 95412298: https://codeberg.org/mina-lang/mina/src/branch/lsp-file-system dgregory [email protected] 2026-01-30T19:48:50+01:00 95411156: https://codeberg.org/mina-lang/mina/commit/f9f306e2faa9a44621ab2dd0dc999fb1b47a158c <a href="https://codeberg.org/mina-lang/mina/commit/f9f306e2faa9a44621ab2dd0dc999fb1b47a158c" rel="nofollow">f9f306e2faa9a44621ab2dd0dc999fb1b47a158c</a> Plumb type environments into the optimisation phase

<a href="https://codeberg.org/mina-lang/mina/commit/f9f306e2faa9a44621ab2dd0dc999fb1b47a158c">f9f306e2faa9a44621ab2dd0dc999fb1b47a158c</a> Plumb type environments into the optimisation phase

dgregory [email protected] 2026-01-26T18:46:24+01:00 94186332: https://codeberg.org/mina-lang/mina/commit/b801f7de1b4dcb74de28f31cd394511ed3ca7ba7 <a href="https://codeberg.org/mina-lang/mina/commit/b801f7de1b4dcb74de28f31cd394511ed3ca7ba7" rel="nofollow">b801f7de1b4dcb74de28f31cd394511ed3ca7ba7</a> Add testing of the optimisation function over conditional expressions

<a href="https://codeberg.org/mina-lang/mina/commit/b801f7de1b4dcb74de28f31cd394511ed3ca7ba7">b801f7de1b4dcb74de28f31cd394511ed3ca7ba7</a> Add testing of the optimisation function over conditional expressions

dgregory [email protected] 2026-01-26T18:42:01+01:00 94184205: https://codeberg.org/mina-lang/mina/commit/8cdd4f1f7325fb6618749fcded3dcceb36fde701 <a href="https://codeberg.org/mina-lang/mina/commit/8cdd4f1f7325fb6618749fcded3dcceb36fde701" rel="nofollow">8cdd4f1f7325fb6618749fcded3dcceb36fde701</a> Add testing of the optimisation function over conditional expressions

<a href="https://codeberg.org/mina-lang/mina/commit/8cdd4f1f7325fb6618749fcded3dcceb36fde701">8cdd4f1f7325fb6618749fcded3dcceb36fde701</a> Add testing of the optimisation function over conditional expressions

dgregory [email protected] 2026-01-26T18:39:29+01:00 94183569: https://codeberg.org/mina-lang/mina/commit/1a45d91e01c0bccc725e423272f2b026e6b95ca6 <a href="https://codeberg.org/mina-lang/mina/commit/1a45d91e01c0bccc725e423272f2b026e6b95ca6" rel="nofollow">1a45d91e01c0bccc725e423272f2b026e6b95ca6</a> Add testing of the optimisation function over conditional expressions

<a href="https://codeberg.org/mina-lang/mina/commit/1a45d91e01c0bccc725e423272f2b026e6b95ca6">1a45d91e01c0bccc725e423272f2b026e6b95ca6</a> Add testing of the optimisation function over conditional expressions

dgregory [email protected] 2026-01-24T16:46:48+01:00 93438339: https://codeberg.org/mina-lang/mina/commit/824441d7d12a7ed3d971b7761fc32ee5fea0e815 <a href="https://codeberg.org/mina-lang/mina/commit/824441d7d12a7ed3d971b7761fc32ee5fea0e815" rel="nofollow">824441d7d12a7ed3d971b7761fc32ee5fea0e815</a> Implement constant propagation for nullary constructors

<a href="https://codeberg.org/mina-lang/mina/commit/824441d7d12a7ed3d971b7761fc32ee5fea0e815">824441d7d12a7ed3d971b7761fc32ee5fea0e815</a> Implement constant propagation for nullary constructors

dgregory [email protected] 2026-01-23T20:40:25+01:00 93193995: https://codeberg.org/mina-lang/mina/commit/dd0f446f92f930d59273cbf6717193d3f1deb117 <a href="https://codeberg.org/mina-lang/mina/commit/dd0f446f92f930d59273cbf6717193d3f1deb117" rel="nofollow">dd0f446f92f930d59273cbf6717193d3f1deb117</a> Implement the transformation part of constant propagation

<a href="https://codeberg.org/mina-lang/mina/commit/dd0f446f92f930d59273cbf6717193d3f1deb117">dd0f446f92f930d59273cbf6717193d3f1deb117</a> Implement the transformation part of constant propagation

dgregory [email protected] 2026-01-22T18:56:48+01:00 92744871: https://codeberg.org/mina-lang/mina/commit/11408884e6f3c587baf6021e61f8b50c61f8442e <a href="https://codeberg.org/mina-lang/mina/commit/11408884e6f3c587baf6021e61f8b50c61f8442e" rel="nofollow">11408884e6f3c587baf6021e61f8b50c61f8442e</a> Add testing for top-level declarations vs local bindings, redexes, equality operators

<a href="https://codeberg.org/mina-lang/mina/commit/11408884e6f3c587baf6021e61f8b50c61f8442e">11408884e6f3c587baf6021e61f8b50c61f8442e</a> Add testing for top-level declarations vs local bindings, redexes, equality operators

dgregory [email protected] 2026-01-20T02:21:30+01:00 91768578: https://codeberg.org/mina-lang/mina/commit/3b3182b5588f7b23ec300589526d59f6af75ee7e <a href="https://codeberg.org/mina-lang/mina/commit/3b3182b5588f7b23ec300589526d59f6af75ee7e" rel="nofollow">3b3182b5588f7b23ec300589526d59f6af75ee7e</a> Begin to add testing for function application

<a href="https://codeberg.org/mina-lang/mina/commit/3b3182b5588f7b23ec300589526d59f6af75ee7e">3b3182b5588f7b23ec300589526d59f6af75ee7e</a> Begin to add testing for function application

dgregory [email protected] 2026-01-19T20:25:54+01:00 91681341: https://codeberg.org/mina-lang/mina/commit/d3b506e64433f297d7fe48ceefa197b89aa9afb5 <a href="https://codeberg.org/mina-lang/mina/commit/d3b506e64433f297d7fe48ceefa197b89aa9afb5" rel="nofollow">d3b506e64433f297d7fe48ceefa197b89aa9afb5</a> Use an iterative approach for local let bindings

<a href="https://codeberg.org/mina-lang/mina/commit/d3b506e64433f297d7fe48ceefa197b89aa9afb5">d3b506e64433f297d7fe48ceefa197b89aa9afb5</a> Use an iterative approach for local let bindings

dgregory [email protected] 2026-01-17T18:52:05+01:00 91005849: https://codeberg.org/mina-lang/mina/pulls/694#issuecomment-9940617 WIP: Constant propagation <p dir="auto">Using the <code>Project</code> in tasks is not allowed from Gradle 9.x</p>

WIP: Constant propagation <p dir="auto">Using the <code>Project</code> in tasks is not allowed from Gradle 9.x</p>

dgregory [email protected] 2026-01-17T18:50:57+01:00 91005498: https://codeberg.org/mina-lang/mina/pulls/694#issuecomment-9940590 WIP: Constant propagation <p dir="auto">Might better be called &#34;Unknown&#34;</p>

WIP: Constant propagation <p dir="auto">Might better be called &#34;Unknown&#34;</p>

dgregory [email protected] 2026-01-17T18:46:50+01:00 91004484: https://codeberg.org/mina-lang/mina/pulls/694 <p dir="auto">This is a prototype optimisation phase based on the Sparse Conditional Constant Propagation algorithm described in <a href="https://www.sciencedirect.com/science/article/pii/S1571066105825964" rel="nofollow">A Functional Perspective on SSA Optimization Algorithms</a>.</p>

694#WIP: Constant propagation#

dgregory [email protected] 2026-01-17T18:33:53+01:00 91000479: https://codeberg.org/mina-lang/mina/commit/7f8bee2270626942897ba8a53bfed5f9527f6635 <a href="https://codeberg.org/mina-lang/mina/commit/7f8bee2270626942897ba8a53bfed5f9527f6635" rel="nofollow">7f8bee2270626942897ba8a53bfed5f9527f6635</a> Implement analysis of pattern variables for known constructor optimisations

<a href="https://codeberg.org/mina-lang/mina/commit/7f8bee2270626942897ba8a53bfed5f9527f6635">7f8bee2270626942897ba8a53bfed5f9527f6635</a> Implement analysis of pattern variables for known constructor optimisations

dgregory [email protected] 2026-01-17T11:28:37+01:00 90862659: https://codeberg.org/mina-lang/mina/compare/cd0141c1b7735d267e338ace23bb8c79e2a81d5a...e9c1b97ebbbef5333a2f7c9d1a0dae4c895581ef <a href="https://codeberg.org/mina-lang/mina/commit/e9c1b97ebbbef5333a2f7c9d1a0dae4c895581ef" rel="nofollow">e9c1b97ebbbef5333a2f7c9d1a0dae4c895581ef</a> Implement analysis of pattern variables for known constructor optimisations <a href="https://codeberg.org/mina-lang/mina/commit/a91406ada166924f1e548a16a495701ce1d3ab0a" rel="nofollow">a91406ada166924f1e548a16a495701ce1d3ab0a</a> Fix NPE disguised as classloading issue <a href="https://codeberg.org/mina-lang/mina/commit/fb234e8de9f849866f9a8c973dd6d4aeaeb9da98" rel="nofollow">fb234e8de9f849866f9a8c973dd6d4aeaeb9da98</a> Implement looping analysis of function bodies

<a href="https://codeberg.org/mina-lang/mina/commit/e9c1b97ebbbef5333a2f7c9d1a0dae4c895581ef">e9c1b97ebbbef5333a2f7c9d1a0dae4c895581ef</a> Implement analysis of pattern variables for known constructor optimisations <a href="https://codeberg.org/mina-lang/mina/commit/a91406ada166924f1e548a16a495701ce1d3ab0a">a91406ada166924f1e548a16a495701ce1d3ab0a</a> Fix NPE disguised as classloading issue <a href="https://codeberg.org/mina-lang/mina/commit/fb234e8de9f849866f9a8c973dd6d4aeaeb9da98">fb234e8de9f849866f9a8c973dd6d4aeaeb9da98</a> Implement looping analysis of function bodies

dgregory [email protected] 2026-01-17T10:55:04+01:00 90857235: https://codeberg.org/mina-lang/mina/commit/cdf2c1b224a7661fc02a9eb9a610ddb45c4391fb <a href="https://codeberg.org/mina-lang/mina/commit/cdf2c1b224a7661fc02a9eb9a610ddb45c4391fb" rel="nofollow">cdf2c1b224a7661fc02a9eb9a610ddb45c4391fb</a> Fix NPE disguised as classloading issue

<a href="https://codeberg.org/mina-lang/mina/commit/cdf2c1b224a7661fc02a9eb9a610ddb45c4391fb">cdf2c1b224a7661fc02a9eb9a610ddb45c4391fb</a> Fix NPE disguised as classloading issue

dgregory [email protected] 2026-01-16T23:04:31+01:00 90726933: https://codeberg.org/mina-lang/mina/commit/6667b05c3f4dba70845fbcd42eab11953ba8953c <a href="https://codeberg.org/mina-lang/mina/commit/6667b05c3f4dba70845fbcd42eab11953ba8953c" rel="nofollow">6667b05c3f4dba70845fbcd42eab11953ba8953c</a> Exhibit weird classloading issue

<a href="https://codeberg.org/mina-lang/mina/commit/6667b05c3f4dba70845fbcd42eab11953ba8953c">6667b05c3f4dba70845fbcd42eab11953ba8953c</a> Exhibit weird classloading issue

dgregory [email protected] 2026-01-16T23:04:31+01:00 90726921: https://codeberg.org/mina-lang/mina/src/branch/gradle-classloading-issue dgregory [email protected] 2026-01-15T23:58:24+01:00 90308615: https://codeberg.org/mina-lang/mina/commit/cd0141c1b7735d267e338ace23bb8c79e2a81d5a <a href="https://codeberg.org/mina-lang/mina/commit/cd0141c1b7735d267e338ace23bb8c79e2a81d5a" rel="nofollow">cd0141c1b7735d267e338ace23bb8c79e2a81d5a</a> Prototyping constant propagation for unary and binary operators

<a href="https://codeberg.org/mina-lang/mina/commit/cd0141c1b7735d267e338ace23bb8c79e2a81d5a">cd0141c1b7735d267e338ace23bb8c79e2a81d5a</a> Prototyping constant propagation for unary and binary operators

dgregory [email protected] 2026-01-14T20:52:20+01:00 89897300: https://codeberg.org/mina-lang/mina/commit/23e2f825f3eecec34bc5f90b5b3435d1073069ba <a href="https://codeberg.org/mina-lang/mina/commit/23e2f825f3eecec34bc5f90b5b3435d1073069ba" rel="nofollow">23e2f825f3eecec34bc5f90b5b3435d1073069ba</a> WIP: Sketching constant propagation

<a href="https://codeberg.org/mina-lang/mina/commit/23e2f825f3eecec34bc5f90b5b3435d1073069ba">23e2f825f3eecec34bc5f90b5b3435d1073069ba</a> WIP: Sketching constant propagation

dgregory [email protected] 2026-01-14T20:52:20+01:00 89897288: https://codeberg.org/mina-lang/mina/src/branch/constant-propagation dgregory [email protected] 2025-12-19T21:46:56+01:00 81863706: https://codeberg.org/mina-lang/mina/commit/fb2614120c0c8234a3703295535e48632a03ff69 <a href="https://codeberg.org/mina-lang/mina/commit/fb2614120c0c8234a3703295535e48632a03ff69" rel="nofollow">fb2614120c0c8234a3703295535e48632a03ff69</a> Update gradle-bsp snapshot version

<a href="https://codeberg.org/mina-lang/mina/commit/fb2614120c0c8234a3703295535e48632a03ff69">fb2614120c0c8234a3703295535e48632a03ff69</a> Update gradle-bsp snapshot version

dgregory [email protected] 2025-10-22T21:18:31+02:00 67335635: https://codeberg.org/mina-lang/mina/compare/d4a5423cb622c531309926f54975bafb6b770f32...830ac8d88122397927e5777348e606f419acb76b <a href="https://codeberg.org/mina-lang/mina/commit/830ac8d88122397927e5777348e606f419acb76b" rel="nofollow">830ac8d88122397927e5777348e606f419acb76b</a> Merge pull request &#39;Update dependency esbuild to ^0.25.11&#39; (#666) from renovate/esbuild-0.x into main <a href="https://codeberg.org/mina-lang/mina/commit/52c02e5eced4b9126bde3c90242da745e8063333" rel="nofollow">52c02e5eced4b9126bde3c90242da745e8063333</a> Update dependency esbuild to ^0.25.11

<a href="https://codeberg.org/mina-lang/mina/commit/830ac8d88122397927e5777348e606f419acb76b">830ac8d88122397927e5777348e606f419acb76b</a> Merge pull request &#39;Update dependency esbuild to ^0.25.11&#39; (#666) from renovate/esbuild-0.x into main <a href="https://codeberg.org/mina-lang/mina/commit/52c02e5eced4b9126bde3c90242da745e8063333">52c02e5eced4b9126bde3c90242da745e8063333</a> Update dependency esbuild to ^0.25.11

dgregory [email protected] 2025-10-22T21:18:27+02:00 67335623: https://codeberg.org/mina-lang/mina dgregory [email protected] 2025-10-22T21:18:24+02:00 67335608: https://codeberg.org/mina-lang/mina/pulls/666 Update dependency esbuild to ^0.25.11

Update dependency esbuild to ^0.25.11

dgregory [email protected] 2025-10-04T19:21:20+02:00 63164566: https://codeberg.org/mina-lang/mina dgregory [email protected] 2025-10-04T19:21:10+02:00 63164545: https://codeberg.org/mina-lang/mina/pulls/659 Remove the hardcoded relationship between Scope and Meta

Remove the hardcoded relationship between Scope and Meta

dgregory [email protected]