Skip to content

Commit 127901b

Browse files
committed
Add type signature for :erlang.is_integer/3
1 parent aec5d53 commit 127901b

1 file changed

Lines changed: 12 additions & 0 deletions

File tree

lib/elixir/lib/module/types/apply.ex

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -319,6 +319,18 @@ defmodule Module.Types.Apply do
319319
do: unquote(Macro.escape(domain_clauses))
320320
end
321321

322+
def signature(:erlang, :is_integer, 3),
323+
do:
324+
unquote(
325+
Macro.escape(
326+
{:strong, [term(), integer(), integer()],
327+
[
328+
{[integer(), integer(), integer()], atom([true])},
329+
{[negation(integer()), integer(), integer()], atom([false])}
330+
]}
331+
)
332+
)
333+
322334
def signature(_mod, _fun, _arity), do: :none
323335

324336
@doc """

0 commit comments

Comments
 (0)