Ignore:
Timestamp:
Jun 6, 2019, 10:23:59 PM (7 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct
Children:
46438e4
Parents:
c6a1e8a (diff), 5684736 (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:
1 edited

Legend:

Unmodified
Added
Removed

  • tests/.expect/completeTypeError.txt

    rc6a1e8a r866545b  
    88... to: nothing Alternatives are:
    99Cost ( 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
     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
    2020
    2121
    22      ... to arguments
    23        Variable Expression: x: pointer to instance of struct A with body 0
     22      ... to arguments
     23        Variable Expression: x: pointer to instance of struct A with body 0
    2424
    25    ... to: nothing
    26  (types:
    27    void
    28  )
    29  Environment:( _82_4_DT ) -> instance of struct A with body 0 (no widening)
     25    ... to: nothing
     26  (types:
     27    void
     28  )
     29  Environment:( _82_4_DT ) -> instance of struct A with body 0 (no widening)
    3030
    3131
    3232Cost ( 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
     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
    4343
    4444
    45      ... to arguments
    46        Variable Expression: x: pointer to instance of struct B with body 1
     45      ... to arguments
     46        Variable Expression: x: pointer to instance of struct B with body 1
    4747
    48    ... to: nothing
    49  (types:
    50    void
    51  )
    52  Environment:( _82_4_DT ) -> instance of struct B with body 1 (no widening)
     48    ... to: nothing
     49  (types:
     50    void
     51  )
     52  Environment:( _82_4_DT ) -> instance of struct B with body 1 (no widening)
    5353
    5454
    … …  
    8484  Name: z
    8585
    86    Unsatisfiable alternative:
     86      Unsatisfiable alternative:
    8787Cost ( 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
     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
    9999
    100100
    101              ?{}: pointer to function
    102              ... with parameters
    103                reference to instance of type T (not function type)
    104              ... returning nothing
     101                ?{}: pointer to function
     102                ... with parameters
     103                  reference to instance of type T (not function type)
     104                ... returning nothing
    105105
    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
     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
    111111
    112              ^?{}: pointer to function
    113              ... with parameters
    114                reference to instance of type T (not function type)
    115              ... returning nothing
     112                ^?{}: pointer to function
     113                ... with parameters
     114                  reference to instance of type T (not function type)
     115                ... returning nothing
    116116
    117117
    118            function
    119          ... with parameters
    120            pointer to instance of type T (not function type)
    121          ... returning nothing
     118              function
     119            ... with parameters
     120              pointer to instance of type T (not function type)
     121            ... returning nothing
    122122
    123        ... to arguments
    124          Variable Expression: z: pointer to instance of type T (not function type)
     123          ... to arguments
     124            Variable Expression: z: pointer to instance of type T (not function type)
    125125
    126      (types:
    127        void
    128      )
    129      Environment:( _101_0_T ) -> instance of type T (not function type) (no widening)
     126        (types:
     127          void
     128        )
     129        Environment:( _101_0_T ) -> instance of type T (not function type) (no widening)
    130130
    131    Could not satisfy assertion:
     131      Could not satisfy assertion:
    132132?=?: pointer to function
    133      ... with parameters
    134        reference to instance of type _101_0_T (not function type)
    135        instance of type _101_0_T (not function type)
    136      ... returning
    137        _retval__operator_assign: instance of type _101_0_T (not function type)
    138        ... with attributes:
    139          Attribute with name: unused
     133        ... with parameters
     134          reference to instance of type _101_0_T (not function type)
     135          instance of type _101_0_T (not function type)
     136        ... returning
     137          _retval__operator_assign: instance of type _101_0_T (not function type)
     138          ... with attributes:
     139            Attribute with name: unused
    140140
    141141
Note: See TracChangeset for help on using the changeset viewer.