Consider the following expression: (foo True, foo 'x')Is this expression well-typed?Astonishingly, the answer depends on where "foo" is defined. If "foo" is a local variable, then the above expression is guaranteed to be ill-typed. However, if we have (for example)
That's not true: main = let foo x = x in print (foo True, foo 'x') works like a charm. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
