Ignore:
Timestamp:
Dec 3, 2020, 10:44:40 AM (4 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
1db306a
Parents:
b37515b
Message:

Improved coverage of deterministic_output to be much finer grain.

Location:
tests/errors/.expect
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • tests/errors/.expect/completeType.nast.x64.txt

    rb37515b rcd6a6ff  
    66    Name: x
    77
    8 ... to: nothing Alternatives are:
     8... to: nothing
     9... with resolved type:
     10  void Alternatives are:
    911Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
    1012      Application of
     
    1719          reference to instance of type DT (not function type)
    1820
     21        ... with resolved type:
     22          pointer to forall
     23            [unbound]:data type
     24            function
     25          ... with parameters
     26            pointer to instance of type [unbound] (not function type)
     27          ... returning
     28            reference to instance of type [unbound] (not function type)
     29
    1930        ... to arguments
    2031        Variable Expression: x: pointer to instance of struct B with body
     32        ... with resolved type:
     33          pointer to instance of struct B with body
    2134
     35      ... with resolved type:
     36        reference to instance of struct B with body
    2237    ... to: nothing
     38    ... with resolved type:
     39      void
    2340  (types:
    2441    void
    2542  )
    26   Environment:( _99_2_DT ) -> instance of struct B with body (no widening)
     43  Environment:([unbound]) -> instance of struct B with body (no widening)
    2744
    2845
     
    3754          reference to instance of type DT (not function type)
    3855
     56        ... with resolved type:
     57          pointer to forall
     58            [unbound]:data type
     59            function
     60          ... with parameters
     61            pointer to instance of type [unbound] (not function type)
     62          ... returning
     63            reference to instance of type [unbound] (not function type)
     64
    3965        ... to arguments
    4066        Variable Expression: x: pointer to instance of struct A without body
     67        ... with resolved type:
     68          pointer to instance of struct A without body
    4169
     70      ... with resolved type:
     71        reference to instance of struct A without body
    4272    ... to: nothing
     73    ... with resolved type:
     74      void
    4375  (types:
    4476    void
    4577  )
    46   Environment:( _99_2_DT ) -> instance of struct A without body (no widening)
     78  Environment:([unbound]) -> instance of struct A without body (no widening)
    4779
    4880
     
    112144            ... returning nothing
    113145
     146            ... with resolved type:
     147              pointer to forall
     148                [unbound]:sized data type
     149                ... with assertions
     150                  ?=?: pointer to function
     151                  ... with parameters
     152                    reference to instance of type [unbound] (not function type)
     153                    instance of type [unbound] (not function type)
     154                  ... returning
     155                    instance of type [unbound] (not function type)
     156
     157                  ?{}: pointer to function
     158                  ... with parameters
     159                    reference to instance of type [unbound] (not function type)
     160                  ... returning nothing
     161
     162                  ?{}: pointer to function
     163                  ... with parameters
     164                    reference to instance of type [unbound] (not function type)
     165                    instance of type [unbound] (not function type)
     166                  ... returning nothing
     167
     168                  ^?{}: pointer to function
     169                  ... with parameters
     170                    reference to instance of type [unbound] (not function type)
     171                  ... returning nothing
     172
     173
     174                function
     175              ... with parameters
     176                pointer to instance of type [unbound] (not function type)
     177              ... returning nothing
     178
    114179            ... to arguments
    115180            Variable Expression: z: pointer to instance of type T (not function type)
     181            ... with resolved type:
     182              pointer to instance of type T (not function type)
    116183          with 1 pending inference slots
    117184
     185          ... with resolved type:
     186            void
    118187        (types:
    119188          void
    120189        )
    121         Environment:( _118_0_T ) -> instance of type T (not function type) (no widening)
     190        Environment:([unbound]) -> instance of type T (not function type) (no widening)
    122191
    123192      Could not satisfy assertion:
    124193?=?: pointer to function
    125194        ... with parameters
    126           reference to instance of type _118_0_T (not function type)
    127           instance of type _118_0_T (not function type)
     195          reference to instance of type [unbound] (not function type)
     196          instance of type [unbound] (not function type)
    128197        ... returning
    129           instance of type _118_0_T (not function type)
     198          instance of type [unbound] (not function type)
    130199
  • tests/errors/.expect/completeType.oast.x64.txt

    rb37515b rcd6a6ff  
    66    Name: x
    77
    8 ... to: nothing Alternatives are:
     8... to: nothing
     9with resolved type:
     10  void  Alternatives are:
    911Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of:
    1012      Application of
     
    2022
    2123
     24        with resolved type:
     25          pointer to forall
     26            [unbound]:data type
     27            function
     28          ... with parameters
     29            intrinsic pointer to instance of type [unbound] (not function type)
     30          ... returning
     31            _retval__operator_deref: reference to instance of type [unbound] (not function type)
     32            ... with attributes:
     33              Attribute with name: unused
     34
     35
    2236      ... to arguments
    2337        Variable Expression: x: pointer to instance of struct A with body 0
    24 
     38        with resolved type:
     39          pointer to instance of struct A with body 0
     40
     41      with resolved type:
     42        reference to instance of struct A with body 0
    2543    ... to: nothing
     44    with resolved type:
     45      void
    2646  (types:
    2747    void
    2848  )
    29   Environment: -> instance of struct A with body 0 (no widening)
     49  Environment:([unbound]) -> instance of struct A with body 0 (no widening)
    3050
    3151
     
    4363
    4464
     65        with resolved type:
     66          pointer to forall
     67            [unbound]:data type
     68            function
     69          ... with parameters
     70            intrinsic pointer to instance of type [unbound] (not function type)
     71          ... returning
     72            _retval__operator_deref: reference to instance of type [unbound] (not function type)
     73            ... with attributes:
     74              Attribute with name: unused
     75
     76
    4577      ... to arguments
    4678        Variable Expression: x: pointer to instance of struct B with body 1
    47 
     79        with resolved type:
     80          pointer to instance of struct B with body 1
     81
     82      with resolved type:
     83        reference to instance of struct B with body 1
    4884    ... to: nothing
     85    with resolved type:
     86      void
    4987  (types:
    5088    void
    5189  )
    52   Environment: -> instance of struct B with body 1 (no widening)
     90  Environment:([unbound]) -> instance of struct B with body 1 (no widening)
    5391
    5492
     
    121159            ... returning nothing
    122160
     161            with resolved type:
     162              pointer to forall
     163                [unbound]:sized data type
     164                ... with assertions
     165                  ?=?: pointer to function
     166                  ... with parameters
     167                    reference to instance of type [unbound] (not function type)
     168                    instance of type [unbound] (not function type)
     169                  ... returning
     170                    _retval__operator_assign: instance of type [unbound] (not function type)
     171                    ... with attributes:
     172                      Attribute with name: unused
     173
     174
     175                  ?{}: pointer to function
     176                  ... with parameters
     177                    reference to instance of type [unbound] (not function type)
     178                  ... returning nothing
     179
     180                  ?{}: pointer to function
     181                  ... with parameters
     182                    reference to instance of type [unbound] (not function type)
     183                    instance of type [unbound] (not function type)
     184                  ... returning nothing
     185
     186                  ^?{}: pointer to function
     187                  ... with parameters
     188                    reference to instance of type [unbound] (not function type)
     189                  ... returning nothing
     190
     191
     192                function
     193              ... with parameters
     194                pointer to instance of type [unbound] (not function type)
     195              ... returning nothing
     196
    123197          ... to arguments
    124198            Variable Expression: z: pointer to instance of type T (not function type)
    125 
     199            with resolved type:
     200              pointer to instance of type T (not function type)
     201
     202          with resolved type:
     203            void
    126204        (types:
    127205          void
    128206        )
    129         Environment: -> instance of type T (not function type) (no widening)
     207        Environment:([unbound]) -> instance of type T (not function type) (no widening)
    130208
    131209      Could not satisfy assertion:
    132210?=?: pointer to function
    133211        ... with parameters
    134           reference to instance of type _110_0_T (not function type)
    135           instance of type _110_0_T (not function type)
     212          reference to instance of type [unbound] (not function type)
     213          instance of type [unbound] (not function type)
    136214        ... returning
    137           _retval__operator_assign: instance of type _110_0_T (not function type)
     215          _retval__operator_assign: instance of type [unbound] (not function type)
    138216          ... with attributes:
    139217            Attribute with name: unused
Note: See TracChangeset for help on using the changeset viewer.