Repository navigation

DDIR: `enum` declares sums, and `type` declares erased aliases - #1087

Merged

frankmcsherry merged 2 commits into

TimelyDataflow:master-nextfrom

frankmcsherry:ddir-enum-type

Nov 13, 2026

Merged

DDIR: `enum` declares sums, and `type` declares erased aliases#1087
frankmcsherry merged 2 commits into
TimelyDataflow:master-nextfrom
frankmcsherry:ddir-enum-type

Commits on Nov 13, 2026
- DDIR: `enum` declares sums, and `type` declares erased aliases
  
  frankmcsherry
  and
  codex
  committed
  3f9ebfb
- DDIR: refuse declaring built-in shapes, and point any malformed alias at `enum`
  
  frankmcsherry
  and
  claude
  committed
  18e1162