Hello David, Tuesday, October 31, 2006, 1:20:42 PM, you wrote:
But seems like we need a 'proper' solution. undefineds with lines numbers, and errors with line numbers, would be a good start.
I think it'd be nice to keep undefined around as a 'pure' bottom, and introduce a new value, say 'stub :: forall a. a' which is magic and sends the file and line location of its mention to stderr when executed.
and then you will introduce exception handling? :) i think that 'undefined' should be not function but preprocessor symbol that's translated into "file:line" notation, and we need the same symbol for monads while error/fail should be used for custom error messages (as they currently used) -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com