A clarification...
Marcin 'Qrczak' Kowalczyk
qrczak@knm.org.pl
26 Jan 2001 20:19:47 GMT
Fri, 26 Jan 2001 15:53:51 -0500, Jan-Willem Maessen <jmaessen@mit.edu> pisze:
> 3) Reject an operational reading of "case" as forcing evaluation and
> continuing and have it "do something special" when it encounters
> error:
> case ERROR of x -> expr => ERROR glb expr[?/x]
The subject of errors vs. bottoms is discussed in
http://research.microsoft.com/~simonpj/papers/imprecise-exceptions.ps.gz
--
__("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
\__/
^^ SYGNATURA ZASTĘPCZA
QRCZAK