Home | History | Annotate | Download | only in tutorial

Lines Matching full:redefinition

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