On Wed, Sep 16, 2009 at 4:18 AM, Bulat Ziganshin <[email protected]> wrote: > Hello Cristiano, > > Wednesday, September 16, 2009, 12:04:48 PM, you wrote: > >> Yep, perhaps I used the wrong example. What about foo: (forall a. a) -> Int? > > it's a function that convert anything to integer.
That would be forall a. a -> Int. The only value of type (forall a. a) is _|_. -- Dave Menendez <[email protected]> <http://www.eyrie.org/~zednenem/> _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
