Operator priorities in GHC.TypeLits
Hello, GHC.TypeLits currently has no operator priorities; 2 + 2 * 2 is parsed as (2 + 2) * 2. Is it OK to add priorities as in http://lpaste.net/93745? This seems to work but I'm bit surprised it was not done before. The priorities are the same as for operators in Prelude. Unfortunately, this does not handle ~, which still needs brackets in 2 ~ (1+1); I don't know what to do about it. K.
Hello, thanks for pointing this out. I've added the precedences. -Iavor On Wed, Oct 2, 2013 at 3:39 AM, Krzysztof Gogolewski < krz.gogolewski@gmail.com> wrote:
Hello,
GHC.TypeLits currently has no operator priorities; 2 + 2 * 2 is parsed as (2 + 2) * 2. Is it OK to add priorities as in http://lpaste.net/93745? This seems to work but I'm bit surprised it was not done before. The priorities are the same as for operators in Prelude. Unfortunately, this does not handle ~, which still needs brackets in 2 ~ (1+1); I don't know what to do about it.
K.
participants (2)
-
Iavor Diatchki -
Krzysztof Gogolewski