(=~=) is missing a fixity declaration

nick8325 / quickspec

Equational laws for free

BSD 3-Clause "New" or "Revised" License

250 stars 24 forks source link

(=~=) is missing a fixity declaration #60

Closed isovector closed 4 years ago

isovector commented 4 years ago

(=~=) is inferred as infixl 9 today, which makes it pretty useless when writing expressions by hand. The quickspec generated output will always parenthesize expressions, so it's not an issue there.

The right fixity should be infix 4. I'll try to send a PR later today.