Skip to content

Conversation

@mnahkies
Copy link
Owner

  • introduce a new IRModelRecord type, to model Record / Map
    types more specifically
  • use this to simplify the handling of additionalProperties during schema/type generation
  • emit Record<T,U> when possible

- introduce a new `IRModelRecord` type, to model `Record` / `Map`
  types
- use this to simplify the handling of `additionalProperties`
- emit `Record<T,U>` when possible
}

case "record": {
logger.error(
Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

unreleased changes in #381 overlooked additionalProperties - to be investigated separately

@mnahkies mnahkies marked this pull request as ready for review December 24, 2025 12:08
@mnahkies mnahkies enabled auto-merge (squash) December 24, 2025 12:08
@mnahkies mnahkies merged commit 85cf790 into main Dec 24, 2025
40 of 41 checks passed
@mnahkies mnahkies deleted the mn/feat/internal-record-type branch December 24, 2025 12:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants