Dear all,

the package versioning policy specifies that changing the type of any entity makes a change of the B number in A.B.C necessary.

However, it seems to me that a small selection of type changes don't break dependent code. In particular, consider the following example, where I drop a Typeable class constraint:

  - foo :: Typeable a => AddHandler a -> NetworkDescription (Event a)
  + foo :: AddHandler a -> NetworkDescription (Event a)

Can removing a type class constraint on a function break dependent code? Should I change the B number or just the C in version A.B.C when introducing this change?


Best regards,
Heinrich Apfelmus

--
http://apfelmus.nfshost.com


_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to