source: src/Tests/Expect-a/Quad.txt @ 4c82a3c

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 4c82a3c 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: 2.1 KB
Line 
1?=?: function
2    with parameters
3      pointer to signed int
4      signed int
5    returning
6      signed int
7
8?*?: function
9    with parameters
10      signed int
11      signed int
12    returning
13      signed int
14
15square: forall
16      T: type
17        with assertions
18          ?=?: function
19              with parameters
20                pointer to instance of type T (not function type)
21                instance of type T (not function type)
22              returning
23                instance of type T (not function type)
24
25          ?*?: function
26              with parameters
27                instance of type T (not function type)
28                instance of type T (not function type)
29              returning
30                instance of type T (not function type)
31
32
33    function
34    with parameters
35      t: instance of type T (not function type)
36    returning
37      instance of type T (not function type)
38    with body
39      CompoundStmt
40                  Return Statement, returning: Applying untyped:
41    Name: ?*?
42...to:
43    Name: t
44    Name: t
45
46
47
48quad: forall
49      U: type
50        with assertions
51          ?=?: function
52              with parameters
53                pointer to instance of type U (not function type)
54                instance of type U (not function type)
55              returning
56                instance of type U (not function type)
57
58          square: function
59              with parameters
60                instance of type U (not function type)
61              returning
62                instance of type U (not function type)
63
64
65    function
66    with parameters
67      u: instance of type U (not function type)
68    returning
69      instance of type U (not function type)
70    with body
71      CompoundStmt
72                  Return Statement, returning: Applying untyped:
73    Name: square
74...to:
75    Applying untyped:
76        Name: square
77    ...to:
78        Name: u
79
80
81
82f: function
83      accepting unspecified arguments
84    returning
85      void
86    with body
87      CompoundStmt
88                  Expression Statement:
89            Applying untyped:
90                Name: quad
91            ...to:
92constant expression 7 signed int
93
Note: See TracBrowser for help on using the repository browser.