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