gradualizer

-module(user_default).

-export([c/1]).

c(File) when not is_atom(File) ->
    % TODO: we can be a lot more clever about recognizing
    % if the argument is a file or a module, just like
    % shell_default:c/1.
    case gradualizer:type_check_file(File) of
        ok ->
            shell_default:c(File);
        Err ->
            Err
    end;
c(File) ->
    shell_default:c(File).