Ticket #47 (closed bug report: fixed)
NamedFieldPuns don't work with infix record selectors
| Reported by: | sebf@… | Owned by: | nibro |
|---|---|---|---|
| Priority: | major | Milestone: | Full code support |
| Component: | parser | Version: | 0.5.6 |
| Keywords: | Cc: | sebf@… |
Description
When using operators as record fields these cannot be initialised using the Cons {...} syntax:
{-# LANGUAGE NamedFieldPuns #-}
data RecordWithInfixSelector = Cons { (<>) :: Int -> Int }
idRecord = Cons { (<>) = id }
Change History
Note: See
TracTickets for help on using
tickets.
