Changeset d73e667 for src/AST/Type.cpp

Timestamp:

Mar 25, 2025, 12:24:20 PM (4 weeks ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

446dde5, 8ef0bf7

Parents:

399074a (diff), b5978ca (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/AST/Type.cpp (modified) (1 diff)

src/AST/Type.cpp ¶

@@ -167 +167 @@
 bool TypeInstType::isComplete() const { return base->sized; }
 
+static std::string toTypeString( int usage, int id, std::string const & name ) {
+        return "_" + std::to_string( usage ) + "_" + std::to_string( id ) + "_" + name;
+}
+
+std::string TypeInstType::typeString() const {
+        return ( 0 < formal_usage ) ? toTypeString( formal_usage, expr_id, name ) : name;
+}
+
 std::string TypeEnvKey::typeString() const {
-        return std::string("_") + std::to_string(formal_usage)
-                + "_" + std::to_string(expr_id) + "_" + base->name;
+        return toTypeString( formal_usage, expr_id, base->name );
 }