[ghc-steering-committee] #409: Exportable named defaults, Recommendation: Partial Accept

[Eric Seidel]

Simon, Richard, have you had a chance to discuss? If not, I'd be happy to set up a call between the three of us.

On Wed, Jun 30, 2021, at 01:36, Simon Peyton Jones wrote:
> OK i've added a comment to explain the delay. Richard, you and I can discuss.
> 
> Simon
> 
> |  -----Original Message-----
> |  From: ghc-steering-committee <ghc-steering-committee-bounces at haskell.org> On
> |  Behalf Of Eric Seidel
> |  Sent: 30 June 2021 04:19
> |  To: ghc-steering-committee at haskell.org
> |  Subject: Re: [ghc-steering-committee] #409: Exportable named defaults,
> |  Recommendation: Partial Accept
> |  
> |  On Tue, Jun 29, 2021, at 22:38, Richard Eisenberg wrote:
> |  > Just to chime in now that I'm back in action: I'm reasonably happy
> |  > with the final result here
> |  
> |  With Richard in support, that leaves Simon PJ opposed to explicit imports
> |  [1]. So we have Richard opposed to implicit imports, Simon opposed to
> |  explicit imports, and the rest of us (I believe) amenable to either.
> |  
> |  I think we have two options at this point: we can keep trying to achieve
> |  consensus, or we can take a vote. Richard, Simon, since the two of you seem
> |  to have the strongest opinions on the import question, do you think we can
> |  reach a consensus here? I'm happy to set up a call if it would help to
> |  discuss things live.
> |  
> |  > but still curious about whether the new warning will be on by default or
> |  not.
> |  
> |  I believe it should be off by default. The warning would interfere with
> |  Prelude replacements (and the Prelude itself, should it adopt
> |  ExportedDefaults), which I view as the biggest usecase for these extensions.
> |  
> |  Thanks!
> |  Eric
> |  
> |  [1]:
> |  https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com
> |  %2Fghc-proposals%2Fghc-proposals%2Fpull%2F409%23issuecomment-
> |  864809405&data=04%7C01%7Csimonpj%40microsoft.com%7C5126784da503456fb1bb0
> |  8d93b760db0%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637606200986942832%
> |  7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwi
> |  LCJXVCI6Mn0%3D%7C3000&sdata=RqPy7fhDfWRyIdz7NEMWWwuWKLRRom8c%2BC3p%2BFYz
> |  H4Q%3D&reserved=0
> |  _______________________________________________
> |  ghc-steering-committee mailing list
> |  ghc-steering-committee at haskell.org
> |  https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske
> |  ll.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-
> |  committee&data=04%7C01%7Csimonpj%40microsoft.com%7C5126784da503456fb1bb0
> |  8d93b760db0%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637606200986942832%
> |  7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwi
> |  LCJXVCI6Mn0%3D%7C3000&sdata=ePQduxulLz%2FTmpGhfRjKxRJ1bRyRdorYEYnjyR96xb
> |  w%3D&reserved=0
>