apfelmus <[EMAIL PROTECTED]> wrote: > > Ah, that's only a glitch in the wording. [1..] == [1..] is still _|_ > since it loops forever. > And if it wouldn't? After all, arguing that |N == |N is undefined because it takes too long to check would earn you a straight F in any math test.
It's just that I always assumed that haskell is defined by exactly those semantics (which I admittedly never really read), not by its runtime behaviour, which can change from implementation to implementation. Fuck, I'm smartassing _and_ nitpicking, and for the worst of it with the "Smart enough compiler"-argument, all of that just after stopping lurking. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
