Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Repository
ghc
compiler
coreSyn
CoreUtils.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