source: src/Tests/Expect-a/Context.txt @ a89b2fa

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

unify and fix storage class
  • Property mode set to 100644
File size: 1.7 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
[5f2f2d7]16          ?=?: function
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
[51b7345]23          instance of context has_q
24            with parameters
[5f2f2d7]25              instance of type z (not function type)
[51b7345]26
27
[5f2f2d7]28    function
29      accepting unspecified arguments
[51b7345]30    returning
31      void
32    with body
[5f2f2d7]33      CompoundStmt
34        Declaration of context has_r
[51b7345]35            with parameters
[5f2f2d7]36              T: type
37              U: type
38
39            with members
40              r: function
41                  with parameters
42                    instance of type T (not function type)
43                    function
44                        with parameters
45                          instance of type T (not function type)
46                          instance of type U (not function type)
47                        returning
48                          instance of type T (not function type)
49
50                  returning
51                    instance of type T (not function type)
52
53
[68cd1ce]54        Declaration of x: extern type
55        Declaration of y: extern type
[5f2f2d7]56          with assertions
57            instance of context has_r
58              with parameters
59                instance of type x (not function type)
60                instance of type y (not function type)
[51b7345]61
62
63
Note: See TracBrowser for help on using the repository browser.