Error when the subject is not explicit

math-comp / hierarchy-builder

High level commands to declare a hierarchy based on packed classes

MIT License

95 stars 20 forks source link

Open CohenCyril opened 5 months ago

CohenCyril commented 5 months ago

Declarations like

HB.instance Defintiion _ : MyClass _ := MyClass.Build _ ...

should be detected and send error message

Error: an explicit subject must be provided.