Compiling GHC disabling the type checker

Simon Peyton-Jones simonpj at
Mon Oct 16 05:50:25 EDT 2006

| 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.


More information about the Glasgow-haskell-users mailing list