[Haskell-cafe] Dependent types

Stephen Tetley stephen.tetley at gmail.com
Fri Sep 10 03:22:40 EDT 2010


On 10 September 2010 07:14, Mitar <mmitar at gmail.com> wrote:

> But I am not sure how. Because now compiler, for example, warns me of
> a non-exhaustive pattern even if some MaybePacket value is not
> possible for given Line.

This issue pops up quite quite often - Ryan Ingram's answer to it the
last time it was on the Cafe points to the relevant Trac issue
numbers:

http://www.haskell.org/pipermail/haskell-cafe/2010-August/082790.html


More information about the Haskell-Cafe mailing list