[M3devel] Open CM3 regression tests

Olaf Wagner wagner at elegosoft.com
Sun Jan 27 23:11:57 CET 2008


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




More information about the M3devel mailing list