File tree Expand file tree Collapse file tree 1 file changed +0
-32
lines changed
lib/elixir/test/elixir/module/types Expand file tree Collapse file tree 1 file changed +0
-32
lines changed Original file line number Diff line number Diff line change @@ -2032,38 +2032,6 @@ defmodule Module.Types.ExprTest do
2032
2032
) == dynamic ( integer ( ) )
2033
2033
end
2034
2034
2035
- # test "regressions – duplicate-key list pattern" do
2036
- # x =
2037
- # typecheck!(
2038
- # # HEAD PATTERN LIST
2039
- # [
2040
- # # first tuple
2041
- # [
2042
- # {key, _}
2043
- # # second tuple + rest
2044
- # | [{key, _} | _] = rest
2045
- # ]
2046
- # ],
2047
- # # BODY – we just return the tail we captured
2048
- # rest
2049
- # )
2050
-
2051
- # IO.puts("x: #{to_quoted_string(x)}")
2052
- # IO.puts("x: #{inspect(x)}")
2053
-
2054
- # assert x
2055
- # |> equal?(
2056
- # dynamic(
2057
- # non_empty_list(
2058
- # # every element is {term, term}
2059
- # tuple([term(), term()]),
2060
- # # the tail can be anything
2061
- # term()
2062
- # )
2063
- # )
2064
- # )
2065
- # end
2066
-
2067
2035
test "typecheck! must finish fast for large pattern match" do
2068
2036
type =
2069
2037
typecheck! ( fn
You can’t perform that action at this time.
0 commit comments