Add lookup/2 to failing tests in poly_should_pass.erl

We don't want that in practice, so debugging this is another item to add to the backlog.
josefs · May 31, 2024 · 6e7aa07 · 6e7aa07
1 parent a3feb8a
commit 6e7aa07
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/test/known_problems/should_pass/poly_should_pass.erl b/test/known_problems/should_pass/poly_should_pass.erl
@@ -2,7 +2,8 @@
 
 -gradualizer([solve_constraints]).
 
--export([find1/0,
+-export([lookup/2,
+         find1/0,
          l/0]).
 
 -spec lookup(T1, [{T1, T2}]) -> (none | T2).