4 Jan
2012
4 Jan
'12
8:30 p.m.
On Wed, Jan 4, 2012 at 2:29 AM, Shakthi Kannan
#2 Is there a way to cross-check if the defined dependencies are in fact correct, or is it left to the package owner to write them?
Generally speaking, this is undecidable (if I remember my complexity classes correctly...). The semantics of a function may change between versions without altering any aspect of the API. (eg: imagine succ x = x + 2 changing to succ x = x + 1 during a bug fix). Someone did write a tool that checks a library against the package version policy, though (based on changes to the API, exposed functions, etc.). I can't recall the name, but someone else on here might. --Rogan