After adding a local runtime dependency (-- : run Omni/Agent.hs) to Omni/Agentd.hs/Omni/Agentd/Daemon.hs, running typecheck.sh now emits:
jq: error (at <stdin>:1): string ("") and object ({"contents"...) cannot be added
Typecheck still succeeds, but this indicates a tooling bug in a jq expression that assumes rundeps entries are strings, while LocalRun entries are objects ({"tag":"LocalRun","contents":"..."}).
Need to fix typecheck tooling to handle both ExternalRun (string) and LocalRun object forms without emitting errors.
No activity yet.