full specialization I should,
transitively, also have no need for normal top-level function definitions that
have a context.
From: Simon Peyton Jones
Sent: Wednesday, December 1, 2021 4:57 PM
To: Erdi, Gergo
Cc: GHC
Subject: [External] RE: Recognizing default method implementations
PUBLIC
ATTE
On Behalf Of Erdi, Gergo via
ghc-devs
Sent: 01 December 2021 05:22
To: 'GHC'
Subject: [EXTERNAL] Recognizing default method implementations
PUBLIC
Hi,
Is there a way to recognize that an Id / Var refers to a default method
implementation, e.g. $dm/= in the following?
$dm/= :: foral
PUBLIC
Hi,
Is there a way to recognize that an Id / Var refers to a default method
implementation, e.g. $dm/= in the following?
$dm/= :: forall a. Eq a => a -> a -> Bool
[GblId, Arity=3, Unf=OtherCon []]
$dm/=
= \ (@a_ahz)
($dEq_sI6 [Occ=Once1] :: Eq a_ahz)
(x_sI7 [Occ=Once1] :: a