Distinguish SUT-type unification errors - Githubissues

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

https://ocaml-gospel.github.io/ortac/

MIT License

38 stars 10 forks source link

Distinguish SUT-type unification errors #149

Closed shym closed 1 year ago

shym commented 1 year ago

Unification of the SUT type is used in two different contexts:

when handling a value, to know if its SUT-type argument has a compatible type with the one currently configured;
when handling the declaration of the SUT type itself. In the first case, we just want to skip the value with a warning; in the second case, we need to error out

Consequently:

Add a new kind of error
Feed unify with the information to know in which case we are

I’m a bit unsure about the phrasing of the error message, though.

Closes #133

shym commented 1 year ago

As CI also was happy, I merged it then.