-
Simon Peyton Jones authored
This just ensures that an unsafe coercion is as localised as possible. For example, instead of UnsafeCo (Int -> t1) (Int -> t2) use Int -> UnsafeCo t1 t2
51ab3ed1
This just ensures that an unsafe coercion is as localised as possible. For example, instead of UnsafeCo (Int -> t1) (Int -> t2) use Int -> UnsafeCo t1 t2