Raise on unsupported literal lists

Qqwy · Oct 1, 2021 · 4b251d6 · 4b251d6
1 parent fd3fc7c
commit 4b251d6
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/lib/type_check/internals/pre_expander.ex b/lib/type_check/internals/pre_expander.ex
@@ -84,6 +84,15 @@ defmodule TypeCheck.Internals.PreExpander do
                quote generated: true, location: :keep do
                  TypeCheck.Builtin.nonempty_list(unquote(rewritten_element_type))
                end
+             other ->
+               raise """
+               TypeCheck does not support the list literal `#{Macro.to_string(other)}`
+               Currently supported are:
+               - [] -> empty list
+               - [type] -> list(type)
+               - [...] -> nonempty_list()
+               - [type, ...] -> nonempty_list(type)
+               """
            end
         # rewritten_values =
         #   list