
<html>

<head>

<style>

.hmmessage P

{

margin:0px;

padding:0px

}

body.hmmessage

{

FONT-SIZE: 10pt;

FONT-FAMILY:Tahoma

}

</style>

</head>

<body class='hmmessage'>Anyone understand this and know how to fix?<BR>

 <BR>

Maybe the test passes with older/forked tools?<BR>

I'll try it with 3.6 and maybe 4.1.<BR>

 <BR>

It's very confusing that some of the "LV" and "LValue" functions take a parameter rhs : BOOLEAN.<BR>

We end up with<BR>

Variable.LoadLValue(p.obj) where p.obj is of type Constant.T<BR>

 <BR>

The fix reveals understanding of the problem and makes the specific case work, but I think a better fix must exist.<BR>

 <BR>

I think it'd be quite excellent for NARROW() failures to print the two types involved.<BR>

Currently there isn't "room" for the data -- we call abort("narrow failed").<BR>

I put in some RTIO calls in IsSubtype to get a better handle on what is happening.<BR>

Maybe m3gdb shows types well?<BR>

I'm too impatient to build it so I make do with cdb and gdb..<BR>

 <BR>

 - Jay<BR><BR><BR>


<HR id=stopSpelling>

<BR>

> Date: Sat, 3 May 2008 10:04:55 +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. 08/05/03 10:04:55<BR>> <BR>> Modified files:<BR>> cm3/m3-sys/m3front/src/exprs/: QualifyExpr.m3 <BR>> cm3/m3-sys/m3front/src/values/: Constant.i3 Constant.m3 <BR>> cm3/m3-sys/m3tests/src/: m3makefile <BR>> <BR>> Log message:<BR>> enough to fix test p2/p205, but needs more attention as the fix<BR>> seems to be at the wrong abstraction level and not cover every case<BR>> <BR>> in particular, confusion around lvalues vs. non-lvalues<BR>> in particular, read the comments in QualifyExpr.m3<BR>> <BR><BR></body>

</html>