Re: Getters for constructor parameters

On Sun, Apr 27, 2008 at 6:55 AM, Victor Luchangco
<Victor.Luchangco@...> wrote:
> Hi Sorin,
>
>  First off, I'm not sure if you meant to be sending these mails just to me
> or to the whole list.  I'm replying only to you because they were sent only
> to me.
>

I'm very sorry, I usually just hit reply. I am used to having Reply To
set to the list, which is normal and happens when non-Sun people post
to this list. I complained about this in some other thread (or maybe
just to someone off-list; if so, sorry about that too...).

I mostly understand and agree with your explanation, but my point with
the second example was that m' is not defined in T, so it shouldn't
work with or without getters. Maybe without getters is clearer (this
prints "X", and I think it should give an error):

trait T
    m(): String
end

object O(notAMemberOfT: String) extends {T}
    m(): String = notAMemberOfT
end

f(): T = O("X")

(* (f()) is a T *)