Extract test/should_pass/poly_map_pattern.erl

josefs · Dec 3, 2022 · 84490d4 · 84490d4
1 parent bf92049
commit 84490d4
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 13 deletions.
diff --git a/test/should_pass/map_pattern.erl b/test/should_pass/map_pattern.erl
@@ -5,11 +5,8 @@
          map_union/1,
          any_map/1,
          map_term/1,
-         map_type_var/1,
          map_pattern_no_spec/1]).
 
--gradualizer([solve_constraints]).
-
 -type t() :: #{apa := integer(), bepa := boolean()}.
 
 -spec f(t()) -> boolean().
@@ -31,14 +28,4 @@ any_map(#{apa := _}) -> ok.
 map_term(#{}) ->
     ok.
 
--spec map_type_var(nonempty_list(#{atom() => integer()})) -> integer().
-map_type_var(L) ->
-    V = lists:nth(2, L),
-    %% at this point V :: T
-    case V of
-        %% pattern matching a map against a type var
-        #{k := Int} ->
-            Int
-    end.
-
 map_pattern_no_spec(#{} = _Map) -> ok.
diff --git a/test/should_pass/poly_map_pattern.erl b/test/should_pass/poly_map_pattern.erl
@@ -0,0 +1,15 @@
+-module(poly_map_pattern).
+
+-gradualizer([solve_constraints]).
+
+-export([map_type_var/1]).
+
+-spec map_type_var(nonempty_list(#{atom() => integer()})) -> integer().
+map_type_var(L) ->
+    V = lists:nth(2, L),
+    %% at this point V :: T
+    case V of
+        %% pattern matching a map against a type var
+        #{k := Int} ->
+            Int
+    end.