source: src/Tests/Expect-v/Context.txt @ db175c8

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 db175c8 was 68cd1ce, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

unify and fix storage class
  • Property mode set to 100644
File size: 2.4 KB
RevLine 
[51b7345]1context has_q
2    with parameters
[5f2f2d7]3      T: type
[51b7345]4
5    with members
[5f2f2d7]6      q: function
[51b7345]7          with parameters
[5f2f2d7]8            instance of type T (not function type)
[51b7345]9          returning
[5f2f2d7]10            instance of type T (not function type)
[51b7345]11
12
[5f2f2d7]13f: forall
14      z: type
[51b7345]15        with assertions
[b1d6dd5]16          ?=?: pointer to function
[5f2f2d7]17              with parameters
18                pointer to instance of type z (not function type)
19                instance of type z (not function type)
20              returning
21                instance of type z (not function type)
22
[b1d6dd5]23          q: pointer to function
24              with parameters
25                instance of type z (not function type)
26              returning
27                instance of type z (not function type)
[51b7345]28
29
[5f2f2d7]30    function
31      accepting unspecified arguments
[51b7345]32    returning
[b1d6dd5]33      nothing
[51b7345]34    with body
[5f2f2d7]35      CompoundStmt
36        Declaration of context has_r
[51b7345]37            with parameters
[5f2f2d7]38              T: type
39              U: type
40
41            with members
42              r: function
43                  with parameters
44                    instance of type T (not function type)
[b1d6dd5]45                    pointer to function
[5f2f2d7]46                        with parameters
47                          instance of type T (not function type)
48                          instance of type U (not function type)
49                        returning
50                          instance of type T (not function type)
51
52                  returning
53                    instance of type T (not function type)
54
55
[68cd1ce]56        Declaration of x: extern type
[b1d6dd5]57        Declaration of ?=?: automatically generated function
58            with parameters
59              _dst: pointer to instance of type x (not function type)
60              _src: instance of type x (not function type)
61            returning
62              instance of type x (not function type)
63
[68cd1ce]64        Declaration of y: extern type
[5f2f2d7]65          with assertions
66            instance of context has_r
67              with parameters
68                instance of type x (not function type)
69                instance of type y (not function type)
[51b7345]70
71
[b1d6dd5]72        Declaration of ?=?: automatically generated function
73            with parameters
74              _dst: pointer to instance of type y (not function type)
75              _src: instance of type y (not function type)
76            returning
77              instance of type y (not function type)
78
[51b7345]79
Note: See TracBrowser for help on using the repository browser.