Add a known problem for Elixir's List.first/1 function

josefs · Sep 26, 2023 · fbfafb2 · fbfafb2
1 parent ac40504
commit fbfafb2
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/test/known_problems/should_pass/elixir_list_first.erl b/test/known_problems/should_pass/elixir_list_first.erl
@@ -0,0 +1,17 @@
+-module(elixir_list_first).
+
+-export([f/0]).
+
+% This is how List.first/1 is defined in Elixir
+-spec first([]) -> nil;
+           ([Elem, ...]) -> Elem.
+first([]) -> nil;
+first([Element | _]) -> Element.
+
+-spec f() -> ok.
+f() ->
+    first(some_list()),
+    ok.
+
+-spec some_list() -> list().
+some_list() -> [anything].