@s.* PPX not usable on root schema type

[benadamstyles]

Firstly, thanks so much for Sury. It's a revelation!

We're having one issue though:

@schema
type t = @s.strict {
  email: string,
  name: string,
}

leads to:

An inline record type declaration is only allowed in a variant constructor's declaration

The same happens with @s.meta() and others.

Am I missing something obvious?

I tried this but it doesn't actually apply the strictness:

@schema @s.strict
type t = {
  email: string,
  name: string,
}

[DZakh]

Glad to hear. I'll double-check 🫡

[DZakh]

Interesting, compiler prevents adding attributes in front of {

It'll require a PPX change to support this case instead

@schema @s.strict
type t = {
  email: string,
  name: string,
}

I'm currently focusing on other changes, so I'm not sure when I'll address this. As a workaround, you can use:

@schema
type t = {
  email: string,
  name: string,
}
let schema = schema->S.strict

Also, there's S.global or something like this to set S.strict for all records by default.

[zth]

It should be allowed to place attributes there. Might be worth logging an issue in the compiler repo, should just be a matter of fixing the parser.