On 2009 Apr 10, at 1:09, Jonathan Cast wrote:
On Fri, 2009-04-10 at 01:03 -0400, Brandon S. Allbery KF8NH wrote:On 2009 Apr 10, at 0:52, Jonathan Cast wrote:On Fri, 2009-04-10 at 00:46 -0400, Brandon S. Allbery KF8NH wrote:IO a ~ World -> (a, World)I still don't understand this; we are passing a World and getting a World back,We are? Why do you think that?Because that's what (World -> (a,World)) means, last I checked.Does undefined :: (a, World) contain a World?
Does > undefined :: Sum Intcontain an Int? Please use some common sense, your recent responses are increasingly incoherent.
-- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] [email protected] system administrator [openafs,heimdal,too many hats] [email protected] electrical and computer engineering, carnegie mellon university KF8NH
PGP.sig
Description: This is a digitally signed message part
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
