kernel: make PrintFunction static

hulpke · Oct 2, 2020 · 7b98f48 · 7b98f48
1 parent 4be5d2f
commit 7b98f48
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 17 deletions.
diff --git a/src/calls.c b/src/calls.c
@@ -985,8 +985,7 @@ static Obj TypeFunction(Obj func)
 
 static Obj PrintOperation;
 
-void PrintFunction (
-    Obj                 func )
+static void PrintFunction(Obj func)
 {
     Int                 narg;           /* number of arguments             */
     Int                 nloc;           /* number of locals                */

diff --git a/src/calls.h b/src/calls.h
@@ -473,14 +473,6 @@ Obj ArgStringToList(const Char * nams_c);
 *F * * * * * * * * * * * * * type and print function  * * * * * * * * * * * *
 */
 
-/****************************************************************************
-**
-*F  PrintFunction( <func> )   . . . . . . . . . . . . . . .  print a function
-**
-**  'PrintFunction' prints  the   function  <func> .
-*/
-void PrintFunction(Obj func);
-
 void PrintKernelFunction(Obj func);
 
 

diff --git a/src/funcs.c b/src/funcs.c
@@ -697,7 +697,7 @@ static void PrintFuncExpr(Expr expr)
 {
     /* get the function expression bag                                     */
     Obj fexp = GET_VALUE_FROM_CURRENT_BODY(READ_EXPR(expr, 0));
-    PrintFunction( fexp );
+    PrintObj( fexp );
 }
 
 

diff --git a/src/streams.c b/src/streams.c
@@ -714,9 +714,6 @@ static Obj FuncPrint(Obj self, Obj args)
         else if ( IS_STRING_REP(arg) ) {
             PrintString1(arg);
         }
-        else if ( TNUM_OBJ( arg ) == T_FUNCTION ) {
-            PrintFunction( arg );
-        }
         else {
             PrintObj( arg );
         }
@@ -772,9 +769,6 @@ static Obj PRINT_OR_APPEND_TO_FILE_OR_STREAM(Obj args, int append, int file)
             else if (IS_STRING_REP(arg)) {
                 PrintString1(arg);
             }
-            else if (IS_FUNC(arg)) {
-                PrintFunction(arg);
-            }
             else {
                 PrintObj(arg);
             }