Changes between Version 1 and Version 2 of Ticket #12708, comment 13


Ignore:
Timestamp:
Oct 16, 2016 6:37:17 AM (3 years ago)
Author:
Iceland_jack
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12708, comment 13

    v1 v2  
    7272  (f == g) x = f x == g x
    7373}}}
     74
     75**Edit 2**: This is more restrictive than `eqStableName# :: StableName# a -> StableName# b -> Int#`
     76
     77{{{#!hs
     78instance Eq (StableName# a :: TYPE PtrRepUnlifted) where
     79  type Logic (StableName# a) = Int#
     80  (==) :: StableName# a -> StableName# a -> Int#
     81  (==) = eqStableName#
     82}}}