Changeset c75b30a for src/ResolvExpr/Unify.cc

Timestamp:

Jan 31, 2024, 6:25:02 PM (8 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

32490deb

Parents:

16afb2a

Message:

Introduce posE, valueE, labelE pseudo language to the language. Rework the internal representation of enumeration.

File:

• src/ResolvExpr/Unify.cc (modified) (1 diff)

src/ResolvExpr/Unify.cc

@@ -73 +73 @@
                 ast::Type * newFirst  = shallowCopy( first  );
                 ast::Type * newSecond = shallowCopy( second );
-                if ( auto temp = dynamic_cast<const ast::EnumInstType *>(first) ) {
-                        if ( !dynamic_cast< const ast::EnumInstType * >( second ) ) {
-                                const ast::EnumDecl * baseEnum = dynamic_cast<const ast::EnumDecl *>(temp->base.get());
-                                if ( auto t = baseEnum->base.get() ) {
-                                        newFirst = ast::shallowCopy( t );
-                                }
-                        }
-                } else if ( auto temp = dynamic_cast<const ast::EnumInstType *>(second) ) {
-                        const ast::EnumDecl * baseEnum = dynamic_cast<const ast::EnumDecl *>(temp->base.get());
-                        if ( auto t = baseEnum->base.get() ) {
-                                newSecond = ast::shallowCopy( t );
-                        }
-                }
 
                 newFirst ->qualifiers = {};