Changeset 37273c8 for src/Concurrency/Waituntil.cpp

Timestamp:

Nov 28, 2023, 3:01:52 PM (9 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

ab9c1b3

Parents:

4bc4b4c

Message:

Removed the old-ast-compatable FunctionDecl? constructor. However, enough cases pass nothing polymorphic along some of the uses of the constructor now go to a new monomorphic function constructor.

File:

• src/Concurrency/Waituntil.cpp (modified) (2 diffs)

src/Concurrency/Waituntil.cpp

@@ -553 +553 @@
     return new FunctionDecl( loc,
         predName,
-        {},                     // forall
         {
             new ObjectDecl( loc,
@@ -560 +559 @@
             )
         },
-        { 
+        {
             new ObjectDecl( loc,
                 "sat_ret",