[Ur] Why won't this compile?

[Adam Chlipala]

On 10/20/2012 06:57 AM, David Snider wrote:
> Nevermind, it was the stray semi-colon. Why did it spit out field 
> specification errors for that though?

I don't understand exactly how ML-Yacc works, but some magic within it 
is responsible somehow. ;)

> On 10/20/2012 06:38 AM, David Snider wrote:
>> I can't figure out what I'm doing wrong here. The number of fields in 
>> the insert statement is exactly the same number in the user table.