Changeset 6a490b2 for src/ResolvExpr/AlternativeFinder.cc

Timestamp:

May 11, 2020, 1:53:29 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

504a7dc

Parents:

b7d6a36 (diff), a7b486b (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into relaxed_ready

File:

• src/ResolvExpr/AlternativeFinder.cc (modified) (2 diffs)

src/ResolvExpr/AlternativeFinder.cc

@@ -1292 +1292 @@
 
                 try {
-                        // Attempt 1 : turn (thread&)X into (thread_desc&)X.__thrd
+                        // Attempt 1 : turn (thread&)X into ($thread&)X.__thrd
                         // Clone is purely for memory management
                         std::unique_ptr<Expression> tech1 { new UntypedMemberExpr(new NameExpr(castExpr->concrete_target.field), castExpr->arg->clone()) };
@@ -1303 +1303 @@
                 } catch(SemanticErrorException & ) {}
 
-                // Fallback : turn (thread&)X into (thread_desc&)get_thread(X)
+                // Fallback : turn (thread&)X into ($thread&)get_thread(X)
                 std::unique_ptr<Expression> fallback { UntypedExpr::createDeref( new UntypedExpr(new NameExpr(castExpr->concrete_target.getter), { castExpr->arg->clone() })) };
                 // don't prune here, since it's guaranteed all alternatives will have the same type