[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