OpenAPI extensions missing from package org.openapis.v3?

[nocquidant]

Hi, OpenAPI allows extensions, for instance for the AWS API Gateway. But I think the current implementation doesn't include them.

For example, I wanted to write something like this:

amends "@openapi/PathItem.pkl"
import "@openapi/Reference.pkl"
import "@openapi/Schema.pkl"
import "../integ/LambdaIntegration.pkl"

get {
  responses {
    ["200"] {
      description = "A hello message"
      content {
        ["application/json"] { schema = new Reference { `$ref` = "#/components/schemas/Hello" } }
      }
    }
  }
  ["x-amazon-apigateway-integration"] = lambdaIntegration()
}

And this produces the following error:

–– Pkl Error ––
Object of type `org.openapis.v3.Operation` cannot have an entry.

9 | ["x-amazon-apigateway-integration"] = new LambdaIntegration {

It looks like a declaration is missing in PathItem to take extensions into account.
And I think I cant extend a class which is not declared opened...

Thanks
--nick