blob: 0057b5929279ee2f98f6be9fe36b992f3372461e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
%
% (c) The GRASP/AQUA Project, Glasgow University, 1993
%
\section[PreludeErrIO]{Wrapper for errorIO primitive}
The boxified version of the @errorIO#@ primitive.
\begin{code}
module PreludeErrIO where
errorIO :: PrimIO () -> a
errorIO io
= case (errorIO# io) of
_ -> bottom
where
bottom = bottom -- Never evaluated
\end{code}
|
