16 Oct
2006
16 Oct
'06
5:50 a.m.
| How does GHC react to a really large number of unsafeCoerce's? Is this | likely to destroy performance? Has anything like this been done | before? I know that LML was able to "turn off" the type checker, but I | guess GHC doesn't have such an option, because of its typed Core | language. I've never tried that. However GHC now handles 'casts' in a more systematic way (this is the FC stuff), and I hitnk unsafe coerces will benefit from that. Worth a try. Simon