On 2017-11-02T11:31:06 +0000 Maurizio Cimadamore <[email protected]> wrote:
> Hi Mark, > the code that is generated on a datum is essentially like real code that > you would otherwise have typed yourself. In other word, think of it as > ACC_MANDATED, not as ACC_SYNTHETIC. It is something that the compiler > can fully reason about during type-checking and, as a consequence, it > means that, yes, you can implement an interface via datum _mandated_ > methods. Nice. That's what I suspected/hoped. -- Mark Raynsford | http://www.io7m.com
