[Haskell-cafe] PVP question

Johan Tibell johan.tibell at gmail.com
Mon Dec 15 09:44:18 UTC 2014

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.

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).

On Mon, Dec 15, 2014 at 10:00 AM, Michael Snoyman <michael at snoyman.com>
> 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:
> myFunction :: IO ()
> myFunction = forever $ putStrLn "Still here" >> threadDelay 10^6
> Later, I realize (or someone points out to me) that I've over-specified
> the type signature, and really myFunction should be:
>     myFunction :: IO a
> 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.
> [1] https://github.com/fpco/streaming-commons/pull/13
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20141215/1bbf8d88/attachment.html>

More information about the Haskell-Cafe mailing list