Record component type can be an inner class of a record

Remi Forax forax at univ-mlv.fr
Tue Mar 24 20:57:39 UTC 2020


Hi all,
a record component can use as type a type declared inside the record itself,
in term of scoping it's like if the record component is part of the internal scope of the record.

record Foo(Bar bar) {
  class Bar {

  }
}

I think it's the right behaviour but i was not able to find any reference to that in the spec.

regards,
Rémi


More information about the amber-spec-experts mailing list