<div dir="ltr"><div style><span class="" style="margin:0px;padding:0px;color:rgb(0,0,0);font-size:13px;line-height:16px"><font face="arial, helvetica, sans-serif">Hello,</font></span></div><div style><span class="" style="margin:0px;padding:0px;color:rgb(0,0,0);font-size:13px;line-height:16px"><font face="arial, helvetica, sans-serif"><br>
</font></span></div><div style><span class="" style="margin:0px;padding:0px;color:rgb(0,0,0);font-size:13px;line-height:16px"><font face="arial, helvetica, sans-serif">I was just doing some work with Template Haskell and I noticed that the AST does not have support for record puns and wild-cards. I know that these could be desugared into ordinary record patterns but I think that it would be more convenient for users (and also more consistent with the rest of the AST) if we provided direct support for them.</font></span></div>
<div style><span class="" style="margin:0px;padding:0px;color:rgb(0,0,0);font-size:13px;line-height:16px"><font face="arial, helvetica, sans-serif"><br></font></span></div><div style><span class="" style="margin:0px;padding:0px;color:rgb(0,0,0);font-size:13px;line-height:16px"><font face="arial, helvetica, sans-serif">So I propose to change:</font></span></div>
<div style><span class="" style="margin:0px;padding:0px;color:rgb(0,0,0);font-family:monospace;font-size:13px;line-height:16px"><br></span></div><font face="courier new, monospace">type FieldPat = (Name, Pat)</font><div style>
<span class="" style="margin:0px;padding:0px;color:rgb(0,0,0);font-family:monospace;font-size:13px;line-height:16px"><span style="background-color:rgb(240,240,240)"><br></span></span></div><div style><span class="" style="margin:0px;padding:0px;color:rgb(0,0,0);font-size:13px;line-height:16px"><span style="background-color:rgb(240,240,240)"><font face="arial, helvetica, sans-serif">to</font></span></span></div>
<div style><span class="" style="margin:0px;padding:0px;color:rgb(0,0,0);font-family:monospace;font-size:13px;line-height:16px"><span style="background-color:rgb(240,240,240)"><br></span></span></div><font face="courier new, monospace">data FieldPat = RecordFileldP Name Pat -- x = P<br>
| RecordPunP Name -- x<br> | RecordWildP -- ..</font><div style><span class="" style="margin:0px;padding:0px;color:rgb(0,0,0);font-family:monospace;font-size:13px;line-height:16px"><span style="background-color:rgb(240,240,240)"><br>
</span></span></div><div style><font color="#000000" face="arial, helvetica, sans-serif"><span style="line-height:16px">Would there be any objections to doing so? If not, I'd be happy to have a go at making the change.</span></font></div>
<div style><font color="#000000" face="arial, helvetica, sans-serif"><span style="line-height:16px"><br></span></font></div><div style><font color="#000000" face="arial, helvetica, sans-serif"><span style="line-height:16px">-Iavor</span></font></div>
<span class="" style="margin:0px;padding:0px;color:rgb(0,0,0);font-family:monospace;font-size:13px;line-height:16px"></span></div>