[Haskell-cafe] Type error depending on scope of pattern matching

amindfv at gmail.com amindfv at gmail.com
Sat Aug 1 19:18:57 UTC 2015

You'll probably get more responses if you paste the code inline.


El Aug 1, 2015, a las 11:25, htebalaka <goodingm at gmail.com> escribió:

> I'm curious if anyone can tell me why moving the pattern matching in these
> two examples makes it fail to compile, and what can be done to resolve the
> same issue in either of the latter two examples. As far as I can tell these
> should be equivalent. Unfortunately the solution used in the first examples
> won't work in the later ones due to the existential quantification. I've
> been asking on #haskell for a few days but haven't been able to find anyone
> who knows what the issue is.
> Code is available here:  http://lpaste.net/137586 <http://lpaste.net/137586>  
> --
> View this message in context: http://haskell.1045720.n5.nabble.com/Type-error-depending-on-scope-of-pattern-matching-tp5814762.html
> Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list