18 lines
515 B
Text
18 lines
515 B
Text
:- module test_factorial.
|
|
:- interface.
|
|
:- import_module io.
|
|
|
|
:- pred main(io::di, io::uo) is det.
|
|
|
|
:- implementation.
|
|
:- import_module factorial.
|
|
:- import_module char, integer, list, string.
|
|
|
|
main(!IO) :-
|
|
command_line_arguments(Args, !IO),
|
|
filter(is_all_digits, Args, CleanArgs),
|
|
Arg1 = list.det_index0(CleanArgs, 0),
|
|
Number = integer.det_from_string(Arg1),
|
|
Result = factorial(Number),
|
|
Fmt = integer.to_string,
|
|
io.format("factorial(%s) = %s\n", [s(Fmt(Number)), s(Fmt(Result))], !IO).
|