<div dir="ltr">Hi<div><br><div style>What would be wrong with Xavier's solution?</div><div style>(having Bitstring call only functions Bitstring.something)<br></div><div style><br></div><div style>It looks the most hygienic and future-proof to me, and could work for all syntax extensions — or code generators — that have a library to work with</div>
<div style> (BTW, we had the same problem with PG'OCaml generating code with String.concat which is different in Core).</div><div style><br></div><div style><br></div><div style>cheers</div><div style>seb</div><div style>
<br></div><div style><br></div></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, May 28, 2013 at 1:58 PM, Richard W.M. Jones <span dir="ltr"><<a href="mailto:rich@annexia.org" target="_blank">rich@annexia.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Tue, May 28, 2013 at 07:08:51PM +0200, Christophe TROESTLER wrote:<br>
> On Tue, 28 May 2013 12:40:33 -0400, Stephen Weeks wrote:<br>
> ><br>
> > > It's the build system integration that fills me with dread (figuring<br>
> > > out the ocamlfind META runes, how to plumb this through to ocamlbuild,<br>
> > > OASIS and OMake, and activate it only for files that use Core).<br>
> ><br>
> > I see. Waiting for namespaces might be the way to go then.<br>
> ><br>
> > One way that might simplify the build-system nightmare a bit would be<br>
> > to always have the Caml module in scope and to have bitstring always<br>
> > generate references to it, whether or not one is compiling against<br>
> > Core.<br>
><br>
> How about that bitstring (automatically) inserts aliases of the<br>
> Prevasive modules it needs at the beginning of the file (thus, before<br>
> Core is opened) and refers to these? It will then work regardless of<br>
> the modules that are shadowed.<br>
<br>
</div>I think I tried to have a camlp4 extension insert something at<br>
the beginning of the output, and concluded it wasn't possible.<br>
<br>
Or perhaps I'm mis-remembering ...?<br>
<div class="HOEnZb"><div class="h5"><br>
Rich.<br>
<br>
--<br>
Richard Jones<br>
Red Hat<br>
_______________________________________________<br>
wg-camlp4 mailing list<br>
<a href="mailto:wg-camlp4@lists.ocaml.org">wg-camlp4@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/wg-camlp4" target="_blank">http://lists.ocaml.org/listinfo/wg-camlp4</a><br>
</div></div></blockquote></div><br></div>