defer-type-errors + unsafeCoerce
|Reported by:||guest||Owned by:|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||Blocked By:|
When evidence of a ~ b is missing, -fdefer-type-errors uses error to coerce a to b. It would nice to allow to use unsafeCoerce instead; for example ' ' :: Int would give under favourable conditions 32.