[Ur] Minimal example of 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 Tue, 28 Jul 2015 08:30:09 -0700 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! _______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur Previous message View by thread View by date Next message [Ur] Minimal example of <select> widget for f... Stefan Scott Alexander Re: [Ur] Minimal example of <select> wid... Adam Chlipala [Ur] Minimal example of <select> widget ... Stefan Scott Alexander Reply via email to

[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!

_______________________________________________
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur