Home | History | Annotate | Download | only in tutorial

Lines Matching full:redefinition

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