[Haskell-cafe] Non-existant existential?

Jim Apple jbapple+haskell-cafe at gmail.com
Thu Sep 21 20:38:49 EDT 2006

When I look at the generated core, I see that both h and

same = Base undefined

have the same type:

%forall a . main:Fonly.SimpExist a

I'm using GHC 6.5.20060819.

If this is a bug, I actually find it kind of useful, for reasons I can
elaborate later.


More information about the Haskell-Cafe mailing list