Ticket #86 (new defect)

Opened 5 years ago

some record updates reported as ambiguous

Reported by: ross Owned by: nobody
Priority: major Milestone:
Component: hugs Version: 200609
Keywords: Cc:

Description

Given 

data Foo = Bar { fld :: IO [String] }

g _ = id undefined { fld = e }
  where e = return []

Hugs reports that g has the ambiguous type Monad a => b -> Foo.

Note: See TracTickets for help on using tickets.