This looks like a great opportunity to try out the new holes functionality: [Prelude] λ [] == _what <interactive>:3:7: Found hole ‘_what’ with type: [t0] Where: ‘t0’ is an ambiguous type variable Relevant bindings include it :: Bool (bound at <interactive>:3:1) In the second argument of ‘(==)’, namely ‘_what’ In the expression: [] == _what In an equation for ‘it’: it = [] == _what Looks like it defaults to [Bool]! Correct me if I'm wrong :) - Lyndon On Tue, Mar 10, 2015 at 1:33 PM, Rustom Mody <rustompmody@gmail.com> wrote:
My impression is that earlier [] == [] used to give a type error. Now it gives True.
So 1. Which instance of == is being used? 2. Is there some option controlling this behavior?
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe