<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Verdana
}
--></style>
</head>
<body class='hmmessage'>
> Something is really odd here.<BR><BR>
Finally found it.<BR>
There is a general notion of "solid" types.<BR>
For which equality comparison can be an inlined word by word comparison.<BR>
See EqualExpr.m3 / Max_unroll.<BR>
<BR>
- Jay<BR><BR> <BR>> Date: Fri, 19 Feb 2010 12:28:32 +0000<BR>> To: m3commit@elegosoft.com<BR>> From: jkrell@elego.de<BR>> Subject: [M3commit] CVS Update: cm3<BR>> <BR>> CVSROOT: /usr/cvs<BR>> Changes by: jkrell@birch. 10/02/19 12:28:32<BR>> <BR>> Modified files:<BR>> cm3/m3-sys/m3tests/src/p0/p053/: Main.m3 <BR>> <BR>> Log message:<BR>> Expand test coverage to more sizes of sets.<BR>> Something is really odd here.<BR>> A set of >32 elements is being correctly handled<BR>> as a set of two integers, for purposes of comparison,<BR>> but I don't see where the code to do that is.<BR>> A set of one integer, I see that.<BR>> The code is correct, but I don't know where it is coming from.<BR>> <BR> </body>
</html>