Changeset 748877f for tests/errors/.expect/completeType.arm64.txt

Timestamp:

Aug 4, 2024, 12:23:00 PM (41 hours ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

7ab24fef

Parents:

a57ad8a (diff), 065de93 (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:

• tests/errors/.expect/completeType.arm64.txt (modified) (3 diffs)

tests/errors/.expect/completeType.arm64.txt

@@ -9 +9 @@
 ... with resolved type:
   void Alternatives are:
-Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
+Cost ( 0, 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
       Application of
         Variable Expression: *?: forall
@@ -44 +44 @@
 
 
-Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
+Cost ( 0, 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
       Application of
         Variable Expression: *?: forall
@@ -111 +111 @@
 
       Unsatisfiable alternative:
-Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of
+Cost ( 0, 0, 1, 0, 0, 1, -5, 0 ): Application of
             Variable Expression: baz: forall
               instance of type T (not function type)