laughingboy (11) [Avatar] Offline
Under the heading METHOD IMPLEMENTATIONS IN DEFRECORD, you say "We've already shown how both protocols and interfaces can be extended to record types using the various extend forms..."

Unless I misunderstand the terminology, you've never shown an example of extending an interface to a record type. You've shown examples of extending a protocol to a record type and extending a protocol to an interface.

In fact, two paragraphs later, you say "Putting method definitions inside the defrecord form also allows you to implement Java interfaces, which is not possible using any extend form." To me, implementing a Java interface inside a defrecord form is exactly what extending an interface to a record type means. If that's correct, then the two quoted sentences are contradictory.