Skip to content
GitLab
Explore
Sign in
Register
Alex D
GHC
Repository
ghc
compiler
simplCore
Simplify.lhs
Find file
Blame
History
Permalink
In mkCast (Coercion c1) c2, check that c2 has (~#) on both sides
· a0f8b3ac
Simon Peyton Jones
authored
Jan 09, 2012
Otherwise the RHS is utterly bogus. I also added some asserts. Thanks to Max for pointing this out.
a0f8b3ac