Nils Anders Danielsson
nad at cs.chalmers.se
Wed Apr 5 06:03:23 EDT 2006
On Tue, 04 Apr 2006, Andy Gill <andy at galois.com> wrote:
> let xs' () = 1 : 2 : xs' ()
> let xs2 = xs'
> let xs = 1 : 2 : xs
> So deepSeq xs2 ==> _|_, but deepSeq xs ==> xs
> I appeal to the "morally correct reasoning" argument .. If the program
> terminates, then it is still correct.
To avoid confusion I'd like to note that this has nothing to do with
the kind of moral correctness that I and some others wrote about
recently. (I guess that this is the downside of choosing a phrase like
More information about the Haskell-prime