Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [] Fwd: [Bug 293622] [language] Implement Type Constructors

Not insurmountable, yet perhaps a bit tricky and different from the tuple issue. Arriving at a constructor _expression_ during traceback would mean that we'd have to trace back each of the object's properties using the respective _expression_ used for that property's initialization. The intersection of the resulting object sets should be the traceback result then.

Ed Willink <ed@xxxxxxxxxxxxx> wrote:
Hi Axel


has no significant challenges for Impact Analysis, a ConstructorExp, is
just an immutable reference to a type and a set of ConstructorParts,
which is an immutable references to a property and an initial
_expression_; essentially the same as TupleLiteralExp and TupleLiteralPart.


Ed Willink mailing list

Back to the top