Home | History | Annotate | Download | only in tutorial

Lines Matching full:redefinition

747                  * has a body, don't allow redefinition or reextern. *)
751                       raise (Error "redefinition of function");
755                       raise (Error "redefinition of function with different # args");