source: tests/errors/completeType.cfa @ 9c6443e

ADTast-experimentalpthread-emulationqualifiedEnum
Last change on this file since 9c6443e was fd54fef, checked in by Michael Brooks <mlbrooks@…>, 3 years ago

Converting the project to use the new syntax for otype, dtype and ttytpe.

Changed prelude (gen), libcfa and test suite to use it. Added a simple deprecation rule of the old syntax to the parser; we might wish to support both syntaxes "officially," like with an extra CLI switch, but this measure should serve as a simple reminder for our team to try the new syntax.
  • Property mode set to 100644
File size: 681 bytes
RevLine 
[2c57025]1void foo(int *) {}
2void bar(void *) {}
[fd54fef]3forall(T) void baz(T *);
4forall(T &) void qux(T *);
5forall(T & | sized(T)) void quux(T *);
[2c57025]6
[f29d603]7struct A;       // incomplete
8struct B {};    // complete
[f7e749f]9
[2c57025]10int main() {
[f29d603]11        int * i;
12        void * v;
[2c57025]13
[4d5e57b]14        A * x;
15        A * y;
16        B * x;
17        B * z;
[f7e749f]18
[2c57025]19        // okay
[0f35657]20        *i;
[7889f14]21        *y;
[4d5e57b]22        *z;
[2c57025]23        foo(i);
24        bar(i);
25        baz(i);
26        qux(i);
27        quux(i);
28
29        bar(v);
30        qux(v);
31
32        // bad
[0f35657]33        *v;
[f29d603]34        *x;     // ambiguous
[4d5e57b]35        foo(v);
[2c57025]36        baz(v);
37        quux(v);
38}
39
[f7e749f]40
[fd54fef]41forall(T)
[2c57025]42void baz(T * x) {
43        // okay
44        bar(x);
45        baz(x);
46        qux(x);
47        quux(x);
[0f35657]48        *x;
[2c57025]49}
50
[fd54fef]51forall(T &)
[2c57025]52void qux(T * y) {
53        // okay
[f29d603]54        *y;
[2c57025]55        bar(y);
56        qux(y);
57
58        // bad
59        baz(y);
60        quux(y);
61}
62
[fd54fef]63forall(T & | sized(T))
[142cf5d]64void quux(T * z) {
[2c57025]65        // okay
66        bar(z);
67        qux(z);
68        quux(z);
[0f35657]69        *z;
[2c57025]70
71        // bad
72        baz(z);
73}
Note: See TracBrowser for help on using the repository browser.