Changes in src/ResolvExpr/Resolver.cc [6668a3e:3b0bc16]

File:

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

src/ResolvExpr/Resolver.cc

@@ -1112 +1112 @@
                 }
 
-
+                
         } // anonymous namespace
 /// Establish post-resolver invariants for expressions
@@ -1158 +1158 @@
 
         namespace {
-
+                
 
                 /// resolve `untyped` to the expression whose candidate satisfies `pred` with the
@@ -1905 +1905 @@
 
                         clause2.target.args.reserve( clause.target.args.size() );
-                        const ast::StructDecl * decl_monitor = symtab.lookupStruct( "monitor$" );
                         for ( auto arg : argsCandidates.front() ) {
-                                const auto & loc = stmt->location;
-
-                                ast::Expr * init = new ast::CastExpr( loc,
-                                        new ast::UntypedExpr( loc,
-                                                new ast::NameExpr( loc, "get_monitor" ),
-                                                { arg->expr }
-                                        ),
-                                        new ast::PointerType(
-                                                new ast::StructInstType(
-                                                        decl_monitor
-                                                )
-                                        )
-                                );
-
-                                clause2.target.args.emplace_back( findSingleExpression( init, symtab ) );
+                                clause2.target.args.emplace_back( std::move( arg->expr ) );
                         }
 
@@ -2092 +2077 @@
                 if (auto functionDecl = decl.as<ast::FunctionDecl>()) {
                         // xxx - can intrinsic gen ever fail?
-                        if (functionDecl->linkage == ast::Linkage::AutoGen) {
+                        if (functionDecl->linkage == ast::Linkage::AutoGen) { 
                                 auto mutDecl = mutate(functionDecl);
                                 mutDecl->isDeleted = true;