[Oberon] undefined record field when compiling in NO.

[eas lab]

Exporter:....
] TYPE
]         Frame* = POINTER TO RECORD (Display.Frame)
]                 keys: SET;
]                 x, y: INTEGER;
]                 text: Texts.Tex
]         END;
]...
Importer;....
]        x := F.x
Compiler error:...
] pos    105  err  83     undefined record field

It's useful to know *why*.
The less the importer knows about the details of the imported
module, the less your mental-load and scope for mistakes.

In the example: Module: ConfigInput
 was designed so that no importer can look inside the exported:Frame.

Then there's the compromise possibility of some systems:
 you can look inside but you can't touch it. I.e. read-only.

== Chris Glur.