Cristian Baboi wrote: > I think this should be put this way: > Bottom is a part of the semantic domain which is not Haskell.
Rather, something outside Haskell that describes what Haskell programs mean. Yes. > In the semantic domain there is one bottom. > In Haskell there are many expressions that represent bottom. > One cannot test those for equality. Yes. > The result of a Haskell function applied to some arguments cannot be > bottom. I think you mean that they cannot be bottom if you want to compare them for equality. Yes. -Yitz _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
