Changeset 822332e for src/ResolvExpr/Unify.cpp

Timestamp:

May 30, 2024, 2:36:08 PM (5 weeks ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

0f5e8cd

Parents:

91b9e10

Message:

It seems clang uses different scoping rules for the trailing return of a scoped runction declaration. This form seems compatable with clang and gcc. Since I switched over to clang for testing I also cleaned up all errors that clang or gcc mentioned.

File:

• src/ResolvExpr/Unify.cpp (modified) (2 diffs)

src/ResolvExpr/Unify.cpp

@@ -274 +274 @@
         void previsit( const ast::Node * ) { visit_children = false; }
 
-        void postvisit( const ast::VoidType * vt) {
-                result = dynamic_cast< const ast::VoidType * >( type2 ); 
+        void postvisit( const ast::VoidType * ) {
+                result = dynamic_cast< const ast::VoidType * >( type2 );
                         // || tryToUnifyWithEnumValue(vt, type2, tenv, need, have, open, noWiden());
                 ;
@@ -610 +610 @@
         }
 
-        void postvisit( const ast::VarArgsType * vat) {
+        void postvisit( const ast::VarArgsType * ) {
                 result = dynamic_cast< const ast::VarArgsType * >( type2 );
                         // || tryToUnifyWithEnumValue(vat, type2, tenv, need, have, open, noWiden());
         }
 
-        void postvisit( const ast::ZeroType * zt) {
+        void postvisit( const ast::ZeroType * ) {
                 result = dynamic_cast< const ast::ZeroType * >( type2 );
                         // || tryToUnifyWithEnumValue(zt, type2, tenv, need, have, open, noWiden());
         }
 
-        void postvisit( const ast::OneType * ot) {
+        void postvisit( const ast::OneType * ) {
                 result = dynamic_cast< const ast::OneType * >( type2 );
                         // || tryToUnifyWithEnumValue(ot, type2, tenv, need, have, open, noWiden());