<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2015-10-01 13:23 GMT+02:00 Matthew Pickering <span dir="ltr"><<a href="mailto:matthewtpickering@gmail.com" target="_blank">matthewtpickering@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I think that the current state of pattern synonym signatures is quite<br>
confusing, especially regarding the constraints. [...]</blockquote><div><br></div><div>Thanks to an off-list email from Matthew (thanks for that!) I found out that</div><div><br></div><div>   pattern FOO = 1234 :: Int</div><div><br></div><div>behaves differently from</div><div><br></div><div>   pattern FOO :: Int</div><div>   pattern FOO = 1234</div><div><br></div><div>In the former case one has to use ScopedTypeVariables, in the latter case it works without it. This is not really intuitive, although I'll have to admit that I've had only a cursory look at the "Typing of pattern synonyms" section in the GHC manual. But even after re-reading it, it's not really clear where the difference in the above example comes from.</div><div><br></div><div>So in a nutshell: +1 for the "quite confusing" argument.</div><div><br></div><div>Cheers,</div><div>   S.</div></div></div></div>