On Wed, Apr 14, 2004 at 10:13:51AM -0400, John D. Barnett wrote:
>
> *DepTest> :t Show' True
> Show' True :: Show'
> *DepTest> Show' x <- return $ Show' True
> *DepTest> :t x
> x :: forall a. a
> *DepTest> x
> getTcTyVar a {- tv aXJ -}
> getTcTyVar a {- tv aXJ -}
> getTcTyVar a {- tv aXJ -}
> getTcTyVar a {- tv aXJ -}
> getTcTyVar a {- tv aXJ -}
> getTcTyVar a {- tv aXJ -}
> Interrupted.
>
> First, the type of x seems like it should be either Bool or (forall a.
> Show a => a), but not (forall a.a). Second, egads, what did I do?
>
> Is it possible to unwrap an existential type in ghci?
For me this seems to be a bug in GHCi.
BTW, this works:
*Exist> do Show' x <- return (Show' True); print x
True
I wonder if there a type in Haskell-with-extensions that could be
assigned to x?
Best regards,
Tom
--
.signature: Too many levels of symbolic links
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
