Greg Weber <greg <at> gregweber.info> writes: > > > > > No, I don't think anybody has a satisfactory approach to > > updating polymorphic/higher-ranked fields. (DORF mentions > > one, but it's a ghastly hack. > > So are the proposals dead until this is tackled, or should SORF/DORF > propose not to allow that? >
That's an important question. I've asked in the DORF proposal how big is the demand to update h-r fields? Note that is something you can do currently with H98 records/fields. Is it good enough to be able to extract and use h-r fields in polymorphic contexts? (Both SORF and DORF can do that.) Is it good enough to be able to create records with h-r fields (using the data constructor)? (Both SORF and DORF can do that.) AntC _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users