Remove no-longer needed 'static domain type' stub prim

Signed-off-by: Anna Rift <[email protected]>
chapel-lang · Jan 15, 2025 · 33c18df · 33c18df
1 parent 50e97f8
commit 33c18df
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 26 deletions.
diff --git a/frontend/include/chpl/uast/prim-ops-list.h b/frontend/include/chpl/uast/prim-ops-list.h
@@ -139,8 +139,6 @@ PRIMITIVE_R(QUERY, "query")
 PRIMITIVE_R(QUERY_PARAM_FIELD, "query param field")
 PRIMITIVE_R(QUERY_TYPE_FIELD, "query type field")
 
-PRIMITIVE_R(STATIC_DOMAIN_TYPE, "static domain type")
-
 PRIMITIVE_R(STATIC_FUNCTION_VAR, "static function var")
 PRIMITIVE_R(STATIC_FUNCTION_VAR_VALIDATE_TYPE, "static function validate type")
 PRIMITIVE_R(STATIC_FUNCTION_VAR_WRAPPER, "static function var wrapper")

diff --git a/frontend/lib/resolution/prims.cpp b/frontend/lib/resolution/prims.cpp
@@ -326,26 +326,6 @@ static QualifiedType primImplementsInterface(Context* context,
   return makeParamInt(context, witness ? 1 : 2);
 }
 
-static QualifiedType computeDomainType(Context* context, const CallInfo& ci) {
-  if (ci.numActuals() == 3) {
-    auto type = DomainType::getRectangularType(context,
-                                          QualifiedType(),
-                                          ci.actual(0).type(),
-                                          ci.actual(1).type(),
-                                          ci.actual(2).type());
-    return QualifiedType(QualifiedType::TYPE, type);
-  } else if (ci.numActuals() == 2) {
-    auto type = DomainType::getAssociativeType(context,
-                                               QualifiedType(),
-                                               ci.actual(0).type(),
-                                               ci.actual(1).type());
-    return QualifiedType(QualifiedType::TYPE, type);
-  } else {
-    CHPL_ASSERT(false && "unhandled domain type?");
-  }
-  return QualifiedType();
-}
-
 static QualifiedType primAddrOf(Context* context, const CallInfo& ci) {
   if (ci.numActuals() != 1) return QualifiedType();
 
@@ -1632,10 +1612,6 @@ CallResolutionResult resolvePrimCall(ResolutionContext* rc,
                            VoidType::get(context));
       break;
 
-    case PRIM_STATIC_DOMAIN_TYPE:
-      type = computeDomainType(context, ci);
-      break;
-
     case PRIM_GET_COMPILER_VAR: {
         auto chplenv = context->getChplEnv();
         auto varName = ci.actual(0).type().param()->toStringParam()->value().str();