
On Mon, 31 Dec 2007 11:14:39 +0200, Achim Schneider
"Cristian Baboi"
wrote:
I could have written this instead:
a :: Something a = a
Which is nicer than undefined.
ksf@solaris ~ % ghci GHCi, version 6.8.2: http://www.haskell.org/ghc/ :? for help Loading package base ... linking ... done. Prelude> let a = undefined Prelude> a *** Exception: Prelude.undefined Prelude> let a = a Prelude> a Interrupted.
nope, it isn't.
Well, it depends on what you think is nicer. For me it looks shorter than undefined and it don't rely on the library.
And then let a = a is more defined than the other two... only the equation is _|_, not the value that is "assigned". Value that is equated? Term? Jonathan, please beat me.
This is over my head. If let a = a is more defined, then why (print a) won't stop ? ________ Information from NOD32 ________ This message was checked by NOD32 Antivirus System for Linux Mail Servers. part000.txt - is OK http://www.eset.com