From dc54919b9eeea5f2fcd2a3373ab90e4eba0304b4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Eric=20Meadows-J=C3=B6nsson?= Date: Mon, 2 Nov 2020 14:45:39 +0100 Subject: Add test for multi-clause guards --- lib/elixir/test/elixir/module/types/pattern_test.exs | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/lib/elixir/test/elixir/module/types/pattern_test.exs b/lib/elixir/test/elixir/module/types/pattern_test.exs index b6d7f9099..85cb7d570 100644 --- a/lib/elixir/test/elixir/module/types/pattern_test.exs +++ b/lib/elixir/test/elixir/module/types/pattern_test.exs @@ -343,6 +343,11 @@ defmodule Module.Types.PatternTest do quoted_head([x], [is_tuple(is_atom(x))]) end + test "multi-clause guards" do + assert quoted_head([x], [:erlang.rem(x, 2)]) == {:ok, [:integer]} + assert quoted_head([x], [:erlang.rem(x + x, 2)]) == {:ok, {:union, [:integer, :float]}} + end + test "erlang-only guards" do assert quoted_head([x], [:erlang.size(x)]) == {:ok, [{:union, [:binary, :tuple]}]} -- cgit v1.2.1