diff --git a/lib/files.gi b/lib/files.gi index 80676caa48..2df0133f85 100644 --- 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); ############################################################################# ##