Compiling GHC disabling the type checker

[Simon Peyton-Jones]

| 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