source: tests/bugs/.expect/194.txt @ 49cad912

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 49cad912 was 4d23dd2, checked in by Thierry Delisle <tdelisle@…>, 4 years ago

Added tests cases for some of the opened tickets

  • Property mode set to 100644
File size: 951 bytes
Line 
1bugs/194.cfa:13:1 error: Cannot choose between 2 alternatives for expression
2Applying untyped:
3  Name: foo
4...to:
5 Alternatives are:
6Cost ( 0, 0, 0, 0, 1, 0, 0 ): Application of
7      Variable Expression: foo: forall
8        T: sized data type
9        function
10      ... returning
11        _retval_foo: reference to instance of type T (not function type)
12        ... with attributes:
13          Attribute with name: unused
14
15
16
17  (types:
18    reference to instance of type _79_5_T (not function type)
19  )
20  Environment: -> pointer to signed int
21
22
23Cost ( 0, 0, 0, 0, 1, 0, 0 ): Application of
24      Variable Expression: foo: forall
25        T: sized data type
26        function
27      ... returning
28        _retval_foo: pointer to instance of type T (not function type)
29        ... with attributes:
30          Attribute with name: unused
31
32
33
34  (types:
35    pointer to instance of type _79_6_T (not function type)
36  )
37  Environment: -> signed int (no widening)
38
39
40
Note: See TracBrowser for help on using the repository browser.