| 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
Neil Mitchell wrote:
I would like to write a translator which takes a Haskell-like language
to GHC compilable Haskell. This Haskell-like language is not
explicitly typed, and cannot have types inferred for it (rank 2 types
may exist etc), however it is known that the program will not crash
with
On Mon, 16 Oct 2006, Simon Marlow wrote:
There's one restriction that I know of: you should be careful not to cast a
function value to a non-function type (except a polymorphic type), because
the two have incompatible representations when it comes to seq and case.
And of course, you should