<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 03:57 PM, Stefan Scott
Alexander wrote:<br>
</div>
<blockquote
cite="mid:CAFwK6asUS+xpJ2Ki5AqHmjo=c6e+4e9qkt6Wx0LXSvS9yAaKKQ@mail.gmail.com"
type="cite">
<div dir="ltr"><font face="monospace, monospace">As a test, I'm
now trying a very simple pattern as follows:</font>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace"> fun getSomeColNam
someCols =</font></div>
<div><font face="monospace, monospace"> case someCols of </font></div>
<div><font face="monospace, monospace"> { colNam = _ , </font><span
style="font-family:monospace,monospace">... } => colNam</span></div>
<div><font face="monospace, monospace"> | _ => error</font></div>
<div><font face="monospace, monospace"><br>
</font></div>
[...]
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace">I'm trying to follow the
syntax for the "flexible record pattern" from page 14 of the
manual:</font></div>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace"> {(x = p,)+, ... }
flexible record pattern</font></div>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="monospace, monospace">I can't find the error in
my syntax.</font></div>
</div>
</blockquote>
<br>
The manual uses [X], not [x], indicating that only capitalized
identifiers are allowed in those positions. As a consequence, no,
you can't use those positions to bind names to arbitrarily chosen
columns, as name variables are always lowercased. In general,
pattern matching in Ur (and ML) is always deterministic.<br>
</body>
</html>