camlp4 question

camlp4 question

[Christophe Raffalli]

I am writing a tool to facilitate the use of callback of camlfunction 
from C. I have a first prototype running for lablGlut, but I want to 
make it nicer using camlp4 (this extension should produce automatically 
the C wrapper for each callback, the user will only have to compile the 
produced C file).

The pb is that I need to retrieve information given in one module from 
another. The minimum I need to do is to search for the path given to 
ocamlc (the -I options) from camlp4 code, but I would prefer a better 
way, and I do not know how to retrive this PATH anyway.

Here is an example to illustrate what I need (the type 'a callback is a 
type to a C wrapper for a function of type 'a) :

-- file glut.ml, part of the lablGlut library --

...

let visibility_state_of_int = function
     0 ->  NOT_VISIBLE
   | 1 -> VISIBLE
   | _ -> raise (BadEnum "visibility_state")

REGISTER_CONVERSION visibility_state_of_int

external visibilityFunc :
   cb:(state:visibility_state_t->unit) callback->unit
    = "ml_glutVisibilityFunc"

...

-- file test.ml an example using lablGlut --

open Glut

...

let state_changed ~state =
   match value with
     NOT_VISIBLE -> printf "window not visible."; print_newline()
   | VISIBLE -> printf "window not visible."; print_newline()

MAKE_WRAPPER state_changed state_changed_cb
(* here I need to search for the convertion for the type 
visibility_state_of_int which was defined in glut.ml to make the
C wrapper state_changed_cb : (visibility_state_of_int -> unit) callback *)

let _ = Glut.visibilityFunc state_changed_cb

...

Can someone help ?

Re: camlp4 question

[Christophe Raffalli]

Yet another question ....

I was assuming you oculd ask the type of an expression in camlp4 to do 
an induction over it (the type) ....

I do not see that in the manual !

(you can only construct trees with camlp4, but you cannot match them ?)

Re: [Caml-list] Re: camlp4 question

[Martin Jambon]

On Thu, 8 Sep 2005, Christophe Raffalli wrote:

> Yet another question ....
>
> I was assuming you oculd ask the type of an expression in camlp4 to do an 
> induction over it (the type) ....

You can't, Camlp4 is only about parsing and transforming the syntax 
tree.

I imagine you could use a (complicated) 3-step approach:
1) preprocess the file with camlp4 and ignore the syntax extensions
2) compile the result with -dtypes
3) fetch the type information from the .annot file and reparse the 
original file with camlp4. This time you can get the type of 
each identifier and expand your special syntax constructs

> I do not see that in the manual !
>
> (you can only construct trees with camlp4, but you cannot match them ?)

You can use quotations in patterns to read the syntax tree. Is it what you 
mean?


Martin

--
Martin Jambon, PhD
http://martin.jambon.free.fr

Re: [Caml-list] Re: camlp4 question

[Christophe Raffalli]

Martin Jambon a écrit :
> On Thu, 8 Sep 2005, Christophe Raffalli wrote:
> 
>> Yet another question ....
>>
>> I was assuming you oculd ask the type of an expression in camlp4 to do 
>> an induction over it (the type) ....
> 
> 
> You can't, Camlp4 is only about parsing and transforming the syntax tree.
> 
> I imagine you could use a (complicated) 3-step approach:
> 1) preprocess the file with camlp4 and ignore the syntax extensions
> 2) compile the result with -dtypes
> 3) fetch the type information from the .annot file and reparse the 
> original file with camlp4. This time you can get the type of each 
> identifier and expand your special syntax constructs
> 
>> I do not see that in the manual !
>>
>> (you can only construct trees with camlp4, but you cannot match them ?)
> 
> 
> You can use quotations in patterns to read the syntax tree. Is it what 
> you mean?


Yes I saw that later (after acually using the type in MLast t odo the 
same ...)

All that lacks a lot of documentation, but in one day, I found my way ;-)

> 
> Martin
> 
> -- 
> Martin Jambon, PhD
> http://martin.jambon.free.fr

Re: [Caml-list] camlp4 question

[Martin Jambon]

On Thu, 8 Sep 2005, Christophe Raffalli wrote:

> I am writing a tool to facilitate the use of callback of camlfunction from C. 
> I have a first prototype running for lablGlut, but I want to make it nicer 
> using camlp4 (this extension should produce automatically the C wrapper for 
> each callback, the user will only have to compile the produced C file).
>
> The pb is that I need to retrieve information given in one module from 
> another. The minimum I need to do is to search for the path given to ocamlc 
> (the -I options) from camlp4 code, but I would prefer a better way, and I do 
> not know how to retrive this PATH anyway.

Maybe write a script which would transmit the -I options to camlp4o and to 
ocamlopt/ocamlc (each camlp4 loadable module can define additional options 
to pass to camlp4/camlp4o)

Martin

>
> Here is an example to illustrate what I need (the type 'a callback is a type 
> to a C wrapper for a function of type 'a) :
>
> -- file glut.ml, part of the lablGlut library --
>
> ...
>
> let visibility_state_of_int = function
>    0 ->  NOT_VISIBLE
>  | 1 -> VISIBLE
>  | _ -> raise (BadEnum "visibility_state")
>
> REGISTER_CONVERSION visibility_state_of_int
>
> external visibilityFunc :
>  cb:(state:visibility_state_t->unit) callback->unit
>   = "ml_glutVisibilityFunc"
>
> ...
>
> -- file test.ml an example using lablGlut --
>
> open Glut
>
> ...
>
> let state_changed ~state =
>  match value with
>    NOT_VISIBLE -> printf "window not visible."; print_newline()
>  | VISIBLE -> printf "window not visible."; print_newline()
>
> MAKE_WRAPPER state_changed state_changed_cb
> (* here I need to search for the convertion for the type 
> visibility_state_of_int which was defined in glut.ml to make the
> C wrapper state_changed_cb : (visibility_state_of_int -> unit) callback *)
>
> let _ = Glut.visibilityFunc state_changed_cb
>
> ...
>
> Can someone help ?
>
> _______________________________________________
> 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
>

--
Martin Jambon, PhD
http://martin.jambon.free.fr

camlp4 question

[Christophe Raffalli]

[-- Attachment #1: Type: text/plain, Size: 383 bytes --]


I would like to produce an abbreviated command for

camlp4 mylexer.cmo mypa_o.cmo pa_extend.cmo q_MLast.cmo pr_dump.cmo\
  pa_bindlib.cmo

I tried to mimic the compilation of camlp4o:

ocamlc -I +camlp4 odyl.cma camlp4.cma mylexer.cmo mypa_o.cmo\
 pa_bindlib.cmo pr_dump.cmo odyl.cmo -o camlp4bo

But when I try to use ocamlp4bo, it produces no output ...

What am I doing wrong ?


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 894 bytes --]

Re: [Caml-list] camlp4 question

[Hendrik Tews]

Christophe Raffalli <christophe.raffalli@univ-savoie.fr> writes:

   I tried to mimic the compilation of camlp4o:
   
   ocamlc -I +camlp4 odyl.cma camlp4.cma mylexer.cmo mypa_o.cmo\
    pa_bindlib.cmo pr_dump.cmo odyl.cmo -o camlp4bo
   
You need the -linkall switch.

H.

Camlp4 question

[Matt Gushee]

I had occasion today to look through the pa_r.ml, and noticed the
following (line 329 in OCaml 3.08.4):

  | "object"; cspo = OPT class_self_patt; cf = class_structure; "end" ->
      (* <:expr< object $opt:cspo$ $list:cf$ end >> *)
      MLast.ExObj loc cspo cf ]

So a quotation expander was created for objects as ordinary expressions,
but evidently there was something wrong with it. Anyone know what the
problem was?

--
Matt Gushee
Englewood, CO, USA

Re: [Caml-list] Camlp4 question

[Hendrik Tews]

Matt Gushee <matt@gushee.net> writes:

   I had occasion today to look through the pa_r.ml, and noticed the
   following (line 329 in OCaml 3.08.4):
   
     | "object"; cspo = OPT class_self_patt; cf = class_structure; "end" ->
         (* <:expr< object $opt:cspo$ $list:cf$ end >> *)
         MLast.ExObj loc cspo cf ]
   
   So a quotation expander was created for objects as ordinary expressions,
   but evidently there was something wrong with it. Anyone know what the
   problem was?
   
I believe the comment shows what the code should look like if
immediate objects would have been implemented in the quotation
expander q_MLast.ml. However, immediate objects are not yet in
the quotation expander, therefore the real code is what the
quoatation expander would have produced (if immediate objects had
been implemented).

Bye,

Hendrik

PS. Sorry Matt for posting separately to caml-list.

[Caml-list] camlp4 question...

[Pietro Abate]

Hi all,

I'd like to write a small extension to transform 

let f <a;b;c> = ...

in 

let f new_id =
	match new_id with
	|[a;b;c] -> ...
	|_ -> failwith "wrong arguments"

I've tried with something like:
        expr: LEVEL "simple"
        [[
            "let"; OPT "rec"; "<"; l = LIST1 LIDENT; ">"; $list:pel$ "in" e = expr ->
                <:expr< let .... = function [] -> failwith "ffff" | $list:l$ -> $e$ >>
        ]];

but I'm stuck... In particular, how can I parse $list:pel$ ?
pel = LIST patt ?

thanks,
p

-- 
++ "All great truths begin as blasphemies." -George Bernard Shaw
++ Please avoid sending me Word or PowerPoint attachments.
   See http://www.fsf.org/philosophy/no-word-attachments.html

-------------------
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

Re: [Caml-list] camlp4 question...

[Dmitry Lomov]

Pietro Abate wrote:

> Hi all,
> 
> I'd like to write a small extension to transform 
> 
> let f <a;b;c> = ...
> 
> in 
> 
> let f new_id =
> 	match new_id with
> 	|[a;b;c] -> ...
> 	|_ -> failwith "wrong arguments"
> 
> I've tried with something like:
>         expr: LEVEL "simple"
>         [[
>             "let"; OPT "rec"; "<"; l = LIST1 LIDENT; ">"; $list:pel$ "in" e = expr ->
>                 <:expr< let .... = function [] -> failwith "ffff" | $list:l$ -> $e$ >>
>         ]];
> 
> but I'm stuck... In particular, how can I parse $list:pel$ ?
> pel = LIST patt ?

Do check your syntax once again. $list:pel$ is an antiquotation, and not 
a parsing rule. As such, it cannot appear to the left of '->'.
The LHS should look about like that:

expr: LEVEL "let" (* sic! *)
[[ "let"; OPT "rec"; LIDENT; "<"; LIST patt; ">";"=";
      expr;"in" expr -> ....
]]

RHS should be quite straightforward (you should bind subparsing results, 
of course)

HTH,
Friendly,
Dmitry

-- 
Dmitry Lomov
JetBrains Inc.
http://www.jetbrains.com
"Develop With Pleasure!"

-------------------
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