<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
.MsoPapDefault
{mso-style-type:export-only;
margin-top:6.0pt;
margin-right:0cm;
margin-bottom:6.0pt;
margin-left:0cm;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-GB" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-family:"Calibri","sans-serif";mso-fareast-language:EN-US">Good point! I un-commented the offending signatures and it’s still all fine. So party on!<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri","sans-serif";mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri","sans-serif";mso-fareast-language:EN-US">Simon<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri","sans-serif";mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">From:</span></b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif""> Gabor Greif [mailto:ggreif@gmail.com]
<br>
<b>Sent:</b> 01 December 2014 22:20<br>
<b>To:</b> Simon Peyton Jones<br>
<b>Cc:</b> ghc-devs@haskell.org<br>
<b>Subject:</b> Re: [commit: ghc] master: Fix the handling of instance signatures (Trac #9582, #9833) (e6a2050)<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
I tried to build HEAD to verify this, but got a linker error. IIRC when I filed this bug I provided a test case which did compile, but you had to uncomment signatures to see an error. I did not see those sigs uncommented in your repro checkin.<br>
<br>
So it might be too early for a party...<o:p></o:p></p>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
<o:p> </o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
Gabor<br>
<br>
Em segunda-feira, 1 de dezembro de 2014, Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>> escreveu:<o:p></o:p></p>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm">
<p class="MsoNormal" style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
Good point, thank you!<br>
<br>
| -----Original Message-----<br>
| From: ghc-devs [mailto:<a href="javascript:;">ghc-devs-bounces@haskell.org</a>] On Behalf Of Gabor<br>
| Greif<br>
| Sent: 01 December 2014 16:01<br>
| To: <a href="javascript:;">ghc-devs@haskell.org</a><br>
| Subject: Re: [commit: ghc] master: Fix the handling of instance<br>
| signatures (Trac #9582, #9833) (e6a2050)<br>
|<br>
| Maybe this (<a href="https://ghc.haskell.org/trac/ghc/ticket/7908" target="_blank">https://ghc.haskell.org/trac/ghc/ticket/7908</a>) is fixed too?<br>
|<br>
| Cheers,<br>
|<br>
| Gabor<br>
|<br>
| On 12/1/14, <a href="javascript:;">git@git.haskell.org</a> <<a href="javascript:;">git@git.haskell.org</a>> wrote:<br>
| > Repository : ssh://<a href="http://git@git.haskell.org/ghc" target="_blank">git@git.haskell.org/ghc</a><br>
| ><br>
| > On branch : master<br>
| > Link :<br>
| ><br>
| <a href="http://ghc.haskell.org/trac/ghc/changeset/e6a2050ebb6da316aecec66a6795715" target="_blank">
http://ghc.haskell.org/trac/ghc/changeset/e6a2050ebb6da316aecec66a6795715</a><br>
| fbab355ca/ghc<br>
| ><br>
| >>---------------------------------------------------------------<br>
| ><br>
| > commit e6a2050ebb6da316aecec66a6795715fbab355ca<br>
| > Author: Simon Peyton Jones <<a href="javascript:;">simonpj@microsoft.com</a>><br>
| > Date: Mon Dec 1 11:43:20 2014 +0000<br>
| ><br>
| > Fix the handling of instance signatures (Trac #9582, #9833)<br>
| ><br>
| > This finally solves the issue of instance-method signatures that<br>
| are<br>
| > more polymorphic than the instanted class method.<br>
| ><br>
| > See Note [Instance method signatures] in TcInstDcls.<br>
| ><br>
| > A very nice fix for the two Trac tickets above.<br>
| ><br>
| ><br>
| >>---------------------------------------------------------------<br>
| ><br>
| > e6a2050ebb6da316aecec66a6795715fbab355ca<br>
| > compiler/typecheck/TcBinds.lhs | 18 ++-<br>
| > compiler/typecheck/TcClassDcl.lhs | 16 +--<br>
| > compiler/typecheck/TcInstDcls.lhs | 121<br>
| > ++++++++++++---------<br>
| > docs/users_guide/glasgow_exts.xml | 29 ++++-<br>
| > .../tests/indexed-types/should_compile/T9582.hs | 14 +++<br>
| > testsuite/tests/indexed-types/should_compile/all.T | 1 +<br>
| > testsuite/tests/polykinds/T9833.hs | 18 +++<br>
| > testsuite/tests/polykinds/all.T | 2 +<br>
| > testsuite/tests/typecheck/should_fail/T6001.stderr | 9 +-<br>
| > testsuite/tests/typecheck/should_fail/T7545.hs | 1 +<br>
| > testsuite/tests/typecheck/should_fail/T7545.stderr | 5 -<br>
| > testsuite/tests/typecheck/should_fail/all.T | 2 +-<br>
| > 12 files changed, 157 insertions(+), 79 deletions(-)<br>
| ><br>
| > Diff suppressed because of size. To see it, use:<br>
| ><br>
| > git diff-tree --root --patch-with-stat --no-color --find-copies-<br>
| harder<br>
| > --ignore-space-at-eol --cc e6a2050ebb6da316aecec66a6795715fbab355ca<br>
| > _______________________________________________<br>
| > ghc-commits mailing list<br>
| > <a href="javascript:;">ghc-commits@haskell.org</a><br>
| > <a href="http://www.haskell.org/mailman/listinfo/ghc-commits" target="_blank">
http://www.haskell.org/mailman/listinfo/ghc-commits</a><br>
| ><br>
| _______________________________________________<br>
| ghc-devs mailing list<br>
| <a href="javascript:;">ghc-devs@haskell.org</a><br>
| <a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank">http://www.haskell.org/mailman/listinfo/ghc-devs</a><o:p></o:p></p>
</blockquote>
</div>
</div>
</div>
</body>
</html>