Re: [Haskell-cafe] Dependent types

On 10 September 2010 07:14, Mitar 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