<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
<body bgcolor="#FFFFFF" text="#000000">
fixity declaration has form <b>infix(l|r)? [Digit]</b> in haskell.
I'm pretty sure, that this is not enough for complicated cases.
Ideally, fixity declarations should have form <b>infix(l|r)?
[Digit](\.(+|-)[Digit])</b>* , with implied infinitely long
repeated (.0) tail. This will allow fine tuning of operator
priorities and much easier priority selection. For example, it may
be assumed, that bit operations like (.&.) operator have
hightest priority and have priorities like 9.0.1 or 9.0.2,
anti-lisps like ($) have lowest priority like 0.0.1, control
operators have base priority 1.* and logic operations like
(&&) have priority of 2.* and it will be possibly to add new
operators between or above all (for example) control operators
without moving fixity of other ones.<br>
Agda2 language supports wide priority range, but still without
'tails' to my knowledge. Is there any haskell-influenced language or
experimental syntactic extension that address the issue?<br>