bdd_bottom -> bdd_bot

josevalim · josevalim · commit 0e3d22fd7997 · 2025-12-22T11:48:55.000+01:00
diff --git a/lib/elixir/lib/module/types/descr.ex b/lib/elixir/lib/module/types/descr.ex
@@ -4916,7 +4916,7 @@ defmodule Module.Types.Descr do
   # (B1) and (a2 or not D2) and not B2_no_D2
   # ((B1 and a2) or (B1 and not D2)) and not B2_no_D2
   #
-  defp bdd_difference(bdd, {leaf, c, u, d}, leaf_intersection) when d != :bdd_bottom do
+  defp bdd_difference(bdd, {leaf, c, u, d}, leaf_intersection) when d != :bdd_bot do
     bdd_leaf_intersection(leaf, bdd, leaf_intersection)
     |> bdd_union(bdd_difference(bdd, d, leaf_intersection))
     |> bdd_difference({leaf, c, u, :bdd_bot})

Original file line number	Diff line number	Diff line change
`@@ -4916,7 +4916,7 @@ defmodule Module.Types.Descr do`
`4916`	`4916`	`# (B1) and (a2 or not D2) and not B2_no_D2`
`4917`	`4917`	`# ((B1 and a2) or (B1 and not D2)) and not B2_no_D2`
`4918`	`4918`	`#`
`4919`		`- defp bdd_difference(bdd, {leaf, c, u, d}, leaf_intersection) when d != :bdd_bottom do`
	`4919`	`+ defp bdd_difference(bdd, {leaf, c, u, d}, leaf_intersection) when d != :bdd_bot do`
`4920`	`4920`	`bdd_leaf_intersection(leaf, bdd, leaf_intersection)`
`4921`	`4921`	`\|> bdd_union(bdd_difference(bdd, d, leaf_intersection))`
`4922`	`4922`	`\|> bdd_difference({leaf, c, u, :bdd_bot})`