[Ur] Metaprogramming doubt

[Saulo Araujo]

Hi Adam,

Thanks for the quick answer!

Regards,
Saulo

On Mon, Sep 26, 2016 at 7:47 PM, Adam Chlipala <adamc at csail.mit.edu> wrote:

> On 09/26/2016 06:44 PM, Saulo Araujo wrote:
>
>> Does the Ur/Web type system allow me to require that groupRowTable
>> contains foreign keys to the group and row tables? If so, could you show me
>> how or point me to a similar example?
>>
>
> No, Ur/Web's encoding of SQL schemas doesn't track the presence of
> foreign-key constraints.  However, it does track which keys exist for
> tables.  Those are in the second argument to [sql_table].
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160926/902fe4d7/attachment.html>