You can wind up with StableNames matching even when the types differ. Consider
naming [] :: [Int] and [] :: [()]. This is harmless for most usecases.
I've used unsafeCoerce to compare StableNames on different types for years
without problems.
Admittedly, I do find it a bit of an oddity that the
2012-08-24 11:18, Emil Axelsson skrev:
2012-08-24 11:08, Simon Marlow skrev:
On 24/08/2012 07:39, Emil Axelsson wrote:
Hi!
Are there any dangers in comparing two StableNames of different type?
stEq :: StableName a -> StableName b -> Bool
stEq a b = a == (unsafeCoerce b)
I could guard t
2012-08-24 11:08, Simon Marlow skrev:
On 24/08/2012 07:39, Emil Axelsson wrote:
Hi!
Are there any dangers in comparing two StableNames of different type?
stEq :: StableName a -> StableName b -> Bool
stEq a b = a == (unsafeCoerce b)
I could guard the coercion by first comparing the type
On 24/08/2012 07:39, Emil Axelsson wrote:
Hi!
Are there any dangers in comparing two StableNames of different type?
stEq :: StableName a -> StableName b -> Bool
stEq a b = a == (unsafeCoerce b)
I could guard the coercion by first comparing the type representations,
but that would give me
