name: unison-update
description: Repair Unison definitions after update-definitions reports affected definitions that no longer typecheck. Use when an update response includes sourceCodeUpdates for broken dependents.
Unison Update
The repair loop for when mcp__unison__update-definitions returns affected definitions that no longer typecheck.
Trigger
The MCP server returns sourceCodeUpdates containing:
-- The definitions below no longer typecheck with the changes above.
-- Please fix the errors and try `update` again.
It has placed the affected code in a temporary branch for you to fix.
Workflow
- Review every affected definition in the
sourceCodeUpdatesresponse. - Fix the type errors, updating signatures where needed, and preserve existing behaviour.
- Include every fixed definition in a single
mcp__unison__update-definitionscall — any definition left out is removed from the codebase, so completeness here is not optional. - Repeat until the update succeeds.