-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
The language report is not clear about the case, where a return
statement is within a finish block. Consider the following program:
class Async2 {
public static def foo() {
finish {
async Console.OUT.println("Async");
if (always()) { return; }
}
async Console.OUT.println("After Finish");
}
public static def main(Array[String]) {
Console.OUT.println("Start");
foo();
Console.OUT.println("After Async");
}
}
Intuitively, I'd say that
(a) "After Async" must always be printed after "Async" and
(b) "After Finish" is never printed.
The x10c++ compiler seems to insert
x10::compiler::Finalization::throwReturn for the return statement. Does
this mean it is forbidden to use return within finish?
- --
Andreas Zwinkau
Karlsruhe Institute of Technology (KIT)
Institut für Programmstrukturen und Datenorganisation (IPD)
Lehrstuhl Prof. Snelting
Adenauerring 20a
76131 Karlsruhe
Phone: +49 721 608 48351
Fax: +49 721 608 48457
Email: zwin...@kit.edu
Web: http://pp.info.uni-karlsruhe.de/person.php?id=107
KIT ? University of the State of Baden-Wuerttemberg and
National Research Center of the Helmholtz Association
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://www.enigmail.net/
iQEcBAEBAgAGBQJQXJMbAAoJEKm3M8a3pi2iDpMIAKL0YPT2QR7otwCnRW1dAgnK
yrbpdDIHBuIMiBkIveMZnZfXMBR/YzSRcOy2fpROXUD78OTo+tR8I0GHLmbV0u35
STOTu2/vxEUgMRWfDNUEdv6E9nqEKw/qUwXmsy0k9PX5jG/5+WVUc8Et4RX/Jurs
0mTZsLTepCLvIAdYXpc5P+XHZchjKs44HO2/jKYh27aCyxVnyO30tDOHuBc8kvYr
mFzUWV1MqnlPvvvFWLBfV0hoTow8d8WwKNYtGObeQkcJ+qvoo4/t2k92wsLsvrYW
NlQHfKX7XE3gwWBsYq+SULHO8lMwV0qOCT6NRxEHVi4la3JpfDFkh9RFbDLKc7w=
=gqSk
-----END PGP SIGNATURE-----
------------------------------------------------------------------------------
Got visibility?
Most devs has no idea what their production app looks like.
Find out how fast your code is with AppDynamics Lite.
http://ad.doubleclick.net/clk;262219671;13503038;y?
http://info.appdynamics.com/FreeJavaPerformanceDownload.html
_______________________________________________
X10-users mailing list
X10-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/x10-users
