<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 07/27/2015 07:50 PM, Stefan Scott
Alexander wrote:<br>
</div>
<blockquote
cite="mid:CAFwK6augiwhNXx2cbZT0_Pt7p9mg=opL7DzuMMWuQ0eaK9dhDQ@mail.gmail.com"
type="cite">
<div dir="ltr"><font face="monospace, monospace">Strangely, this
error message mentions a field [Id = string] - but my code
only uses [Id = int].</font></div>
</blockquote>
<br>
The problem is in this code, where you use [r.Id] as an
<option> value, which must be a string. The type of [option]
in basis.urs makes that requirement explicit.<br>
<blockquote type="cite">
<div><font face="monospace, monospace"> colorOptions <- </font></div>
<div><font face="monospace, monospace"> queryX1 (SELECT * FROM
color)</font></div>
<div><font face="monospace, monospace"> (fn r => <xml>
<option value={r.Id}> {[r.Nam]} </option>
</xml>);</font></div>
</blockquote>
<br>
<blockquote
cite="mid:CAFwK6augiwhNXx2cbZT0_Pt7p9mg=opL7DzuMMWuQ0eaK9dhDQ@mail.gmail.com"
type="cite">
<div dir="ltr"><font face="monospace, monospace">The Ur/Web
compiler gives the following error:</font>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace">```</font></div>
<div><font face="monospace, monospace">Some constructor
unification variables are undetermined in declaration</font></div>
<div><font face="monospace, monospace">(look for them as
"<UNIF:...>")</font></div>
<div><font face="monospace, monospace">```</font></div>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace">It can be difficult to
debug this error, as it refers to a wide range of lines
(covering all the function definitions).</font></div>
</div>
</blockquote>
<br>
As the message indicates, you're supposed to do a text search for
"<UNIF:" to see where the undetermined unification variables are.<br>
</body>
</html>