24 Jan
2009
24 Jan
'09
6:44 p.m.
Incorrect *if* the semantics distinguishes between () and _|_ (as apparently
is the choice in Haskell).
On Sat, Jan 24, 2009 at 2:40 PM, Jake McArthur
Thomas Davie wrote:
the only change is that computations resulting in the unit type *can't* non terminate, because we can always optimize them down to ().
No. "Optimizing them down to ()" changes the semantics of the computation. This is incorrect behavior.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe