Changeset d97c3a4 for tests/.expect/completeTypeError.txt

Timestamp:

Jan 11, 2019, 2:16:53 PM (5 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

52ffa30

Parents:

e99e43f

Message:

Fix new cost model by boosting precedence of safe costs

File:

• tests/.expect/completeTypeError.txt (modified) (6 diffs)

tests/.expect/completeTypeError.txt

@@ -45 +45 @@
 
 Alternatives with failing assertions are:
-Cost ( 0, 1, 1, -5, 0, 0 ): Application of
+Cost ( 0, 1, 0, 1, -5, 0 ): Application of
      Variable Expression: baz: forall
        T: sized object type
@@ -53 +53 @@
            reference to instance of type T (not function type) 
            instance of type T (not function type) 
-         ... returning 
+         ... returning
            _retval__operator_assign: instance of type T (not function type) 
-           ... with attributes: 
+           ... with attributes:
              Attribute with name: unused
 
@@ -62 +62 @@
          ... with parameters
            reference to instance of type T (not function type) 
-         ... returning nothing 
+         ... returning nothing
 
          ?{}: pointer to function
@@ -68 +68 @@
            reference to instance of type T (not function type) 
            instance of type T (not function type) 
-         ... returning nothing 
+         ... returning nothing
 
          ^?{}: pointer to function
          ... with parameters
            reference to instance of type T (not function type) 
-         ... returning nothing 
+         ... returning nothing
 
 
@@ -79 +79 @@
      ... with parameters
        pointer to instance of type T (not function type) 
-     ... returning nothing 
+     ... returning nothing
 
    ... to arguments
@@ -87 +87 @@
    void 
  )
- Environment: ( _73_0_T ) -> instance of type T (not function type)  (no widening)
+ Environment:( _73_0_T ) -> instance of type T (not function type)  (no widening)