inner data class

Brian Goetz brian.goetz at
Sun Nov 12 17:40:52 UTC 2017

This makes sense to me at least for now, but I might want to revisit later.  

Sent from my MacBook Wheel

> On Nov 12, 2017, at 12:47 PM, Remi Forax <forax at> wrote:
> In the actual prototype, a data class declared inside a class is considered as an inner class so it's an a 'plain' data class,
> i propose that a data class declared inside a class should always be static (like enum and interface).
> public class InnerExample {
>  __datum Internal(String name);
>  public static void main(String[] args) {
>    Internal i = new Internal("foo");
>  }
> }
> so the code above will compile.
> Rémi

More information about the amber-spec-experts mailing list