[Haskell-cafe] Dependent types

[Stephen Tetley]

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