RE: Recognizing default method implementations

2021-12-01 Thread Erdi, Gergo via ghc-devs
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

RE: Recognizing default method implementations

2021-12-01 Thread Simon Peyton Jones via ghc-devs
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

Recognizing default method implementations

2021-11-30 Thread Erdi, Gergo via ghc-devs
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