Зойгадко компутерное:
Что не так в этом вот коде:

  method modul =
    try 
      Module (self#impexps, lazy (
	let decls = self#topdecls     in
	let errs  = self#soft_req EOF in
	(decls, errs)
     ))
    with exn -> 
      Module ([], lazy ([], self#mk_exn exn))

Комменты скринятся.