Changeset e580aa5 for src/Tuples/Tuples.cc

Timestamp:

Nov 16, 2023, 3:31:57 PM (6 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

b0845f9

Parents:

3f4f30a

Message:

Round of clean-up in Tuples directory. (Skipping TupleExpansion?, which will be fused together later.)

File:

• src/Tuples/Tuples.cc (modified) (1 diff)

src/Tuples/Tuples.cc

@@ -25 +25 @@
 namespace {
 
-        /// Determines if impurity (read: side-effects) may exist in a piece of code. Currently gives
-        /// a very crude approximation, wherein any function call expression means the code may be
-        /// impure.
-    struct ImpurityDetector : public ast::WithShortCircuiting {
-                bool result = false;
+/// Determines if impurity (read: side-effects) may exist in a piece of code.
+/// Currently gives a very crude approximation, wherein almost any function
+/// call expression means the code may be impure.
+struct ImpurityDetector : public ast::WithShortCircuiting {
+        bool result = false;
 
-                void previsit( ast::ApplicationExpr const * appExpr ) {
-                        if ( ast::DeclWithType const * function = ast::getFunction( appExpr ) ) {
-                                if ( function->linkage == ast::Linkage::Intrinsic
-                                                && ( function->name == "*?" || function->name == "?[?]" ) ) {
-                                        return;
-                                }
+        void previsit( ast::ApplicationExpr const * appExpr ) {
+                if ( ast::DeclWithType const * function = ast::getFunction( appExpr ) ) {
+                        if ( function->linkage == ast::Linkage::Intrinsic
+                                        && ( function->name == "*?" || function->name == "?[?]" ) ) {
+                                return;
                         }
-                        result = true; visit_children = false;
                 }
-                void previsit( ast::UntypedExpr const * ) {
-                        result = true; visit_children = false;
-                }
-        };
+                result = true; visit_children = false;
+        }
+        void previsit( ast::UntypedExpr const * ) {
+                result = true; visit_children = false;
+        }
+};
 
-        struct ImpurityDetectorIgnoreUnique : public ImpurityDetector {
-                using ImpurityDetector::previsit;
-                void previsit( ast::UniqueExpr const * ) {
-                        visit_children = false;
-                }
-        };
+struct ImpurityDetectorIgnoreUnique : public ImpurityDetector {
+        using ImpurityDetector::previsit;
+        void previsit( ast::UniqueExpr const * ) {
+                visit_children = false;
+        }
+};
+
 } // namespace