23 Nov
2004
23 Nov
'04
11 p.m.
Ben Rudiak-Gould <Benjamin.Rudiak-Gould@cl.cam.ac.uk> writes:
The intended semantics is
/ Nothing if x is a set of exceptions exceptionToMaybe x = | _|_ if x is _|_ \ Just x otherwise
What is exceptionToMaybe (f 0 + error "x") where f x = f x ? -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/