Skip to content

Release v4.24.0

Choose a tag to compare

@github-actions github-actions released this 24 Sep 09:40
97377f1

Folder workspaces now report conflicting owners precisely, and folder conversion is proven to preserve complete semantics and comments.

Added

  • A workspace transaction that finds two files declaring the same thing returns a typed ConflictingOwner conflict naming both paths, instead of a generic compilation failure. Ownership belongs to the file that declares a member, never to a module or feature header restated to place a child (#137)
  • Specs pin the round trip of a commented model between a single document and a folder: same semantic revision, same identities, same canonical print, and every comment kept. A folder write is rejected before touching disk when the source changed since the proposal (#137)

Changed

  • PlayFileWriter.Expand uses the same folder-layout projection as workspace layout changes. folders.md explains which parts of PlayFileCompiler.CompileFolder and WriteTo stay independent of the workspace and why (#137)