Home | History | Annotate | Download | only in tutorial

Lines Matching full:redefinition

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