<div dir="ltr">(readding llvmdev)<br><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Nov 3, 2013 at 1:40 AM, Peter Zotov <span dir="ltr"><<a href="mailto:whitequark@whitequark.org" target="_blank">whitequark@whitequark.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Sean Silva ĐÉÓÁĚ 03.11.2013 09:22:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
On Sat, Nov 2, 2013 at 9:04 PM, Peter Zotov <<a href="mailto:whitequark@whitequark.org" target="_blank">whitequark@whitequark.org</a>> wrote:<br>
<br>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
Hello folks.<br>
<br>
I'm very interested in improving LLVM's OCaml bindings. I have<br>
several nontrivial patches sitting on llvm-commits for several<br>
weeks, and so far there's been little interest in them.<br>
<br>
Could someone with a good understanding of OCaml please take<br>
a look at these?<br>
<br></div>
1) <a href="http://llvm-reviews.chandlerc.com/D1925" target="_blank">http://llvm-reviews.chandlerc.<u></u>com/D1925</a> [1]<div class="im"><br>
<br>
š šEvery other function in OCaml bindings accepts context<br>
š šexplicitly, would it be a legitimate change to make existing<br>
š šfunctions accept it as well? This would break the API.<br>
</div></blockquote><div class="im">
<br>
I don't really have a good idea of who uses these OCaml bindings<br>
API's. A good first step is probably to map out the landscape of the<br>
users of the API. Maybe browse research papers? I wouldn't expect to<br>
see many OCaml programs "in production" that depend on this API. Also,<br>
I'm not sure if we have a stated backwards compatibility policy for<br>
this API. Ultimately you probably just want to talk with all the API<br>
users you can scrape together.<br>
</div></blockquote>
<br>
I've looked through all Google hits by "ocaml llvm". Sadly, there are no<br>
alive (updated within last 12 months) projects using the OCaml bindings.<br>
Further, I only found research projects. I guess this means that there<br>
won't be much impact from breaking the API. I have tried to contact<br>
some of the authors, though, and I'll write to the OCaml ML.<br>
<br>
This leaves another question open: are there any LLVM developers who<br>
can review OCaml patches?<br></blockquote><div><br></div><div>I honestly don't know.</div><div><br></div><div>-- Sean Silva</div><div>š</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
-- Sean Silva<br>
š<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
2) <a href="http://llvm-reviews.chandlerc.com/D1926" target="_blank">http://llvm-reviews.chandlerc.<u></u>com/D1926</a> [2]<div class="im"><br>
<br>
š šI'd like to add garbage collection support to the API<br>
š šwherever safe, that's at least DataLayout.t and llmemorybuffer.<br>
š šThis removes the need for .dispose. I could remove it and break<br>
š šthe API or print a warning at runtime.<br>
<br></div>
3) <a href="http://llvm-reviews.chandlerc.com/D1927" target="_blank">http://llvm-reviews.chandlerc.<u></u>com/D1927</a> [3]<div class="im"><br>
<br>
š šIn order to allow code generation from OCaml, I need to build<br>
š ša stub library per configured target. I'm not sure how to<br>
š šintegrate it with LLVM's build system; my current solution seems<br>
š švery ad-hoc.<br>
<br>
š šI will update the patch to use Dynlink interface (this is the<br>
š štextbook use case for Dynlink), but conceptually this doesn't<br>
š šchange the problem of interfacing with build system.<br>
<br>
--<br>
š WBR, Peter Zotov.<br>
______________________________<u></u>_________________<br>
LLVM Developers mailing list<br>
</div><a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a> š š š š <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a> [4]<br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/<u></u>mailman/listinfo/llvmdev</a> [5]<br>
</blockquote>
<br>
<br>
<br>
Links:<br>
------<br>
[1] <a href="http://llvm-reviews.chandlerc.com/D1925" target="_blank">http://llvm-reviews.chandlerc.<u></u>com/D1925</a><br>
[2] <a href="http://llvm-reviews.chandlerc.com/D1926" target="_blank">http://llvm-reviews.chandlerc.<u></u>com/D1926</a><br>
[3] <a href="http://llvm-reviews.chandlerc.com/D1927" target="_blank">http://llvm-reviews.chandlerc.<u></u>com/D1927</a><br>
[4] <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
[5] <a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/<u></u>mailman/listinfo/llvmdev</a><span class="HOEnZb"><font color="#888888"><br>
</font></span></blockquote><span class="HOEnZb"><font color="#888888">
<br>
-- <br>
š WBR, Peter Zotov.<br>
</font></span></blockquote></div><br></div></div>