More precise location on 'name must be unique' error (report the identifier name instead of the whole declaration).
More precise location on 'name must be unique' error (report the identifier name instead of the whole declaration).

git-svn-id: e7e61699ce1738538ffebb75374fbea0924bc775@14660 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

msprotz/ocaml,eliberis/ocaml,yunxing/ocaml,msprotz/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,eliberis/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,yunxing/ocaml,eliberis/ocaml,msprotz/ocaml,yunxing/ocaml,msprotz/ocaml,gerdstolpmann/ocaml