unisonweb / unison

A friendly programming language from the future
https://unison-lang.org
Other
5.81k stars 271 forks source link

lca calculation is broken #5326

Closed mitchellwrosen closed 2 months ago

mitchellwrosen commented 2 months ago
  A
 / \
B   |
|   |
C   |
|   |
D   |
 \ /
  E

With the current implementation, LCA(A,D) can find E.