<div dir="ltr">To be nitpicky myFunction >>= \() -> x would break. It's unlikely that anyone uses it like this, but I've been on the safe side in the past and major bumped for cases like this. I think it's unwise to take shortcuts in the other direction.<div><br></div><div>- Adam</div><div><br><div><br></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Dec 15, 2014 at 10:44 AM, Johan Tibell <span dir="ltr"><<a href="mailto:johan.tibell@gmail.com" target="_blank">johan.tibell@gmail.com</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I think the question is: can this change cause existing code to stop compiling (perhaps assuming people aren't using -Werror)? I don't think it can but perhaps generalizing the type could make type inference fail somewhere due to an ambiguous type.<div><br></div><div>We really need a PVP guide that just lists lots of examples, each with a note of what kind of change it is (i.e. major, minor, or patch).</div></div><div class="gmail_extra"><br><div class="gmail_quote"><div><div class="h5">On Mon, Dec 15, 2014 at 10:00 AM, Michael Snoyman <span dir="ltr"><<a href="mailto:michael@snoyman.com" target="_blank">michael@snoyman.com</a>></span> wrote:</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">I'm a little bit uncertain of the PVP guidelines in a certain case[1], so I'd like to get some guidance/clarity. Suppose I have a library which provides the function:<div><br></div><div>myFunction :: IO ()</div><div>myFunction = forever $ putStrLn "Still here" >> threadDelay 10^6</div><div><br></div><div>Later, I realize (or someone points out to me) that I've over-specified the type signature, and really myFunction should be:</div><div><br></div><div>    myFunction :: IO a</div><div><br></div><div>In this case, does the PVP specify that we should have a minor or a major version bump? I'm not certain if this counts as a breaking change or not.<br><div><br></div><div>[1] <a href="https://github.com/fpco/streaming-commons/pull/13" target="_blank">https://github.com/fpco/streaming-commons/pull/13</a></div></div>
<br></div></div>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div></div>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div></div>