Use InfoRead in ReadAsFunction

gap-system · Mar 4, 2018 · 9600511 · 9600511
1 parent 5b07667
commit 9600511
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/lib/files.gi b/lib/files.gi
@@ -232,8 +232,15 @@ end );
 InstallMethod( ReadAsFunction,
     "string",
     [ IsString ],
-    name -> READ_AS_FUNC( UserHomeExpand( name ) ) );  
+function(name)
+    local success;
 
+    Info(InfoRead, 5, "ReadAsFunction(\"", name, "\")");
+    success := READ_AS_FUNC( UserHomeExpand( name ) );
+    Info(InfoRead, 5, "ReadAsFunction(\"", name, "\") done");
+
+    return success;
+end);
 
 #############################################################################
 ##