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?
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