Changeset 822332e for src/ResolvExpr

Timestamp:

May 30, 2024, 2:36:08 PM (11 months 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.

Location:

src/ResolvExpr

Files:

• CommonType.cpp (modified) (1 diff)
• Unify.cpp (modified) (2 diffs)

src/ResolvExpr/CommonType.cpp ¶

@@ -353 +353 @@
         ast::AssertionSet & have;
 public:
-        static size_t traceId;
         ast::ptr< ast::Type > result;
 

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());