[Bug default/26888] New: Infamous constructor bug

[jose.marchesi at oracle dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=26888

            Bug ID: 26888
           Summary: Infamous constructor bug
           Product: poke
           Version: unspecified
            Status: NEW
          Severity: normal
          Priority: P2
         Component: default
          Assignee: unassigned at sourceware dot org
          Reporter: jose.marchesi at oracle dot com
                CC: poke-devel at gnu dot org
  Target Milestone: ---

+ (Foo{}).bar fails in the code below.  This is the infamous bug related
+ to nested types and constructors.
+ 
+ type Foo =
+   struct
+   {
+     int i;
+ 
+     fun foo = int:
+       {
+         return i + 1;
+       }
+       
+     method bar = int:
+       {
+         type Bar =
+           struct
+           {
+             int j;
+             method bar = int: { return j + 1; }
+           };
+         
+         fun jorl = int:
+         {
+           return (Bar { j = 1 }).bar;
+         }
+ 
+         return jorl + i;
+       }
+   };

-- 
You are receiving this mail because:
You are on the CC list for the bug.