gistfile1.ml

module Id = struct
  let name = "pa_fun_fields"
  let version = "1.0"
end

open Camlp4

module Make (Syntax : Sig.Camlp4Syntax) = struct
  include Syntax

  EXTEND Gram  
    GLOBAL: expr
  ;

  expr: LEVEL "simple"

    [ 
      [ "("; "."; l = label_longident; ")" 
        -> <:expr< fun x -> x . $id:l$ >>   (* [l : ident] but [e : expr] at [x.e] *)

      | "("; "#"; l = label; ")"
        -> <:expr< fun x -> x # $l$ >> 
      ]
    ];
  END  
end

let module M = Register.OCamlSyntaxExtension(Id)(Make) in ()