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.
0

Please sign in to leave a comment.