[Ur] Building site templates

Adam Chlipala adamc at impredicative.com
Sat Dec 10 20:06:03 EST 2011


James Parker wrote:
> Personally, I feel as though the error messages could be improved. As a newcomer, I found the overload of error messages overwhelming. Perhaps if there are actual errors, the type inference unification messages could be suppressed.

I'm not sure what you mean by "actual errors."

> Also, if the offending file is in the working directory, only the file name could be shown instead of the entire path.
>    

A decent idea that I might take a shot at implementing soon

> I also had a few more questions. What exactly do the brackets [] do?

Brackets have several meanings.  Have you looked at the grammar in the 
manual?  The two main uses are indicating type-level arguments within 
value-level code and giving record literals in type-level code.

> Also, Is there a reason I can't name an sql column "Name"?
>    

Yes: it's a keyword.



More information about the Ur mailing list