[M3devel] Open CM3 regression tests

[Tony Hosking]

I would be surprised if the front-end is wrong, but it might be.  It  
might also be some strange interaction with the backend.  I can put  
this on my stack of things to look at, but it will be a little while  
as I catch up with other things -- I've only just begun to regain  
usable sight in one of my eyes after scratching a cornea last week.

On Jan 27, 2008, at 5:11 PM, Olaf Wagner wrote:

> Quoting Tony Hosking <hosking at cs.purdue.edu>:
>
>> It is the *front* end that compiles small sets into word operations.
>> The backend doesn't even see small sets.  So, this suggests that the
>> small sets are failing due to some interaction between the front end
>> and back end.
>
> Sorry if I seem to be a bit slow (I've caught a bronchitis again
> and perhaps cannot think as clearly as I should)... So you think
> the error is in m3-sys/m3front/src/exprs/SetExpr.m3 in
>
> PROCEDURE Compare (a, b: Expr.T;  VAR sign: INTEGER): BOOLEAN =
> and
> PROCEDURE Visit (VAR s: VisitState): BOOLEAN =
>
> or rather in m3middle while writing the intermediate representation?
>
> Olaf
> -- 
> Olaf Wagner -- elego Software Solutions GmbH
>                Gustav-Meyer-Allee 25 / Gebäude 12, 13355 Berlin,  
> Germany
> phone: +49 30 23 45 86 96  mobile: +49 177 2345 869  fax: +49 30 23  
> 45 86 95
>    http://www.elegosoft.com | Geschäftsführer: Olaf Wagner | Sitz:  
> Berlin
> Handelregister: Amtsgericht Charlottenburg HRB 77719 | USt-IdNr:  
> DE163214194
>