[Oberon] Clarifying type compatibility in Oberon-07

[Jörg]

Hi

> Am 08.10.2017 um 09:09 schrieb August Karlstrom <fusionfile at gmail.com>:
> 
> On 2017-10-08 07:26, Jörg wrote:
>> Or: to be extremely consequent(!!) A PROCEDURE (especially those to be used as variables) should get a named TYPE. Something like
>> PROCEDURE myDot = DotType; (* totally new syntax *)
> This would be problematic if you want to use an existing procedure, like Math.sin in .e.g. Integral(Math.sin, 0.0, Math.pi).
> 

I’m absolutely aware of this. This is the discussion named vs unnamed types. Two approaches:
- Allow structural comparison (as it is today anyhow) but include the parameter names as well. Not only types have a semantic meaning but names bear semantic info as well.
- If this new procedure type thingy is introduced, Math obviously exports a new procedure type „RealFunc“

br
Jörg