Fix typecheck.sh jq parsing for LocalRun rundeps

t-795·WorkTask·
·
·
Created4 days ago·Updated4 days ago·pipeline runs →

Dependencies

Description

Edit

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.

Timeline (0)

No activity yet.