Changeset 7f2bfb7 for src/Concurrency/KeywordsNew.cpp

Timestamp:

Nov 29, 2023, 1:41:52 PM (9 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

4dc3b8c

Parents:

4f1b2d69 (diff), ab9c1b3 (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' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/Concurrency/KeywordsNew.cpp (modified) (4 diffs)

src/Concurrency/KeywordsNew.cpp

@@ -482 +482 @@
                 location,
                 getter_name,
-                {}, // forall
                 { this_decl }, // params
                 { ret_decl }, // returns
@@ -499 +498 @@
                         location,
                         "main",
-                        {},
                         { ast::deepCopy( this_decl ) },
                         {},
@@ -575 +573 @@
                 location,
                 "lock",
-                { /* forall */ },
                 {
                         // Copy the declaration of this.
@@ -607 +604 @@
                 location,
                 "unlock",
-                { /* forall */ },
                 {
                         // Last use, consume the declaration of this.