[ghc-steering-committee] Defaulting rules

Thu Feb 9 11:17:31 UTC 2017

Well not easy for /me/ to fix.  But perhaps easy for the ghc-steering-committee mail forwarding agent to fix?

S

From: Simon Marlow [mailto:marlowsd at gmail.com]
Sent: 09 February 2017 11:14
To: Simon Peyton Jones <simonpj at microsoft.com>
Subject: Re: [ghc-steering-committee] Defaulting rules

That was fine.  Oh well, I guess it's not an easy thing to fix then.

On 9 February 2017 at 10:50, Simon Peyton Jones <simonpj at microsoft.com<mailto:simonpj at microsoft.com>> wrote:
Direct to you!

From: Simon Marlow [mailto:marlowsd at gmail.com<mailto:marlowsd at gmail.com>]
Sent: 09 February 2017 08:59
To: Simon Peyton Jones <simonpj at microsoft.com<mailto:simonpj at microsoft.com>>
Subject: Re: [ghc-steering-committee] Defaulting rules

Hi Simon, email from you is being marked as spam by gmail.  I only just discovered this, and I have several of your messages in my spam folder.  Gmail shows the following diagnostic:

[cid:image001.png at 01D282C6.19AF2590]
Which suggests that perhaps it's a problem at your end, maybe you could get someone to look into it?

Cheers
Simon

On 3 February 2017 at 17:38, Simon Peyton Jones <simonpj at microsoft.com<mailto:simonpj at microsoft.com>> wrote:
Dear GHC steering committee
Advice needed.

•         Some time ago amindfv submitted https://ghc.haskell.org/trac/ghc/ticket/12923.  He offered a patch 8 weeks ago.

•         There wasn’t much discussion about the proposed change, nor did anyone ask him to undertake the GHC proposals process

•         It’s a small change, but it is a user-facing one

•         The design isn’t obvious to me; see comment:12.

•         We could change it now and change it again later; it’s a corner case

•         It matters to him and his customers.
So, should we let it in?
It’s about the defaulting mechanism.  With an unsolved constraint (C alpha) where alpha is otherwise unconstrained, GHC will try a series of types to fill in alpha.  We extended the rules with ExtendedDefaultRules.  He wants a further extension.
I hate slipping things in late, actually after the deadline; but the fault is partly ours for not proactively warning people with open patches.
Opinions?
Simon

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee at haskell.org<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fhaskell.org&data=02%7C01%7Csimonpj%40microsoft.com%7Cc58d7b3196534483174d08d450c9d937%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636222275243804818&sdata=l%2FFLO9HzEd9vMnll8bz%2F4c3Ip43M4rlVwIOOAlc1NA8%3D&reserved=0>
https://mail.haskell.org/cgi-<https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-&data=02%7C01%7Csimonpj%40microsoft.com%7Cc58d7b3196534483174d08d450c9d937%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636222275243804818&sdata=57LE%2BxHD12fDL3PI5B6CzpmFAOYF9p1qF8Zw7wezkto%3D&reserved=0>bin/mailman/listinfo/ghc-steering-committee

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20170209/b5f722a5/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.png
Type: image/png
Size: 12950 bytes
Desc: image001.png
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20170209/b5f722a5/attachment-0001.png>