A Pointless Library Proposal

[Bulat Ziganshin]

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 at gmail.com