Wrong tuple variable name in FROM clause vs. WHERE clause about links HOT 2 CLOSED

I have a Links version of the XPath evaluator from the ICFP'13 paper here:
https://github.com/fehrenbach/links-playground/blob/d5adbef68d720b05ee50d3671e1c61ed81cafc86/xpath.links
which fails for all the examples.

James ran the F# version for me, producing this for xp0:

SELECT [t1].[ID]
FROM [dbo].[Data] AS [t0], [dbo].[Data] AS [t1]
WHERE ([t0].[Parent] = @p0) AND ([t0].[Entry] = @p1) AND (EXISTS(
     SELECT NULL AS [EMPTY]
     FROM [dbo].[Data] AS [t2]
     WHERE ([t0].[Entry] = [t2].[Entry]) AND ([t0].[ID] =  
[t2].[Parent]) AND ([t2].[Entry] = [t1].[Entry]) AND ([t2].[ID] =  
[t1].[Parent])
     ))

Whereas my Links version produces this:

select (t1755."id") as "id"
  from xml as t1754,xml as t1755
 where ((t1752."parent") = (-(1))) -- t1752 is not bound, but t1754 is
   and (exists (select 0 as dummy
                  from xml as t1759
                 where ((t1752."id") = (t1759."parent")) and ((t1759."id") = (t1755."parent"))))

where t1749 is not bound and t1751 is not used.

There is some stuff about "Entry"s in the F# version, presumably it uses a slightly different schema.

from links.

Yes, the "entry" field is just an additional value to allow us to store multiple trees one table. This shouldn't matter, from the point of the apparent problem with the Links version, though.

The query in the initial comment looks like it should work to me; in general, any purely conjunctive/SQL-like query ought to work and anything that doesn't ought to yield a type error.

from links.