Stream: bugs

Topic: Unification Errors

view this post on Zulip Fabian Schmalzried (Jan 11 2026 at 20:04):

I found some bugs related to my PR #8967:
The bug(s) can be overved when running zig build snapshot -- test/snapshots/repl/list_fold_simple.md on this PR.
One type is "List" and the other is "ontinuation". I traced this back to the fact that a diffent module env is used, so the Ident.Idx is not the right for this module env, so it returns garbage data.

I changed this to use the root_env instead of env when doint the unification but that lead to the next TypeMissmatch:
Now the TypeMissmatch is "List" vs "Builtin.List".

I'm not sure how to fix this.

view this post on Zulip Anton (Jan 14 2026 at 07:17):

I'll take a look at this

view this post on Zulip Anton (Jan 14 2026 at 07:27):

I am going to add some benchmarks first so we can get an idea of how perf is impacted across a range of programs.

Last updated: Feb 20 2026 at 12:27 UTC