Repository navigation

refactor(core): DType.Extension carries an ExtensionId, not a String - #626

Merged

dfa1 merged 3 commits into

mainfrom

refactor/extension-id-typed

Nov 1, 2026

Merged

refactor(core): DType.Extension carries an ExtensionId, not a String#626
dfa1 merged 3 commits into
mainfrom
refactor/extension-id-typed

Commits on Nov 1, 2026
- test: simplify the extension examples and pin their null rows
  
  dfa1
  and
  claude
  committed
  e6da57a
- refactor(core): DType.Extension carries an ExtensionId, not a String
  
  dfa1
  and
  claude
  committed
  196977d
- fix: review findings on the ExtensionId change
  
  dfa1
  and
  claude
  committed
  aeaef04