Are the values of infinite lists _|_ (bottom)? In section 1.3, the Haskell 98 report said as follows:
Errors in Haskell are semantically equivalent to _|_. Technically, they are not distinguishable from nontermination, so the language includes no mechanism for detecting or acting upon errors. Therefore, the value of the following infinity is _|_. Right? data Nat = Zero | Succ Nat infinity = Succ infinity What about infinite lists? For example, is the value of [1 ..] also _|_? Thanks. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
