search

math-comp / hierarchy-builder

High level commands to declare a hierarchy based on packed classes
MIT License
95 stars 20 forks source link

HB should give an error on non existent key. #404

Open hivert opened 9 months ago

hivert commented 9 months ago

In the case of misspelling of the key such as in

#[key="Tmiss"]
HB.mixin Record Foo T := {}.

I think HB should not stay silent.