Use of variables in patterns

[Filip Konvička]

>> It should be possible to use
>>
>> import
>> BootName(newNamed) at 'x-oz://boot/Name'
>>
>> ...
>>
>> FX = fVar({BootName.newNamed 'X'} C)
> 
> Yes, this is what I was thinking about.  I think that code expansion 
> should always use this when introducing new identifiers.

There is already a simplier facility in Unnester.oz/BindingAnalysis.oz, 
just I don't know how to use it. This must be a piece of cake for the 
author (Leif Kornstaedt?)

Cheers,
Filip