Feed of "David Gregory" https://codeberg.org/dgregory Wed, 01 Apr 2026 18:26:11 +0200 dgregory created branch html-reporting in mina-lang/mina https://codeberg.org/mina-lang/mina/src/branch/html-reporting dgregory 97402502: https://codeberg.org/mina-lang/mina/src/branch/html-reporting Sun, 08 Feb 2026 02:22:52 +0100 dgregory pushed to html-reporting at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/517d9a90f24dd4dfdee4152b07ccfb29def42cbd <a href="https://codeberg.org/mina-lang/mina/commit/517d9a90f24dd4dfdee4152b07ccfb29def42cbd">517d9a90f24dd4dfdee4152b07ccfb29def42cbd</a> Prototype HTML compilation reports <![CDATA[517d9a90f24dd4dfdee4152b07ccfb29def42cbd Prototype HTML compilation reports]]> dgregory 97402494: https://codeberg.org/mina-lang/mina/commit/517d9a90f24dd4dfdee4152b07ccfb29def42cbd Sun, 08 Feb 2026 02:22:52 +0100 dgregory pushed to lsp-file-system at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/21d217ac025579c44aeff43e1e8d904d3f775e63 <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 <![CDATA[21d217ac025579c44aeff43e1e8d904d3f775e63 Start to sketch a file system that can overlay LSP open files over the default file system]]> dgregory 95412306: https://codeberg.org/mina-lang/mina/commit/21d217ac025579c44aeff43e1e8d904d3f775e63 Fri, 30 Jan 2026 19:57:50 +0100 dgregory created branch lsp-file-system in mina-lang/mina https://codeberg.org/mina-lang/mina/src/branch/lsp-file-system dgregory 95412298: https://codeberg.org/mina-lang/mina/src/branch/lsp-file-system Fri, 30 Jan 2026 19:57:50 +0100 dgregory pushed to constant-propagation at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/f9f306e2faa9a44621ab2dd0dc999fb1b47a158c <a href="https://codeberg.org/mina-lang/mina/commit/f9f306e2faa9a44621ab2dd0dc999fb1b47a158c">f9f306e2faa9a44621ab2dd0dc999fb1b47a158c</a> Plumb type environments into the optimisation phase <![CDATA[f9f306e2faa9a44621ab2dd0dc999fb1b47a158c Plumb type environments into the optimisation phase]]> dgregory 95411156: https://codeberg.org/mina-lang/mina/commit/f9f306e2faa9a44621ab2dd0dc999fb1b47a158c Fri, 30 Jan 2026 19:48:50 +0100 dgregory pushed to constant-propagation at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/b801f7de1b4dcb74de28f31cd394511ed3ca7ba7 <a href="https://codeberg.org/mina-lang/mina/commit/b801f7de1b4dcb74de28f31cd394511ed3ca7ba7">b801f7de1b4dcb74de28f31cd394511ed3ca7ba7</a> Add testing of the optimisation function over conditional expressions <![CDATA[b801f7de1b4dcb74de28f31cd394511ed3ca7ba7 Add testing of the optimisation function over conditional expressions]]> dgregory 94186332: https://codeberg.org/mina-lang/mina/commit/b801f7de1b4dcb74de28f31cd394511ed3ca7ba7 Mon, 26 Jan 2026 18:46:24 +0100 dgregory pushed to constant-propagation at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/8cdd4f1f7325fb6618749fcded3dcceb36fde701 <a href="https://codeberg.org/mina-lang/mina/commit/8cdd4f1f7325fb6618749fcded3dcceb36fde701">8cdd4f1f7325fb6618749fcded3dcceb36fde701</a> Add testing of the optimisation function over conditional expressions <![CDATA[8cdd4f1f7325fb6618749fcded3dcceb36fde701 Add testing of the optimisation function over conditional expressions]]> dgregory 94184205: https://codeberg.org/mina-lang/mina/commit/8cdd4f1f7325fb6618749fcded3dcceb36fde701 Mon, 26 Jan 2026 18:42:01 +0100 dgregory pushed to constant-propagation at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/1a45d91e01c0bccc725e423272f2b026e6b95ca6 <a href="https://codeberg.org/mina-lang/mina/commit/1a45d91e01c0bccc725e423272f2b026e6b95ca6">1a45d91e01c0bccc725e423272f2b026e6b95ca6</a> Add testing of the optimisation function over conditional expressions <![CDATA[1a45d91e01c0bccc725e423272f2b026e6b95ca6 Add testing of the optimisation function over conditional expressions]]> dgregory 94183569: https://codeberg.org/mina-lang/mina/commit/1a45d91e01c0bccc725e423272f2b026e6b95ca6 Mon, 26 Jan 2026 18:39:29 +0100 dgregory pushed to constant-propagation at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/824441d7d12a7ed3d971b7761fc32ee5fea0e815 <a href="https://codeberg.org/mina-lang/mina/commit/824441d7d12a7ed3d971b7761fc32ee5fea0e815">824441d7d12a7ed3d971b7761fc32ee5fea0e815</a> Implement constant propagation for nullary constructors <![CDATA[824441d7d12a7ed3d971b7761fc32ee5fea0e815 Implement constant propagation for nullary constructors]]> dgregory 93438339: https://codeberg.org/mina-lang/mina/commit/824441d7d12a7ed3d971b7761fc32ee5fea0e815 Sat, 24 Jan 2026 16:46:48 +0100 dgregory pushed to constant-propagation at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/dd0f446f92f930d59273cbf6717193d3f1deb117 <a href="https://codeberg.org/mina-lang/mina/commit/dd0f446f92f930d59273cbf6717193d3f1deb117">dd0f446f92f930d59273cbf6717193d3f1deb117</a> Implement the transformation part of constant propagation <![CDATA[dd0f446f92f930d59273cbf6717193d3f1deb117 Implement the transformation part of constant propagation]]> dgregory 93193995: https://codeberg.org/mina-lang/mina/commit/dd0f446f92f930d59273cbf6717193d3f1deb117 Fri, 23 Jan 2026 20:40:25 +0100 dgregory pushed to constant-propagation at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/11408884e6f3c587baf6021e61f8b50c61f8442e <a href="https://codeberg.org/mina-lang/mina/commit/11408884e6f3c587baf6021e61f8b50c61f8442e">11408884e6f3c587baf6021e61f8b50c61f8442e</a> Add testing for top-level declarations vs local bindings, redexes, equality operators <![CDATA[11408884e6f3c587baf6021e61f8b50c61f8442e Add testing for top-level declarations vs local bindings, redexes, equality operators]]> dgregory 92744871: https://codeberg.org/mina-lang/mina/commit/11408884e6f3c587baf6021e61f8b50c61f8442e Thu, 22 Jan 2026 18:56:48 +0100 dgregory pushed to constant-propagation at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/3b3182b5588f7b23ec300589526d59f6af75ee7e <a href="https://codeberg.org/mina-lang/mina/commit/3b3182b5588f7b23ec300589526d59f6af75ee7e">3b3182b5588f7b23ec300589526d59f6af75ee7e</a> Begin to add testing for function application <![CDATA[3b3182b5588f7b23ec300589526d59f6af75ee7e Begin to add testing for function application]]> dgregory 91768578: https://codeberg.org/mina-lang/mina/commit/3b3182b5588f7b23ec300589526d59f6af75ee7e Tue, 20 Jan 2026 02:21:30 +0100 dgregory pushed to constant-propagation at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/d3b506e64433f297d7fe48ceefa197b89aa9afb5 <a href="https://codeberg.org/mina-lang/mina/commit/d3b506e64433f297d7fe48ceefa197b89aa9afb5">d3b506e64433f297d7fe48ceefa197b89aa9afb5</a> Use an iterative approach for local let bindings <![CDATA[d3b506e64433f297d7fe48ceefa197b89aa9afb5 Use an iterative approach for local let bindings]]> dgregory 91681341: https://codeberg.org/mina-lang/mina/commit/d3b506e64433f297d7fe48ceefa197b89aa9afb5 Mon, 19 Jan 2026 20:25:54 +0100 dgregory commented on pull request mina-lang/mina#694 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> <![CDATA[WIP: Constant propagation

Using the Project in tasks is not allowed from Gradle 9.x

]]>
dgregory 91005849: https://codeberg.org/mina-lang/mina/pulls/694#issuecomment-9940617 Sat, 17 Jan 2026 18:52:05 +0100
dgregory commented on pull request mina-lang/mina#694 https://codeberg.org/mina-lang/mina/pulls/694#issuecomment-9940590 WIP: Constant propagation <p dir="auto">Might better be called &#34;Unknown&#34;</p> <![CDATA[WIP: Constant propagation

Might better be called "Unknown"

]]>
dgregory 91005498: https://codeberg.org/mina-lang/mina/pulls/694#issuecomment-9940590 Sat, 17 Jan 2026 18:50:57 +0100
dgregory created pull request mina-lang/mina#694 https://codeberg.org/mina-lang/mina/pulls/694 694#WIP: Constant propagation# <![CDATA[

This is a prototype optimisation phase based on the Sparse Conditional Constant Propagation algorithm described in A Functional Perspective on SSA Optimization Algorithms.

]]>
dgregory 91004484: https://codeberg.org/mina-lang/mina/pulls/694 Sat, 17 Jan 2026 18:46:50 +0100
dgregory pushed to constant-propagation at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/7f8bee2270626942897ba8a53bfed5f9527f6635 <a href="https://codeberg.org/mina-lang/mina/commit/7f8bee2270626942897ba8a53bfed5f9527f6635">7f8bee2270626942897ba8a53bfed5f9527f6635</a> Implement analysis of pattern variables for known constructor optimisations <![CDATA[7f8bee2270626942897ba8a53bfed5f9527f6635 Implement analysis of pattern variables for known constructor optimisations]]> dgregory 91000479: https://codeberg.org/mina-lang/mina/commit/7f8bee2270626942897ba8a53bfed5f9527f6635 Sat, 17 Jan 2026 18:33:53 +0100 dgregory pushed to constant-propagation at mina-lang/mina https://codeberg.org/mina-lang/mina/compare/cd0141c1b7735d267e338ace23bb8c79e2a81d5a...e9c1b97ebbbef5333a2f7c9d1a0dae4c895581ef <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 <![CDATA[e9c1b97ebbbef5333a2f7c9d1a0dae4c895581ef Implement analysis of pattern variables for known constructor optimisations a91406ada166924f1e548a16a495701ce1d3ab0a Fix NPE disguised as classloading issue fb234e8de9f849866f9a8c973dd6d4aeaeb9da98 Implement looping analysis of function bodies]]> dgregory 90862659: https://codeberg.org/mina-lang/mina/compare/cd0141c1b7735d267e338ace23bb8c79e2a81d5a...e9c1b97ebbbef5333a2f7c9d1a0dae4c895581ef Sat, 17 Jan 2026 11:28:37 +0100 dgregory pushed to gradle-classloading-issue at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/cdf2c1b224a7661fc02a9eb9a610ddb45c4391fb <a href="https://codeberg.org/mina-lang/mina/commit/cdf2c1b224a7661fc02a9eb9a610ddb45c4391fb">cdf2c1b224a7661fc02a9eb9a610ddb45c4391fb</a> Fix NPE disguised as classloading issue <![CDATA[cdf2c1b224a7661fc02a9eb9a610ddb45c4391fb Fix NPE disguised as classloading issue]]> dgregory 90857235: https://codeberg.org/mina-lang/mina/commit/cdf2c1b224a7661fc02a9eb9a610ddb45c4391fb Sat, 17 Jan 2026 10:55:04 +0100 dgregory pushed to gradle-classloading-issue at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/6667b05c3f4dba70845fbcd42eab11953ba8953c <a href="https://codeberg.org/mina-lang/mina/commit/6667b05c3f4dba70845fbcd42eab11953ba8953c">6667b05c3f4dba70845fbcd42eab11953ba8953c</a> Exhibit weird classloading issue <![CDATA[6667b05c3f4dba70845fbcd42eab11953ba8953c Exhibit weird classloading issue]]> dgregory 90726933: https://codeberg.org/mina-lang/mina/commit/6667b05c3f4dba70845fbcd42eab11953ba8953c Fri, 16 Jan 2026 23:04:31 +0100 dgregory created branch gradle-classloading-issue in mina-lang/mina https://codeberg.org/mina-lang/mina/src/branch/gradle-classloading-issue dgregory 90726921: https://codeberg.org/mina-lang/mina/src/branch/gradle-classloading-issue Fri, 16 Jan 2026 23:04:31 +0100 dgregory pushed to constant-propagation at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/cd0141c1b7735d267e338ace23bb8c79e2a81d5a <a href="https://codeberg.org/mina-lang/mina/commit/cd0141c1b7735d267e338ace23bb8c79e2a81d5a">cd0141c1b7735d267e338ace23bb8c79e2a81d5a</a> Prototyping constant propagation for unary and binary operators <![CDATA[cd0141c1b7735d267e338ace23bb8c79e2a81d5a Prototyping constant propagation for unary and binary operators]]> dgregory 90308615: https://codeberg.org/mina-lang/mina/commit/cd0141c1b7735d267e338ace23bb8c79e2a81d5a Thu, 15 Jan 2026 23:58:24 +0100 dgregory pushed to constant-propagation at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/23e2f825f3eecec34bc5f90b5b3435d1073069ba <a href="https://codeberg.org/mina-lang/mina/commit/23e2f825f3eecec34bc5f90b5b3435d1073069ba">23e2f825f3eecec34bc5f90b5b3435d1073069ba</a> WIP: Sketching constant propagation <![CDATA[23e2f825f3eecec34bc5f90b5b3435d1073069ba WIP: Sketching constant propagation]]> dgregory 89897300: https://codeberg.org/mina-lang/mina/commit/23e2f825f3eecec34bc5f90b5b3435d1073069ba Wed, 14 Jan 2026 20:52:20 +0100 dgregory created branch constant-propagation in mina-lang/mina https://codeberg.org/mina-lang/mina/src/branch/constant-propagation dgregory 89897288: https://codeberg.org/mina-lang/mina/src/branch/constant-propagation Wed, 14 Jan 2026 20:52:20 +0100 dgregory pushed to main at mina-lang/mina https://codeberg.org/mina-lang/mina/commit/fb2614120c0c8234a3703295535e48632a03ff69 <a href="https://codeberg.org/mina-lang/mina/commit/fb2614120c0c8234a3703295535e48632a03ff69">fb2614120c0c8234a3703295535e48632a03ff69</a> Update gradle-bsp snapshot version <![CDATA[fb2614120c0c8234a3703295535e48632a03ff69 Update gradle-bsp snapshot version]]> dgregory 81863706: https://codeberg.org/mina-lang/mina/commit/fb2614120c0c8234a3703295535e48632a03ff69 Fri, 19 Dec 2025 21:46:56 +0100 dgregory pushed to main at mina-lang/mina https://codeberg.org/mina-lang/mina/compare/d4a5423cb622c531309926f54975bafb6b770f32...830ac8d88122397927e5777348e606f419acb76b <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 <![CDATA[830ac8d88122397927e5777348e606f419acb76b Merge pull request 'Update dependency esbuild to ^0.25.11' (#666) from renovate/esbuild-0.x into main 52c02e5eced4b9126bde3c90242da745e8063333 Update dependency esbuild to ^0.25.11]]> dgregory 67335635: https://codeberg.org/mina-lang/mina/compare/d4a5423cb622c531309926f54975bafb6b770f32...830ac8d88122397927e5777348e606f419acb76b Wed, 22 Oct 2025 21:18:31 +0200 dgregory deleted branch renovate/esbuild-0.x from mina-lang/mina https://codeberg.org/mina-lang/mina dgregory 67335623: https://codeberg.org/mina-lang/mina Wed, 22 Oct 2025 21:18:27 +0200 dgregory merged pull request mina-lang/mina#666 https://codeberg.org/mina-lang/mina/pulls/666 Update dependency esbuild to ^0.25.11 <![CDATA[Update dependency esbuild to ^0.25.11]]> dgregory 67335608: https://codeberg.org/mina-lang/mina/pulls/666 Wed, 22 Oct 2025 21:18:24 +0200 dgregory deleted branch remove-meta-hardcoding-in-scope from mina-lang/mina https://codeberg.org/mina-lang/mina dgregory 63164566: https://codeberg.org/mina-lang/mina Sat, 04 Oct 2025 19:21:20 +0200 dgregory merged pull request mina-lang/mina#659 https://codeberg.org/mina-lang/mina/pulls/659 Remove the hardcoded relationship between Scope and Meta <![CDATA[Remove the hardcoded relationship between Scope and Meta]]> dgregory 63164545: https://codeberg.org/mina-lang/mina/pulls/659 Sat, 04 Oct 2025 19:21:10 +0200