Hi,

On Thu, Nov 14, 2002 at 04:14:52PM -0800, Shawn Wagner wrote:

> Anyways, I /think/ I can get camlp4 at least compiled, if I can figure out
> where the constraints in an <:expr< > pattern are checked, and then how to
> add more. Trying to make it recognize $int32:_$ and the like.

For that, it should be necessary to be able to represent these constants
in the syntax tree, what seems not to be implemented in the ocaml compiler.

For the <:expr< >>: they are evaluated at compile time. But, indeed,
if the contents is a function call, it generates a function call which
is of course applied at run time, which is not satisfactory if you want
to speak of "a constant".

-- 
Daniel de RAUGLAUDRE
http://cristal.inria.fr/~ddr/
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners