[Ur] Minimal example of <select> widget for foreign-key field; error "Some constructor unification variables are undetermined" mentions field [Id = string] - but my field is actually [Id = int]

[Stefan Scott Alexander]

Thank you Adam.

I did suspect that the issue involved using an 'int' in XML where a
'string' was expected, as you confirmed.

I understand that

  {[_]}

calls Top.txt to convert to type 'string', but I don't believe that

  {_}

does this, so I will have to define some additional functions for
displaying and parsing this value.

Thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150728/d2965e31/attachment.html>