[Ur] row.T

Adam Chlipala adamc at impredicative.com
Wed Nov 23 16:42:50 EST 2011


Ron de Bruijn wrote:
> It comes from the name of the table (in this case t), but then 
> capitalized.
>
> Adam said some time ago he would add something to the manual about 
> this. I didn't check whether he actually did that.

I claim it's there now (with no changes made based on this thread), in 
the grammar production used to include a table as a FROM item with no AS.

> There are other functions prefixed by query which allow you to get 
> access to the fields directly (to instead or [row.T.A] you would have 
> [row.A]). In the end all of them are variations on query.
>
> I suggest you just understand how query works and use that until you 
> see the repetition in your code (and then switch to the other versions).

Right.  The type of each [query] function gives a complete account of 
which fields will be present where and when.




More information about the Ur mailing list