Hi,

> By the way, I already have a parser for ml and mli files,
> based on the ocamlc -dparsetree option.

I think the -dparsetree output is not enought for refactoring purpose.

It may produces same output for these three programs.

  let f x = x+1
  let f = fun x -> x+1
  let f = function x -> x+1

Since I would like to use a syntax tree formatter to produce the result 
of refactoring, the parser and AST should distinguish these three 
programs. (I'm not sure that how existing refactoring editors work. Does 
anyone have any ideas?)

# Of course, the output of -dparsetree is enough for outline-view.

-- 
Soutaro Matsumoto