Could somebody tell me how to disambiguate the following program
> module Tmp( g ) where
> data A p q = A
> g :: (Num p,Ord q) => (A p q) -> Bool
> g A = g A
I could do something like
> g a@A = a
But that won't help me very much in the case of
> data AB p q = A
> B p q
> g :: (Num p,Ord q) => (AB p q) -> Bool
> g (B _ _) = A
which is the kind of game I really want to play.
Thanks in advance.
Regards,
Marc van Dongen
________________________________________________________________
Mare van Dongen | phone: +353 21 903083
Department of Computer Science | Fax: +353 21 903113
University College Cork, Cork, Ireland | Email: [EMAIL PROTECTED]
