Use lazy bdd for all types

[josevalim]

No description provided.

[josevalim]

💚 💙 💜 💛 ❤️

[sabiwara]

I found an issue when trying this out, here is a repro:

Mix.install([:stream_data])

defmodule BrokenBDD do
  def type() do
    StreamData.one_of([StreamData.integer(), StreamData.binary()])
  end
end

** (EXIT from #PID<0.101.0>) an exception was raised:
    ** (RuntimeError) found error while checking types for BrokenBDD.type/0:

** (FunctionClauseError) no function clause matching in Module.Types.Descr.bdd_to_dnf/4
The exception happened while checking this code:

def type() do
  StreamData.one_of([StreamData.integer(), StreamData.binary()])
end

Please report this bug at: https://github.com/elixir-lang/elixir/issues

        (elixir 1.20.0-dev) lib/module/types/descr.ex:4561: Module.Types.Descr.bdd_to_dnf([], [], [], {{:term, %{bitmap: 2}}, :bdd_top, :bdd_bot})
        (elixir 1.20.0-dev) lib/module/types/descr.ex:1894: Module.Types.Descr.list_bdd_to_pos_dnf/1
        (elixir 1.20.0-dev) lib/module/types/descr.ex:2029: Module.Types.Descr.list_hd_static/1
        (elixir 1.20.0-dev) lib/module/types/descr.ex:2016: Module.Types.Descr.list_hd/1
        (elixir 1.20.0-dev) lib/module/types/expr.ex:96: Module.Types.Expr.of_expr/5
        (elixir 1.20.0-dev) lib/module/types/helpers.ex:491: Module.Types.Helpers.zip_map_reduce/5
        (elixir 1.20.0-dev) lib/module/types/expr.ex:716: Module.Types.Expr.apply_one/7
        (elixir 1.20.0-dev) lib/module/types.ex:309: anonymous fn/6 in Module.Types.local_handler/8

Might be able to look into it later, but reporting it for now before I forget 🙂

[josevalim]

@sabiwara i believe it is a cache issue. You need to purge all cache from archives or previous Mix installs. We can also bump the internal chunk version.

[sabiwara]

Yeah you're right, sorry for the false warning 🙇