On Wed, 2006-05-10 at 23:29 +0900, Deokhwan Kim wrote: > 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? let f = f in f 3 length [0..] Duncan