%% @doc
%% Example `user_default' file to extend your Erlang shell with Gradualizer features.
%% @end
-module(user_default).

-export([c/1]).

%% @doc Type check and compile file.
%%
%% @see //stdlib/shell_default: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).