Overview

The diff.update command now shows the full structure of new types and abilities, not just their names.

Before:

New definitions:
  + ability Counter
  + structural type Person

After:

New definitions:
  + ability Counter where
  +   increment : {Counter} Nat
  +   getCount : {Counter} Nat
  + structural type Person = { name : Text, age : Nat }

This matches the behavior for updated types, which already showed their full structure with inline diffs.

Implementation approach and notes

Changed renderNewTypes in OutputMessages.hs to use DeclPrinter.prettyDecl (full declaration rendering) instead of DeclPrinter.prettyDeclOrBuiltinHeader (header only). This required threading TypeReferenceId through from DiffUpdate.hs and updating the ShowUpdateDiff type in Output.hs.

Test coverage

• Added test case to unison-src/transcripts/idempotent/diff-update.md that covers new structural types and abilities

Loose ends

None.

Final checklist

• PR title describes the change
• Transcript demonstrates the changed behavior