unisonweb / unison

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

bugfix: fix lca query #5327

Closed mitchellwrosen closed 3 weeks ago

mitchellwrosen commented 3 weeks ago

Overview

Fixes #5326

This PR fixes the busted lca query by porting over @ChrisPenner's proper implementation from Share, tweaked slightly (EXISTS -> EXISTS 1) for SQLite.

Test coverage

I've added a transcript (broken in first commit) that demonstrates the fix.