d2km / rtypes Goto Github PK

type = {:ann_type, 0, [{:var, 0, :annotation}, {:atom, 0, :atom}]}
term = :atom

typespec = Code.Typespec.type_to_quoted(type) |> Macro.to_string()

assert typespec == "ann_type(annotation, :atom) :: 0"
assert RTypes.Checker.check(term, type) == :ok

=> {:error, [term: :atom, message: "term does not conform to type", types: [{:ann_type, 0, [{:var, 0, :annotation}, {:atom, 0, :atom}]}], ctx: []]}

  ## annotations
  defp check(term, {:ann_type, _, [{:var, _, annotation}, typ]}, ctx) do
    case check(term, typ, ctx) do
      :ok ->
        :ok

      {:error, _} ->
        {:error,
         term: term,
         message: "term does not match annotated #{annotation} type",
         types: [typ],
         ctx: ctx}
    end
  end