Changeset ba97ebf for src/ResolvExpr

Timestamp:

Apr 19, 2024, 5:29:53 PM (12 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

d7c0ad5

Parents:

fc1a3e2

Message:

The polyCost function was just a bit more complicated than it needed to be.

File:

• src/ResolvExpr/PolyCost.cc (modified) (2 diffs)

src/ResolvExpr/PolyCost.cc ¶

@@ -29 +29 @@
         const ast::TypeEnvironment &env_;
 
-        PolyCost( const ast::SymbolTable & symtab, const ast::TypeEnvironment & env ) 
+        PolyCost( const ast::SymbolTable & symtab, const ast::TypeEnvironment & env )
         : symtab( symtab ), result( 0 ), env_( env ) {}
 
         void previsit( const ast::TypeInstType * type ) {
-                if ( const ast::EqvClass * eqv = env_.lookup( *type ) ) /* && */ if ( eqv->bound ) {
+                if ( const ast::EqvClass * eqv = env_.lookup( *type ) ; eqv && eqv->bound ) {
                         if ( const ast::TypeInstType * otherType = eqv->bound.as< ast::TypeInstType >() ) {
                                 if ( symtab.lookupType( otherType->name ) ) {
                                         // Bound to opaque type.
-                                        result += 1;
+                                        result = 1;
                                 }
                         } else {
                                 // Bound to concrete type.
-                                result += 1;
+                                result = 1;
                         }
                 }
@@ -52 +52 @@
         const ast::Type * type, const ast::SymbolTable & symtab, const ast::TypeEnvironment & env
 ) {
-        ast::Pass<PolyCost> costing( symtab, env );
-        type->accept( costing );
-        return (costing.core.result > 0) ? 1 : 0;
+        return ast::Pass<PolyCost>::read( type, symtab, env );
 }