Fix typos in code comments

josevalim · josevalim · commit 630d5ca629d8 · 2026-03-16T23:27:44.000+01:00
diff --git a/lib/elixir/lib/module/types/descr.ex b/lib/elixir/lib/module/types/descr.ex
@@ -5891,11 +5891,11 @@ defmodule Module.Types.Descr do
   #
   # If disjoint?(a1, a2), we end up with:
   #
-  #     (a1 and C1) or (U1 and not d2) or (not a1 and D1 and not a2)
+  #     (a1 and C1) or (U1 and not a2) or (not a1 and D1 and not a2)
   #
   # If subtype?(a1, a2), we end up with:
   #
-  #     (U1 and not d2) or (D1 and not a2)
+  #     (U1 and not a2) or (D1 and not a2)
   #
   # If one key difference, then we compute the difference
   # and the union of said keys, returning a_union and a_diff:
@@ -5948,7 +5948,7 @@ defmodule Module.Types.Descr do
   # Result: a1 and not C2 and not U2
   #
   # If one key difference, then we compute the difference
-  # and the intersection of said keys, returning a_union and a_diff:
+  # and the intersection of said keys, returning a_int and a_diff:
   #
   #     a1 and not (a2 and C2) and not U2 and (a2 or not D2)
   #     ((a1 and not a2) or (a1 and not C2)) and not U2 and (a2 or not D2)

Original file line number	Diff line number	Diff line change
`@@ -5891,11 +5891,11 @@ defmodule Module.Types.Descr do`
`5891`	`5891`	`#`
`5892`	`5892`	`# If disjoint?(a1, a2), we end up with:`
`5893`	`5893`	`#`
`5894`		`- # (a1 and C1) or (U1 and not d2) or (not a1 and D1 and not a2)`
	`5894`	`+ # (a1 and C1) or (U1 and not a2) or (not a1 and D1 and not a2)`
`5895`	`5895`	`#`
`5896`	`5896`	`# If subtype?(a1, a2), we end up with:`
`5897`	`5897`	`#`
`5898`		`- # (U1 and not d2) or (D1 and not a2)`
	`5898`	`+ # (U1 and not a2) or (D1 and not a2)`
`5899`	`5899`	`#`
`5900`	`5900`	`# If one key difference, then we compute the difference`
`5901`	`5901`	`# and the union of said keys, returning a_union and a_diff:`
`@@ -5948,7 +5948,7 @@ defmodule Module.Types.Descr do`
`5948`	`5948`	`# Result: a1 and not C2 and not U2`
`5949`	`5949`	`#`
`5950`	`5950`	`# If one key difference, then we compute the difference`
`5951`		`- # and the intersection of said keys, returning a_union and a_diff:`
	`5951`	`+ # and the intersection of said keys, returning a_int and a_diff:`
`5952`	`5952`	`#`
`5953`	`5953`	`# a1 and not (a2 and C2) and not U2 and (a2 or not D2)`
`5954`	`5954`	`# ((a1 and not a2) or (a1 and not C2)) and not U2 and (a2 or not D2)`