You could just assign a token an id on its first use and keep that around, even ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		filmor on July 30, 2018 \| parent \| context \| favorite \| on: Elastic TabStops: A Better Way to Indent and Align... You could just assign a token an id on its first use and keep that around, even if the name changes. Merges would then be trivial.

_54qb on July 30, 2018 [–]

And how do you decide, given two versions of a source file, if the token was renamed or it was a new one?

This looks "trivial" for trivial cases, but I can imagine lots of difficult corner cases there. Depending on how you define what constitutes a "rename", this may even be undecidable.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact