19 Nov
2006
19 Nov
'06
2:46 p.m.
On Sun, Nov 19, 2006 at 01:30:16PM +0000, Neil Mitchell wrote:
Yhc translates Haskell to a well-typed (using rank-2 types, but not explicitly typed) language. To translate this language back to Haskell requires type annotations (which were lost ages ago), or lots of unsafeCoerce, which is the significantly easier method. In practice the unsafeCoerce's have never gone wrong on any compiler.
This is what jhc does when compiling via ghc as well. John -- John Meacham - ⑆repetae.net⑆john⑈