Support recursive type - Githubissues

dwango / fialyzer

[WIP] Faster Implementation of Dialyzer

https://dwango.github.io/fialyzer/

Apache License 2.0

56 stars 8 forks source link

Open yoshihiro503 opened 5 years ago

yoshihiro503 commented 5 years ago

-module(recursive_type).

-export([foo/0]).

-type(tree(X) :: {X,tree(X),tree(X)} | nil).

-spec foo() -> tree(integer()).
foo() -> nil.