[Hugs] #86: some record updates reported as ambiguous

Hugs trac at galois.com
Tue Oct 7 18:28:57 EDT 2008


#86: some record updates reported as ambiguous
--------------------+-------------------------------------------------------
 Reporter:  ross    |       Owner:  nobody
     Type:  defect  |      Status:  new   
 Priority:  major   |   Milestone:        
Component:  hugs    |     Version:  200609
 Keywords:          |  
--------------------+-------------------------------------------------------
 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}}}.

-- 
Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/86>
Hugs <http://www.haskell.org/hugs/>
Hugs 98, an interpreter for Haskell


More information about the Hugs-Bugs mailing list