[Haskell-cafe] Re: Optimization problem
ctm at Cs.Nott.AC.UK
Tue Sep 19 09:48:35 EDT 2006
Robert Dockins wrote:
> On Sep 19, 2006, at 8:52 AM, Conor McBride wrote:
>> Hi folks
>> apfelmus at quantentunnel.de wrote:
>>> Btw, why are there no irrefutable patterns for GADTs? I mean, such a
>>> should be shame for a non-strict language...
>> Just imagine
>> > data Eq a b where Refl :: Eq a a
>> > coerce :: Eq a b -> a -> b
>> > coerce ~Refl a = b
> I think you mean:
> > coerce ~Refl x = x
Indeed I do. My original program was much safer!
This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.
More information about the Haskell-Cafe