source: src/Tests/Expect-v/Rank2.txt @ 45576af9

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 45576af9 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs
  • Property mode set to 100644
File size: 3.3 KB
RevLine 
[b1d6dd5]1?=?: function
2    with parameters
3      pointer to signed int
4      signed int
5    returning
6      signed int
7
8?=?: forall
9      DT: incomplete type
10    function
11    with parameters
12      pointer to pointer to instance of type DT (not function type)
13      pointer to instance of type DT (not function type)
14    returning
15      pointer to instance of type DT (not function type)
16
17a: function
18      accepting unspecified arguments
19    returning
20      nothing
21    with body
22      CompoundStmt
23        Declaration of f: forall
24              T: type
25                with assertions
26                  ?=?: pointer to function
27                      with parameters
28                        pointer to instance of type T (not function type)
29                        instance of type T (not function type)
30                      returning
31                        instance of type T (not function type)
32
33
34            function
35            with parameters
36              instance of type T (not function type)
37            returning
38              nothing
39
40        Declaration of g: function
41            with parameters
42              p: pointer to forall
43                    U: type
44                      with assertions
45                        ?=?: pointer to function
46                            with parameters
47                              pointer to instance of type U (not function type)
48                              instance of type U (not function type)
49                            returning
50                              instance of type U (not function type)
51
52
53                  function
54                  with parameters
55                    instance of type U (not function type)
56                  returning
57                    nothing
58
59            returning
60              nothing
61
62                  Expression Statement:
63            Applying untyped:
64                Name: g
65            ...to:
66                Name: f
67
68
69g: function
70      accepting unspecified arguments
71    returning
72      nothing
73    with body
74      CompoundStmt
75        Declaration of h: function
76            with parameters
77              null: pointer to signed int
78            returning
79              nothing
80
81        Declaration of id: forall
82              T: type
83                with assertions
84                  ?=?: pointer to function
85                      with parameters
86                        pointer to instance of type T (not function type)
87                        instance of type T (not function type)
88                      returning
89                        instance of type T (not function type)
90
91
92            function
93            with parameters
94              instance of type T (not function type)
95            returning
96              instance of type T (not function type)
97
98        Declaration of 0: forall
99              T: incomplete type
100            pointer to instance of type T (not function type)
101        Declaration of 0: signed int
102                  Expression Statement:
103            Applying untyped:
104                Name: h
105            ...to:
106                Applying untyped:
107                    Name: id
108                ...to:
109                    Applying untyped:
110                        Name: id
111                    ...to:
112                        Applying untyped:
113                            Name: id
114                        ...to:
115                            Name: 0
116
117
Note: See TracBrowser for help on using the repository browser.