Stream: compiler development

Topic: Getting error problem from `Types`


view this post on Zulip Agus Zubiaga (Dec 29 2023 at 16:50):

After making some changes to load, I managed to make some test modules with inline imports load and canonicalize correctly (yay!). However, if I include the Dict builtin, it hits this todo with Dict.findHelper and TypeTag::Error.

I likely missed something while rearranging things in load/can, but I think printing the error might help find the root cause. The docs for TypeTag::Error mention "The problem is at the index of the type tag", but what array am I supposed to get that from?

view this post on Zulip Agus Zubiaga (Dec 29 2023 at 17:17):

Ok, found the issue! I forgot to update the Dict builtin to use the new import syntax, and currently I'm just ignoring the entries in the old imports header. So it was failing to lookup U64 from Num, because builtins have to explicitly import other builtins.

Still curious about how I'd get the Problem for Error, but not a blocker :smile:


Last updated: Jul 06 2025 at 12:14 UTC