A clarification...

[Marcin 'Qrczak' Kowalczyk]

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