Manuel Mohr <manuel.m...@kit.edu> wrote on 01/17/2013 04:54:30 AM:
> the following program does not compile with -STATIC_CHECKS (as expected)
> because it cannot be guaranteed statically that here == v.home at the
> invocation site of operator():
>
> public class Test {
> public static def main(Array[String]) {
> val v = GlobalRef[Cell[Int]](new Cell[Int](100));
> at (here.next()) Console.OUT.println(v());
> }
> }
>
> However, if -STATIC-CHECKS is not specified, the compiler does not emit
> a dynamic check for the constraint of operator(). Consequently, also
> -VERBOSE_CHECKS does not print anything. When running the generated
> program with more than one place, it crashes with a segmentation fault.
> Why doesn't the compiler generate a dynamic check here? Is it omitted
> for performance reasons? Are there other cases where dynamic checks are
> (intentionally?) omitted?
>
This is a bug. A dynamic check definitely should be generated. I opened
http://jira.codehaus.org/browse/XTENLANG-3163 to track the fix.
--dave------------------------------------------------------------------------------
Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS,
MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current
with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft
MVPs and experts. ON SALE this month only -- learn more at:
http://p.sf.net/sfu/learnmore_122712
_______________________________________________
X10-users mailing list
X10-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/x10-users
