→ ~/C/g/r/jsoo-react on Type-safe-html-tags ✗ make
File "test.ml", lines 109-111, characters 2-10:
109 | ..((div ~cols:1 ~href:(("https://example.com")
110 | [@reason.raw_literal "https://example.com"]) ~children:[foo] ())
111 | [@JSX ])
Error: prop 'cols' isn't a valid prop for a 'div'
TypeScript version, from the current type-checked from TS
Type '{ children: Element[]; classId: string; }' is not assignable to type 'DetailedHTMLProps<ObjectHTMLAttributes<HTMLObjectElement>, HTMLObjectElement>'.
Property 'classId' does not exist on type 'DetailedHTMLProps<ObjectHTMLAttributes<HTMLObjectElement>, HTMLObjectElement>'. Did you mean 'classID'?
Errors look like this
TypeScript version, from the current type-checked from TS
We could aim to have a similar output as our type-checker but I believe is rather useless, the output on the labelled argument being miss-spelt or unknown looks like https://rescript-lang.org/try?code=DwIwrgLhD2B2AEAbaiCGBeAzAPngbwFsBnAcwFpsAlAU1QGMIA6IiAJwEtYSBfeYAenBQ42AFBA
Maybe we could aim for something more simple:
and including a fancy Levenshtein distance with the rest of the props from the element:
Maybe you mean xxxx
.