<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">No: I don't know of anyone planning to implement this proposal -- indeed I had forgotten about it -- so it's waiting for someone to take it on.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">There are some slightly tricky loose ends around defaulting that it'd be good to nail down first: <a href="https://gitlab.haskell.org/ghc/ghc/-/issues/20686">https://gitlab.haskell.org/ghc/ghc/-/issues/20686</a></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 26 Jul 2023 at 11:00, Benjamin Redelings <<a href="mailto:benjamin.redelings@gmail.com">benjamin.redelings@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi,<br>
<br>
If I understand correctly, the traditional defaulting rules prevent <br>
defaulting variables with constraints like (Num a, Convertible a <br>
Double), but the NamedDefaults proposal would allow defaulting a ~ <br>
Double in this case due to the relaxed defaulting rules in section 2.5 <br>
of the proposal:<br>
<br>
<a href="https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0409-exportable-named-default.rst#id2" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0409-exportable-named-default.rst#id2</a><br>
<br>
1. Is there any plan to start implementing NamedDefaults?  I saw the <br>
comment from Simon P-J that it would not be fun to implement because it <br>
might require orphan default declarations... so perhaps there's no plan <br>
to implement this?<br>
<br>
2. Would it be worth adding a separate LANGUAGE option that just <br>
implements the relaxed defaulting rules in section 2.5? Specifically (a) <br>
allowing variables with multiparameter constraints and (b) allowing <br>
variables with constraints that are not in the Prelude.<br>
<br>
3. Am I correct in assuming that the relaxed defaulting rules require <br>
NamedDefaults to be enabled in the importing module, and not just in the <br>
imported model?<br>
<br>
-BenRI<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>