Excerpts from Hezekiah M. Carty's message of Tue Jun 24 17:43:52 +0200 2008: > On Tue, Jun 24, 2008 at 11:16 AM, Richard Jones <[EMAIL PROTECTED]> wrote: > > On Tue, Jun 24, 2008 at 03:30:23PM +0100, Jeremy Yallop wrote: > > On a related note I had a crazy brainwave that we could use camlp4 to > > use 'ordinary' operators in an overloaded context. Something like: > > > > INT64 (2L * n / 3L) > > > > The INT64(expr) macro would inspect the AST of expr and change + -> > > Int64.add etc. Of course one can do this using the pa_openin macro > > and a module which overrides (+) etc, but maybe this is better? I was > > going to try modifying parts of virt-df to use this syntax to see if > > it would be beneficial. > > I toyed around with a simple extension to the pa_float example on the > camlp4 wiki. The modified version is here:
[...] > Sadly camlp4 3.10+ does not play well with the toplevel, so these are > difficult to work with interactively. I do use pa_context in several > places though, and it seems to work well. Can you elaborate on that? -- Nicolas Pouillard aka Ertai
signature.asc
Description: PGP signature
_______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
