🚀 go-pugleaf

In bln.lv.tub.cs.informatik1 Rocco Rutte <pdmef@gmx.net> wrote:

Hi Rocco,

> Ich haette aber gern auch eine Variante, in der ich die Namen direkt auf
> '=', '<' und '>' festlege, damit der User die nicht uebergeben muss (die
> muessen nur ja nur definiert sein). Bisher dachte ich, dass Opal beim
> Einlesen von 'IMPORT QSort[nat]' alle 'data' durch 'nat' ersetzt. Dann
> muesste es ja auch die Funktion '= : nat ** nat -> bool' kennen, die ich
> bei der Implementierung als '= : data ** data -> bool' brauche. Das tut
> es aber nicht. Die irgendwie importieren kann ich auch nicht.

nein, OPAL nimmt keine Unifkation ueber den Funktionsnamen vor. Eine Angabe von
SIGNATURE QSort[alpha, <: alpha ** alpha -> alpha]

Erwartet an dieser Stelle explizit, dass Du eine Funktion zum
Vergleich angibst. OPAL merkt also nicht automatisch, dass Du den
gerade importierten Vergleich auf Nat-Zahlen haben moechtest.
Was funktionieren sollte, ist

IMPORT Nat ONLY nat <
IMPORT QSort[nat,<]

weil OPAL ueber Funktionsinferenz automatisch errechnen kann, dass nur die 
Vergleichsfunktion aus Nat gemeint sein kann. 

Besser geht's eben nicht ;)

Gruss
Alexander