source: src/Tests/Expect-v/OccursError.txt @ ea9b9d3

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 ea9b9d3 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: 1.3 KB
RevLine 
[b1d6dd5]1f: forall
2      T: type
3        with assertions
4          ?=?: pointer to function
5              with parameters
6                pointer to instance of type T (not function type)
7                instance of type T (not function type)
8              returning
9                instance of type T (not function type)
10
11
12    function
13    with parameters
14      pointer to function
15          with parameters
16            instance of type T (not function type)
17            pointer to instance of type T (not function type)
18          returning
19            nothing
20
21    returning
22      nothing
23
24g: forall
25      U: type
26        with assertions
27          ?=?: pointer to function
28              with parameters
29                pointer to instance of type U (not function type)
30                instance of type U (not function type)
31              returning
32                instance of type U (not function type)
33
34
35    function
36    with parameters
37      pointer to instance of type U (not function type)
38      instance of type U (not function type)
39    returning
40      nothing
41
42test: function
43      accepting unspecified arguments
44    returning
45      nothing
46    with body
47      CompoundStmt
48                  Expression Statement:
49            Applying untyped:
50                Name: f
51            ...to:
52                Name: g
53
54
Note: See TracBrowser for help on using the repository browser.