<div dir="ltr"><div><div><div><div><div><div><div><div><div><div><div>Dear Cafe,<br><br></div>I was wondering if there exists a tool to approximate what would be the minimal versions of the dependencies required by a package.<br>
<br></div>I know that calculating this exactly is a bit intractable, but I was considering whether a tool that works as follows would work:<br><br></div>1) Compile the package with known to work dependencies<br></div>2) For each version of dependency as d:<br>
</div>        For each function in d used by My Package:<br></div>             * Perform unification of the resulting type when compiled with known to work dependencies<br></div>               and the type exported by the api of the version of the dependency in consideration.<br>
</div>         If all unifications succeeds, mark the version as compatible, incompatible otherwise<br><br></div>This approximation is obviously not complete. Nevertheless, I would like to get opinions about whether this would be a good/useful/feasible approximation? Does the current GHC api export enough functionality for this package to be feasible? Are there alternatives? I was consider doing this as my `hack` during the high energy, intense no-sleep<a href="http://jacobshack.com"> jacobsHack!</a> hackathon, do you think it would be a good idea?<br>
<br></div>Thank you for the opinions and best regards,<br><br></div>Ernesto Rodriguez<br clear="all"><div><div><div><div><div><div><div><div><div><div><div><div><div><div><div><br>-- <br><div dir="ltr"><div>Ernesto Rodriguez<br>
</div><div><br></div><div>Masters Student</div><div>Computer Science</div><div>Utrecht University</div><div><br></div><div><a href="http://www.netowork.me" target="_blank">www.netowork.me</a></div><div><a href="http://github.com/netogallo" target="_blank">github.com/netogallo</a></div>
<div><br></div><div><br></div></div>
</div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div>