Changeset 914844e for tests/errors/.expect/completeType.nast.x64.txt

Timestamp:

Nov 24, 2020, 3:50:17 PM (2 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

53e28a7

Parents:

18fe0fe

Message:

fix attributes and completeType error for new ast (only x64)

File:

• tests/errors/.expect/completeType.nast.x64.txt (modified) (4 diffs)

tests/errors/.expect/completeType.nast.x64.txt

@@ -13 +13 @@
           function
         ... with parameters
-          intrinsic pointer to instance of type DT (not function type)
+          pointer to instance of type DT (not function type)
         ... returning
-          _retval__operator_deref: reference to instance of type DT (not function type)
-          ... with attributes:
-            Attribute with name: unused
+          reference to instance of type DT (not function type)
 
-
-      ... to arguments
-        Variable Expression: x: pointer to instance of struct A with body 0
+        ... to arguments
+        Variable Expression: x: pointer to instance of struct B with body
 
     ... to: nothing
   (types:
-    void 
+    void
   )
-  Environment: -> instance of struct A with body 0 (no widening)
+  Environment:( _99_2_DT ) -> instance of struct B with body (no widening)
 
 
@@ -36 +33 @@
           function
         ... with parameters
-          intrinsic pointer to instance of type DT (not function type)
+          pointer to instance of type DT (not function type)
         ... returning
-          _retval__operator_deref: reference to instance of type DT (not function type)
-          ... with attributes:
-            Attribute with name: unused
+          reference to instance of type DT (not function type)
 
-
-      ... to arguments
-        Variable Expression: x: pointer to instance of struct B with body 1
+        ... to arguments
+        Variable Expression: x: pointer to instance of struct A without body
 
     ... to: nothing
   (types:
-    void 
+    void
   )
-  Environment: -> instance of struct B with body 1 (no widening)
+  Environment:( _99_2_DT ) -> instance of struct A without body (no widening)
 
 
 
-errors/completeType.cfa:35:1 error: No reasonable alternatives for expression Applying untyped:
+errors/completeType.cfa:35:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: foo
 ...to:
   Name: v
 
-errors/completeType.cfa:36:1 error: No reasonable alternatives for expression Applying untyped:
+errors/completeType.cfa:36:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: baz
 ...to:
   Name: v
 
-errors/completeType.cfa:37:1 error: No reasonable alternatives for expression Applying untyped:
+errors/completeType.cfa:37:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: quux
 ...to:
   Name: v
 
-errors/completeType.cfa:59:1 error: No reasonable alternatives for expression Applying untyped:
+errors/completeType.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: baz
 ...to:
   Name: y
 
-errors/completeType.cfa:60:1 error: No reasonable alternatives for expression Applying untyped:
+errors/completeType.cfa:60:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: quux
 ...to:
@@ -94 +88 @@
                   instance of type T (not function type)
                 ... returning
-                  _retval__operator_assign: instance of type T (not function type)
-                  ... with attributes:
-                    Attribute with name: unused
-
+                  instance of type T (not function type)
 
                 ?{}: pointer to function
@@ -121 +112 @@
             ... returning nothing
 
-          ... to arguments
+            ... to arguments
             Variable Expression: z: pointer to instance of type T (not function type)
+          with 1 pending inference slots
 
         (types:
-          void 
+          void
         )
-        Environment: -> instance of type T (not function type) (no widening)
+        Environment:( _118_0_T ) -> instance of type T (not function type) (no widening)
 
       Could not satisfy assertion:
 ?=?: pointer to function
         ... with parameters
-          reference to instance of type _110_0_T (not function type)
-          instance of type _110_0_T (not function type)
+          reference to instance of type _118_0_T (not function type)
+          instance of type _118_0_T (not function type)
         ... returning
-          _retval__operator_assign: instance of type _110_0_T (not function type)
-          ... with attributes:
-            Attribute with name: unused
+          instance of type _118_0_T (not function type)
 
-