<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:Calibri
}
--></style></head>
<body class='hmmessage'><div dir='ltr'>    I have an IntSeq.T with a bunch of integers.    <br><div><span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span>What is a good terse efficient idiom for sort and unique?<span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span></div><div><br></div><div><br></div><div>    In C++ I would say:<span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span></div><div><span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span>vector<int> a;<span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span></div><div><span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span>a.push_back(...);<span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span></div><div><div><span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span>a.push_back(...);<span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span></div><div><span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span>std::sort(a.begin(), a.end());<span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span></div><div><span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span>a.resize(std::unique(a.begin(), a.end()) - a.begin());<span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span></div><div><span style="font-size: 12pt; ">    for (auto i = a.begin(); i != a.end(); ++i)</span></div><div><span style="font-size: 12pt; ">    {<br>      do stuff with *i</span></div><div><span style="font-size: 12pt; ">    }</span></div><div> </div><div><br></div><div><span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span>Nice, terse, efficient.<span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span></div><div><span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span>In Modula-3?<span style="font-size: 12pt; ">   </span><span style="font-size: 12pt; "> </span></div><div><br></div><div><br></div><div>I know that unique is one of the easiest algorithms to manually write inline,</div><div>but I shouldn't have to.</div><div><br></div><div><br></div><div>(I'm really trying to stay in Modula-3 here, but it is definitely a struggle. :( )</div><div><br></div><div><br></div><div>Thank you,</div><div> - Jay</div><br><br></div>                                      </div></body>
</html>