Ticket #95 (new defect)

Opened 4 years ago

local fixity declarations cause static errors

Reported by: guest Owned by: nobody
Priority: major Milestone:
Component: hugs Version: 200609
Keywords: fixity declarations Cc:

Description

Declarations such as

newExp (*) a c n
  = let
      infixl 7 *
    in
    a ^ n * c

work well with GHC but Hugs complains that "*" is not defined.

The Report is not explicit about this, at least I couldn't find such case discussed there. But as a fixity change for an operator introduced as a formal parameter is perfectly reasonable and safe, I think that this should be legal.

Härmel Nestra (harmel.nestra@…)

Note: See TracTickets for help on using tickets.