source: doc/theses/rob_schluntz_MMath/examples/tuples/cast.c@ 2b10f95

ADT arm-eh ast-experimental cleanup-dtors enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since 2b10f95 was 67982887, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

specialize thesis directory-names

  • Property mode set to 100644
File size: 478 bytes
Line 
1[int, int, int] f();
2[int, [int, int], int] g();
3
4int main() {
5 ([int, double])f(); // (1)
6 ([int, [int], int])g(); // (2)
7 printf("%d %d\n", ([void, [int, int]])g()); // (3) -- should work and doesn't -- tries to construct void object, but should ignore that component in terms of the type of the tuple
8 // ([int, int, int, int])g(); // (4) -- should not work and doesn't
9 // ([int, [int, int, int]])g(); // (5) -- should not work and doesn't
10}
Note: See TracBrowser for help on using the repository browser.