[Oberon] Type compatibility rules for Pointers

Andreas Pirklbauer andreas_pirklbauer at yahoo.com
Tue Jun 16 09:42:22 CEST 2020

   > The Oberon Report is short but unfortunately not complete. 

Agreed. I would very much prefer to have the type rules specified more
explicitly, as Luca and Karl have proposed and as in the Oberon-2 report.

This is in fact not an easy task and can become quite subtle, once
you “really” get down to the edge cases.

More information about the Oberon mailing list