On Wed, 2 Mar 2005 15:54:51 +0100, Stefan Holdermans
<[EMAIL PROTECTED]> wrote:
> Lemmih,
> 
> > And you can "fix" it with some unsafeCoerce# magic. (:
> 
> Actually, as I pointed out, the required coercion in perfectly safe,
> though not implicit:
> 
> coerceRight :: Either a b -> Either c b
> coerceRight (Right b) = Right b

I'm not disputing that.

-- 
Friendly,
  Lemmih
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to