Lieber Herr Bachmann,
instance-Deklarationen der Form
instance C (a -> a)
sind tatsächlich nicht konform zum Haskell-98-Standard, ebensowenig
instance C (a,a)
und dergleichen, was heißt, dass diese Einschränkung nichts mit dem
Funktionstyp zu tun hat. Generell darf ein und dieselbe Typvariable nicht
mehrfach im Kopf der instance-Deklaration vorkommen.
Allerdings erlaubt Hugs98, wie ich vermutet hatte, derartige Konstruktionen,
wenn man die Haskell-98-Kompatibilität ausschaltet (Kommandozeilen-Parameter
-98). Auch der Glasgow Haskell Compiler unterstützt solche Sachen.
Viele Grüße
Wolfgang Jeltsch
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
