<div dir="ltr"><div>Never mind, I see it gets the required RdrName, e.g.listTyCon_RDR<br><br></div>Alan<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jan 1, 2015 at 1:03 PM, Alan & Kim Zimmerman <span dir="ltr"><<a href="mailto:alan.zimm@gmail.com" target="_blank">alan.zimm@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div><div><div>I am busy checking that I can exactprint all the RdrNames produced by the parser, and came across this<br><br>isBuiltInOcc_maybe occ<br> = case occNameString occ of<br> "[]" -> choose_ns listTyCon nilDataCon<br> ":" -> Just consDataConName<br> "[::]" -> Just parrTyConName<br> "(##)" -> choose_ns unboxedUnitTyCon unboxedUnitDataCon<br> "()" -> choose_ns unitTyCon unitDataCon<br> '(':'#':',':rest -> parse_tuple UnboxedTuple 2 rest<br> '(':',':rest -> parse_tuple BoxedTuple 2 rest<br> _other -> Nothing<br><br></div>The above code does not allow any spaces between '[' and ']', or '[:' and ':]' (for example)<br><br></div>However, the parse rules DO allow spaces<br><br> | '[' ']' {% ams (sLL $1 $> $ listTyCon_RDR) [mos $1,mcs $2] }<br> | '[:' ':]' {% ams (sLL $1 $> $ parrTyCon_RDR) [mo $1,mc $2] }<br><br></div>Is this a problem?<span class="HOEnZb"><font color="#888888"><br><br></font></span></div><span class="HOEnZb"><font color="#888888">Alan<br></font></span></div>
</blockquote></div><br></div>