[Ur] couldn't prove field name disjointness compile error

[Adam Chlipala]

Daniel Patterson wrote:
> The only modifications from the code I linked to (which works) is adding
> the field Salt to the table u:
>
> table u : {User : string, Salt : string, Password : string}
>                PRIMARY KEY User
>
> and the code I provided in the previous email.
>
> All of it is together at http://paste.lisp.org/display/92875
>    

Now I see the problem.  Each of your projections [u.Foo] should be 
[u.U.Foo] instead.  Alternatively, keep the projections the same and use 
[oneOrNoRows1] instead of [oneOrNoRows].