How to override inference rules

I want to reuse an expression from base language but with an expanded typesystem. In detail the NotExpression should be usable with more types than boolean. So I created a new inference rule with the overrides attribute set to true. While error messages from the new rule are shown, the equatations of the original rule are still used. I do not really understand the meaning of the attribute.

Is there any way to disable inference rules in an imported language?
1 comment
The override flag tells the typechecker to skip typing rules applicable for superconcepts of the applicable concept.

Probably you should create your own expression for your purposes.

Please sign in to leave a comment.