Changes in src/ResolvExpr/Resolver.cc [490fb92e:954c954]

File:

• src/ResolvExpr/Resolver.cc (modified) (5 diffs)

src/ResolvExpr/Resolver.cc

@@ -1105 +1105 @@
                 }
 
-                
-        } // anonymous namespace
-/// Establish post-resolver invariants for expressions
+                /// Establish post-resolver invariants for expressions
                 void finishExpr(
                         ast::ptr< ast::Expr > & expr, const ast::TypeEnvironment & env,
@@ -1120 +1118 @@
                         StripCasts_new::strip( expr );
                 }
+        } // anonymous namespace
+
 
         ast::ptr< ast::Expr > resolveInVoidContext(
@@ -1139 +1139 @@
         }
 
-        /// Resolve `untyped` to the expression whose candidate is the best match for a `void`
+        namespace {
+                /// Resolve `untyped` to the expression whose candidate is the best match for a `void`
                 /// context.
                 ast::ptr< ast::Expr > findVoidExpression(
@@ -1150 +1151 @@
                         return newExpr;
                 }
-
-        namespace {
-                
 
                 /// resolve `untyped` to the expression whose candidate satisfies `pred` with the
@@ -1164 +1162 @@
                         CandidateRef choice =
                                 findUnfinishedKindExpression( untyped, symtab, kind, pred, mode );
-                        ResolvExpr::finishExpr( choice->expr, choice->env, untyped->env );
+                        finishExpr( choice->expr, choice->env, untyped->env );
                         return std::move( choice->expr );
                 }