Lines Matching full:redefinition
273 * has a body, don't allow redefinition or reextern. *)
277 raise (Error "redefinition of function");
281 raise (Error "redefinition of function with different # args");
382 redefinition.
844 * has a body, don't allow redefinition or reextern. *)
848 raise (Error "redefinition of function");
852 raise (Error "redefinition of function with different # args");
