Difference in Quotation Behavior for str_items Between Revised and Original Syntax

Difference in Quotation Behavior for str_items Between Revised and Original Syntax

[echinuz echinuz]

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

Hi,
      Consider the following two programs:

----------------------------------------------------------
$ cat junk.ml 
let _=fun x ->
    match x with
    | <:str_item< $exp:e$ >> -> ()
    | _ -> ()
;;

$ camlp4of ./junk.ml 
fun x ->
  match x with
  | Ast.StSem (_, (Ast.StExp (_, e)), (Ast.StNil _)) -> ()
  | _ -> ()
----------------------------------------------------------

and

----------------------------------------------------------
$ cat junk_r.ml 
value _=fun x ->
    match x with
    [ <:str_item< $exp:e$ >> -> ()
    | _ -> ()]
;

$ camlp4rf ./junk_r.ml 
let _ x = match x with | Ast.StExp (_, e) -> () | _ -> ()
----------------------------------------------------------

Why does the second program expand to Ast.StExp while the first expands to Ast.StSem?  I would like, and expect, the first case to expand to Ast.StExp and not Ast.StSem.

       
---------------------------------
Never miss a thing.   Make Yahoo your homepage.

[-- Attachment #2: Type: text/html, Size: 1308 bytes --]