Hello,
I would like to use a reserved word and substitute that by a function
call. For example, the following:
let _ = HEAP in
let h1 = HEAP in
would become
let __heap = new_heap () in
let h1 = new_heap () in
To do this I attempted (here I am not checking the identifier name):
binding: [
[ v = LIDENT ; "=" ; "HEAP" -> <:expr<$lid:v$ = new_heap ()>> ]
] ;
My problem however is how to activate the rule above? I figured I need
something like:
Pcaml.str_item : LEVEL "top" [
[ "let"; OPT "rec";
l = LIST1 binding SEP "and" ; "in" ->
<str_item:< declare $list:l$ end>>
]
];
But this doesn't even compile. I then concentrated on using Pcaml's
let_binding function and see If I could simply reconstruct the
structured expression but failed. I also tried:
Pcaml.expr: LEVEL "expr1" [
[
"let"; l = LIST1 Pcaml.let_binding SEP "and" ; "in" -> <:expr<$l$>>
Here I get the error:
This expression has type (MLast.patt * MLast.expr) list
but is here used with type MLast.expr
Now I realize that my problem is (re)constructing the expression of a
let binding. I have been at this since yesterday and cannot find a
solution. Does anyone have an example of how to do this?
TIA,
Hugo Ferreira.
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"ocaml-developer" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/ocaml-developer?hl=en
For other OCaml forums, see http://caml.inria.fr/resources/forums.en.html
-~----------~----~----~----~------~----~------~--~---
