Ignore:
Timestamp:
Jan 11, 2019, 2:16:53 PM (3 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer
Children:
52ffa30
Parents:
e99e43f
Message:

Fix new cost model by boosting precedence of safe costs

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tests/.expect/completeTypeError.txt

    re99e43f rd97c3a4  
    4545
    4646Alternatives with failing assertions are:
    47 Cost ( 0, 1, 1, -5, 0, 0 ): Application of
     47Cost ( 0, 1, 0, 1, -5, 0 ): Application of
    4848     Variable Expression: baz: forall
    4949       T: sized object type
     
    5353           reference to instance of type T (not function type)
    5454           instance of type T (not function type)
    55          ... returning 
     55         ... returning
    5656           _retval__operator_assign: instance of type T (not function type)
    57            ... with attributes: 
     57           ... with attributes:
    5858             Attribute with name: unused
    5959
     
    6262         ... with parameters
    6363           reference to instance of type T (not function type)
    64          ... returning nothing 
     64         ... returning nothing
    6565
    6666         ?{}: pointer to function
     
    6868           reference to instance of type T (not function type)
    6969           instance of type T (not function type)
    70          ... returning nothing 
     70         ... returning nothing
    7171
    7272         ^?{}: pointer to function
    7373         ... with parameters
    7474           reference to instance of type T (not function type)
    75          ... returning nothing 
     75         ... returning nothing
    7676
    7777
     
    7979     ... with parameters
    8080       pointer to instance of type T (not function type)
    81      ... returning nothing 
     81     ... returning nothing
    8282
    8383   ... to arguments
     
    8787   void
    8888 )
    89  Environment: ( _73_0_T ) -> instance of type T (not function type)  (no widening)
     89 Environment:( _73_0_T ) -> instance of type T (not function type)  (no widening)
    9090
    9191
Note: See TracChangeset for help on using the changeset viewer.