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 <[email protected]> wrote: > 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 > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
