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

[Simon Peyton Jones]

We have discussed!  Richard will post our conclusions.

Simon

|  -----Original Message-----
|  From: Eric Seidel <eric at seidel.io>
|  Sent: 09 July 2021 05:38
|  To: Simon Peyton Jones <simonpj at microsoft.com>; Richard Eisenberg
|  <rae at richarde.dev>
|  Cc: ghc-steering-committee at haskell.org
|  Subject: Re: [ghc-steering-committee] #409: Exportable named defaults,
|  Recommendation: Partial Accept
|  
|  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%2Fgi
|  > | thub.com
|  > |  %2Fghc-proposals%2Fghc-proposals%2Fpull%2F409%23issuecomment-
|  > |
|  > | 864809405&data=04%7C01%7Csimonpj%40microsoft.com%7C5126784da5034
|  > | 56fb1bb0
|  > | 8d93b760db0%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63760620098
|  > | 6942832%
|  > | 7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6
|  > | Ik1haWwi
|  > | LCJXVCI6Mn0%3D%7C3000&sdata=RqPy7fhDfWRyIdz7NEMWWwuWKLRRom8c%2BC
|  > | 3p%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%2Fma
|  > | il.haske
|  > |  ll.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-
|  > |
|  > | committee&data=04%7C01%7Csimonpj%40microsoft.com%7C5126784da5034
|  > | 56fb1bb0
|  > | 8d93b760db0%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63760620098
|  > | 6942832%
|  > | 7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6
|  > | Ik1haWwi
|  > | LCJXVCI6Mn0%3D%7C3000&sdata=ePQduxulLz%2FTmpGhfRjKxRJ1bRyRdorYEY
|  > | njyR96xb
|  > |  w%3D&reserved=0
|  >