Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • tests/.expect/completeTypeError.txt

    r7889f14 r980aa4a  
    1 completeTypeError.cfa:34:1 error: Cannot choose between 2 alternatives for expression
    2 Generated Cast of:
    3   Applying untyped:
    4     Name: *?
    5   ...to:
    6     Name: x
     1completeTypeError.cfa:33:1 error: No reasonable alternatives for expression Applying untyped:
     2  Name: *?
     3...to:
     4  Name: v
    75
    8 ... to: nothing Alternatives are:
    9 Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
    10      Application of
    11        Variable Expression: *?: forall
    12          DT: object type
    13          function
    14        ... with parameters
    15          intrinsic pointer to instance of type DT (not function type)
    16        ... returning
    17          _retval__operator_deref: reference to instance of type DT (not function type)
    18          ... with attributes:
    19            Attribute with name: unused
    20 
    21 
    22      ... to arguments
    23        Variable Expression: x: pointer to instance of struct A with body 0
    24 
    25    ... to: nothing
    26  (types:
    27    void
    28  )
    29  Environment:( _80_4_DT ) -> instance of struct A with body 0 (no widening)
    30 
    31 
    32 Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
    33      Application of
    34        Variable Expression: *?: forall
    35          DT: object type
    36          function
    37        ... with parameters
    38          intrinsic pointer to instance of type DT (not function type)
    39        ... returning
    40          _retval__operator_deref: reference to instance of type DT (not function type)
    41          ... with attributes:
    42            Attribute with name: unused
    43 
    44 
    45      ... to arguments
    46        Variable Expression: x: pointer to instance of struct B with body 1
    47 
    48    ... to: nothing
    49  (types:
    50    void
    51  )
    52  Environment:( _80_4_DT ) -> instance of struct B with body 1 (no widening)
    53 
    54 
     6completeTypeError.cfa:34:1 error: No reasonable alternatives for expression Applying untyped:
     7  Name: *?
     8...to:
     9  Name: y
    5510
    5611completeTypeError.cfa:35:1 error: No reasonable alternatives for expression Applying untyped:
    … …  
    6924  Name: v
    7025
    71 completeTypeError.cfa:59:1 error: No reasonable alternatives for expression Applying untyped:
     26completeTypeError.cfa:58:1 error: No reasonable alternatives for expression Applying untyped:
    7227  Name: baz
    7328...to:
    7429  Name: y
    7530
    76 completeTypeError.cfa:60:1 error: No reasonable alternatives for expression Applying untyped:
     31completeTypeError.cfa:59:1 error: No reasonable alternatives for expression Applying untyped:
    7732  Name: quux
    7833...to:
    7934  Name: y
    8035
    81 completeTypeError.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped:
     36completeTypeError.cfa:60:1 error: No reasonable alternatives for expression Applying untyped:
     37  Name: *?
     38...to:
     39  Name: y
     40
     41completeTypeError.cfa:72:1 error: No resolvable alternatives for expression Applying untyped:
    8242  Name: baz
    8343...to:
    8444  Name: z
    8545
    86    Unsatisfiable alternative:
     46Alternatives with failing assertions are:
    8747Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of
    88          Variable Expression: baz: forall
    89            T: sized object type
    90            ... with assertions
    91              ?=?: pointer to function
    92              ... with parameters
    93                reference to instance of type T (not function type)
    94                instance of type T (not function type)
    95              ... returning
    96                _retval__operator_assign: instance of type T (not function type)
    97                ... with attributes:
    98                  Attribute with name: unused
     48     Variable Expression: baz: forall
     49       T: sized object type
     50       ... with assertions
     51         ?=?: pointer to function
     52         ... with parameters
     53           reference to instance of type T (not function type)
     54           instance of type T (not function type)
     55         ... returning
     56           _retval__operator_assign: instance of type T (not function type)
     57           ... with attributes:
     58             Attribute with name: unused
    9959
    10060
    101              ?{}: pointer to function
    102              ... with parameters
    103                reference to instance of type T (not function type)
    104              ... returning nothing
     61         ?{}: pointer to function
     62         ... with parameters
     63           reference to instance of type T (not function type)
     64         ... returning nothing
    10565
    106              ?{}: pointer to function
    107              ... with parameters
    108                reference to instance of type T (not function type)
    109                instance of type T (not function type)
    110              ... returning nothing
     66         ?{}: pointer to function
     67         ... with parameters
     68           reference to instance of type T (not function type)
     69           instance of type T (not function type)
     70         ... returning nothing
    11171
    112              ^?{}: pointer to function
    113              ... with parameters
    114                reference to instance of type T (not function type)
    115              ... returning nothing
     72         ^?{}: pointer to function
     73         ... with parameters
     74           reference to instance of type T (not function type)
     75         ... returning nothing
    11676
    11777
    118            function
    119          ... with parameters
    120            pointer to instance of type T (not function type)
    121          ... returning nothing
     78       function
     79     ... with parameters
     80       pointer to instance of type T (not function type)
     81     ... returning nothing
    12282
    123        ... to arguments
    124          Variable Expression: z: pointer to instance of type T (not function type)
     83   ... to arguments
     84     Variable Expression: z: pointer to instance of type T (not function type)
    12585
    126      (types:
    127        void
    128      )
    129      Environment:( _99_0_T ) -> instance of type T (not function type) (no widening)
    130 
    131    Could not satisfy assertion:
    132 ?=?: pointer to function
    133      ... with parameters
    134        reference to instance of type _99_0_T (not function type)
    135        instance of type _99_0_T (not function type)
    136      ... returning
    137        _retval__operator_assign: instance of type _99_0_T (not function type)
    138        ... with attributes:
    139          Attribute with name: unused
     86 (types:
     87   void
     88 )
     89 Environment:( _99_0_T ) -> instance of type T (not function type) (no widening)
    14090
    14191
     92
Note: See TracChangeset for help on using the changeset viewer.