Deokhwan Kim: >Bjorn Lisper wrote: > >> precisely the same as _|_. Only certain kinds of nontermination can be >> modeled by _|_ in a non-strict language. > >What kinds of nontermination are modeled by _|_ in Haskell?
Nonterminating computations that never return anything. For instance, inf = inf Björn Lisper _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe