Skip to content

Commit 6e7aa07

Browse files
committed
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.
1 parent a3feb8a commit 6e7aa07

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

test/known_problems/should_pass/poly_should_pass.erl

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,8 @@
22

33
-gradualizer([solve_constraints]).
44

5-
-export([find1/0,
5+
-export([lookup/2,
6+
find1/0,
67
l/0]).
78

89
-spec lookup(T1, [{T1, T2}]) -> (none | T2).

0 commit comments

Comments
 (0)