source:
tests/poly-d-cycle.cfa
@
912cc7d7
Last change on this file since 912cc7d7 was afe2939, checked in by , 4 years ago | |
---|---|
|
|
File size: 454 bytes |
Rev | Line | |
---|---|---|
[91131689] | 1 | // Check that a cycle of polymorphic dtype structures can be instancated. |
[3f06c05] | 2 | |
[91131689] | 3 | forall(dtype T) |
[3f06c05] | 4 | struct func_table; |
5 | ||
[91131689] | 6 | forall(dtype U) |
[3f06c05] | 7 | struct object { |
8 | func_table(U) * virtual_table; | |
9 | }; | |
10 | ||
[91131689] | 11 | forall(dtype T) |
[3f06c05] | 12 | struct func_table { |
13 | void (*object_func)(object(T) *); | |
14 | }; | |
15 | ||
16 | void func(object(int) *) { | |
17 | printf("Success!\n"); | |
18 | } | |
19 | ||
20 | func_table(int) an_instance = { func }; | |
21 | ||
22 | int main(int argc, char * argv[]) { | |
23 | object(int) x = { 0p }; | |
24 | an_instance.object_func( &x ); | |
25 | return 0; | |
26 | } |
Note: See TracBrowser
for help on using the repository browser.