idris-lang/Idris2

Conflicting fixity declaration in same file is not detected

andrevidela opened this issue · 0 comments

Steps to Reproduce

export infixl 7 !*>

export infixr 2 !*>

Expected Behavior

Error about conflicting fixity

Observed Behavior

Works just fine, the conflicting fixity warning triggers correctly when the operator is used, but in this case since the source file is conflicting it should be caught earlier