[project @ 1996-01-08 20:28:12 by partain]
[ghc-hetmet.git] / ghc / lib / ghc / CError.lhs
1 `%
2 % (c) The GRASP/AQUA Project, Glasgow University, 1995
3 %
4 % Last Modified: Wed Jul 19 13:12:10 1995
5 % Darren J Moffat <moffatd@dcs.gla.ac.uk>
6 %
7 % Generated from: @(#)errno.h 2.14 90/01/23 SMI; from UCB 4.1 82/12/28
8 \section[CError]{Interface to C Error Codes}
9
10 \begin{code}
11 module CError (
12     CErrorCode(..),
13
14     errorCodeToStr,     -- :: CErrorCode -> String
15     getCErrorCode,      -- :: PrimIO CErrorCode
16     setCErrorCode       -- :: CErrorCode -> PrimIO ()
17
18 ) where
19
20 import PreludeGlaST
21 \end{code}
22
23 import PreludeGlaMisc
24 import LibSystem
25 \begin{code}     
26 data CErrorCode =
27           NOERROR       -- Added as dummy value since deriving Ix starts at 0
28         | EPERM         -- Not owner
29         | ENOENT        -- No such file or directory
30         | ESRCH         -- No such process
31         | EINTR         -- Interrupted system call
32         | EIO           -- I/O error
33         | ENXIO         -- No such device or address
34         | E2BIG         -- Arg list too long
35         | ENOEXEC       -- Exec format error
36         | EBADF         -- Bad file number
37         | ECHILD        -- No children
38         | EAGAIN        -- No more processes
39         | ENOMEM        -- Not enough core
40         | EACCES        -- Permission denied
41         | EFAULT        -- Bad address
42         | ENOTBLK       -- Block device required
43         | EBUSY         -- Mount device busy
44         | EEXIST        -- File exists
45         | EXDEV         -- Cross-device link
46         | ENODEV        -- No such device
47         | ENOTDIR       -- Not a directory*/
48         | EISDIR        -- Is a directory
49         | EINVAL        -- Invalid argument
50         | ENFILE        -- File table overflow
51         | EMFILE        -- Too many open files
52         | ENOTTY        -- Not a typewriter
53         | ETXTBSY       -- Text file busy
54         | EFBIG         -- File too large
55         | ENOSPC        -- No space left on device
56         | ESPIPE        -- Illegal seek
57         | EROFS         -- Read-only file system
58         | EMLINK        -- Too many links
59         | EPIPE         -- Broken pipe
60
61 -- math software
62         | EDOM          -- Argument too large
63         | ERANGE        -- Result too large
64
65 -- non-blocking and interrupt i/o
66         | EWOULDBLOCK   -- Operation would block
67         | EINPROGRESS   -- Operation now in progress
68         | EALREADY      -- Operation already in progress
69 -- ipc/network software
70
71 -- argument errors
72         | ENOTSOCK      -- Socket operation on non-socket
73         | EDESTADDRREQ  -- Destination address required
74         | EMSGSIZE      -- Message too long
75         | EPROTOTYPE    -- Protocol wrong type for socket
76         | ENOPROTOOPT   -- Protocol not available
77         | EPROTONOSUPPOR -- Protocol not supported
78         | ESOCKTNOSUPPORT -- Socket type not supported
79         | EOPNOTSUPP    -- Operation not supported on socket
80         | EPFNOSUPPORT  -- Protocol family not supported
81         | EAFNOSUPPORT  -- Address family not supported by protocol family
82         | EADDRINUSE    -- Address already in use
83         | EADDRNOTAVAIL -- Can't assign requested address
84 -- operational errors
85         | ENETDOWN      -- Network is down
86         | ENETUNREACH   -- Network is unreachable
87         | ENETRESET     -- Network dropped connection on reset
88         | ECONNABORTED  -- Software caused connection abort
89         | ECONNRESET    -- Connection reset by peer
90         | ENOBUFS       -- No buffer space available
91         | EISCONN       -- Socket is already connected
92         | ENOTCONN      -- Socket is not connected
93         | ESHUTDOWN     -- Can't send after socket shutdown
94         | ETOOMANYREFS  -- Too many references: can't splice
95         | ETIMEDOUT     -- Connection timed out
96         | ECONNREFUSED  -- Connection refused
97
98         | ELOOP         -- Too many levels of symbolic links
99         | ENAMETOOLONG  -- File name too long
100
101 -- should be rearranged
102         | EHOSTDOWN     -- Host is down
103         | EHOSTUNREACH  -- No route to host
104         | ENOTEMPTY     -- Directory not empty
105
106 -- quotas & mush
107         | EPROCLIM      -- Too many processes
108         | EUSERS        -- Too many users
109         | EDQUOT        -- Disc quota exceeded
110
111 -- Network File System
112         | ESTALE        -- Stale NFS file handle
113         | EREMOTE       -- Too many levels of remote in path
114
115 -- streams
116         | ENOSTR        -- Device is not a stream
117         | ETIME         -- Timer expired
118         | ENOSR         -- Out of streams resources
119         | ENOMSG        -- No message of desired type
120         | EBADMSG       -- Trying to read unreadable message
121
122 -- SystemV IPC
123         | EIDRM         -- Identifier removed
124
125 -- SystemV Record Locking
126         | EDEADLK       -- Deadlock condition.
127         | ENOLCK        -- No record locks available.
128
129 -- RFS
130         | ENONET        -- Machine is not on the network
131         | ERREMOTE      -- Object is remote
132         | ENOLINK       -- the link has been severed
133         | EADV          -- advertise error
134         | ESRMNT        -- srmount error
135         | ECOMM         -- Communication error on send
136         | EPROTO        -- Protocol error
137         | EMULTIHOP     -- multihop attempted
138         | EDOTDOT       -- Cross mount point (not an error)
139         | EREMCHG       -- Remote address changed
140 -- POSIX
141         | ENOSYS        -- function not implemented
142
143         deriving (Eq,Ord,Ix,Text)
144
145
146 errorCodeToStr :: CErrorCode -> String
147 errorCodeToStr NOERROR  = ""
148 errorCodeToStr EPERM    = "Not owner"
149 errorCodeToStr ENOENT   = "No such file or directory"
150 errorCodeToStr ESRCH    = "No such process"
151 errorCodeToStr EINTR    = "Interrupted system call"
152 errorCodeToStr EIO      = "I/O error"
153 errorCodeToStr ENXIO    = "No such device or address"
154 errorCodeToStr E2BIG    = "Arg list too long"
155 errorCodeToStr ENOEXEC  = "Exec format error"
156 errorCodeToStr EBADF    = "Bad file number"
157 errorCodeToStr ECHILD   = "No children"
158 errorCodeToStr EAGAIN   = "No more processes"
159 errorCodeToStr ENOMEM   = "Not enough core"
160 errorCodeToStr EACCES   = "Permission denied"
161 errorCodeToStr EFAULT   = "Bad address"
162 errorCodeToStr ENOTBLK  = "Block device required"
163 errorCodeToStr EBUSY    = "Mount device busy"
164 errorCodeToStr EEXIST   = "File exists"
165 errorCodeToStr EXDEV    = "Cross-device link"
166 errorCodeToStr ENODEV   = "No such device"
167 errorCodeToStr ENOTDIR  = "Not a directory"
168 errorCodeToStr EISDIR   = "Is a directory"
169 errorCodeToStr EINVAL   = "Invalid argument"
170 errorCodeToStr ENFILE   = "File table overflow"
171 errorCodeToStr EMFILE   = "Too many open files"
172 errorCodeToStr ENOTTY   = "Not a typewriter"
173 errorCodeToStr ETXTBSY  = "Text file busy"
174 errorCodeToStr EFBIG    = "File too large"
175 errorCodeToStr ENOSPC   = "No space left on device"
176 errorCodeToStr ESPIPE   = "Illegal seek"
177 errorCodeToStr EROFS    = "Read-only file system"
178 errorCodeToStr EMLINK   = "Too many links"
179 errorCodeToStr EPIPE    = "Broken pipe"
180
181 -- math software
182 errorCodeToStr EDOM     = "Argument too large"
183 errorCodeToStr ERANGE   = "Result too large"
184
185 -- non-blocking and interrupt i/o"
186 errorCodeToStr EWOULDBLOCK      = "Operation would block"
187 errorCodeToStr EINPROGRESS      = "Operation now in progress"
188 errorCodeToStr EALREADY         = "Operation already in progress"
189 -- ipc/network software
190
191 -- argument errors
192 errorCodeToStr ENOTSOCK         = "Socket operation on non-socket"
193 errorCodeToStr EDESTADDRREQ     = "Destination address required"
194 errorCodeToStr EMSGSIZE         = "Message too long"
195 errorCodeToStr EPROTOTYPE       = "Protocol wrong type for socket"
196 errorCodeToStr ENOPROTOOPT      = "Protocol not available"
197 errorCodeToStr EPROTONOSUPPOR   = "Protocol not supported"
198 errorCodeToStr ESOCKTNOSUPPORT  = "Socket type not supported"
199 errorCodeToStr EOPNOTSUPP       = "Operation not supported on socket"
200 errorCodeToStr EPFNOSUPPORT     = "Protocol family not supported"
201 errorCodeToStr EAFNOSUPPORT     = "Address family not supported by protocol family"
202 errorCodeToStr EADDRINUSE       = "Address already in use"
203 errorCodeToStr EADDRNOTAVAIL    = "Can't assign requested address"
204
205 -- operational errors
206 errorCodeToStr ENETDOWN         = "Network is down"
207 errorCodeToStr ENETUNREACH      = "Network is unreachable"
208 errorCodeToStr ENETRESET        = "Network dropped connection on reset"
209 errorCodeToStr ECONNABORTED     = "Software caused connection abort"
210 errorCodeToStr ECONNRESET       = "Connection reset by peer"
211 errorCodeToStr ENOBUFS          = "No buffer space available"
212 errorCodeToStr EISCONN          = "Socket is already connected"
213 errorCodeToStr ENOTCONN         = "Socket is not connected"
214 errorCodeToStr ESHUTDOWN        = "Can't send after socket shutdown"
215 errorCodeToStr ETOOMANYREFS     = "Too many references: can't splice"
216 errorCodeToStr ETIMEDOUT        = "Connection timed out"
217 errorCodeToStr ECONNREFUSED     = "Connection refused"
218
219 errorCodeToStr ELOOP            = "Too many levels of symbolic links"
220 errorCodeToStr ENAMETOOLONG     = "File name too long"
221
222 -- should be rearranged
223 errorCodeToStr EHOSTDOWN        = "Host is down"
224 errorCodeToStr EHOSTUNREACH     = "No route to host"
225 errorCodeToStr ENOTEMPTY        = "Directory not empty"
226
227 -- quotas & mush
228 errorCodeToStr EPROCLIM = "Too many processes"
229 errorCodeToStr EUSERS   = "Too many users"
230 errorCodeToStr EDQUOT   = "Disc quota exceeded"
231
232 -- Network File System
233 errorCodeToStr ESTALE   = "Stale NFS file handle"
234 errorCodeToStr EREMOTE  = "Too many levels of remote in path"
235
236 -- streams
237 errorCodeToStr ENOSTR   = "Device is not a stream"
238 errorCodeToStr ETIME    = "Timer expired"
239 errorCodeToStr ENOSR    = "Out of streams resources"
240 errorCodeToStr ENOMSG   = "No message of desired type"
241 errorCodeToStr EBADMSG  = "Trying to read unreadable message"
242
243 -- SystemV IPC
244 errorCodeToStr EIDRM    = "Identifier removed"
245
246 -- SystemV Record Locking
247 errorCodeToStr EDEADLK  = "Deadlock condition."
248 errorCodeToStr ENOLCK   = "No record locks available."
249
250 -- RFS
251 errorCodeToStr ENONET   = "Machine is not on the network"
252 errorCodeToStr ERREMOTE = "Object is remote"
253 errorCodeToStr ENOLINK  = "the link has been severed"
254 errorCodeToStr EADV     = "advertise error"
255 errorCodeToStr ESRMNT   = "srmount error"
256 errorCodeToStr ECOMM    = "Communication error on send"
257 errorCodeToStr EPROTO   = "Protocol error"
258 errorCodeToStr EMULTIHOP = "multihop attempted"
259 errorCodeToStr EDOTDOT  = "Cross mount point (not an error)"
260 errorCodeToStr EREMCHG  = "Remote address changed"
261
262 -- POSIX
263 errorCodeToStr ENOSYS   = "function not implemented"
264
265 unpackCErrorCode   :: Int -> CErrorCode
266 unpackCErrorCode   e = (range (NOERROR, ENOSYS))!!e
267
268 packCErrorCode :: CErrorCode -> Int
269 packCErrorCode e = index (NOERROR, ENOSYS) e
270
271
272 getCErrorCode :: PrimIO CErrorCode
273 getCErrorCode =
274     _casm_ ``%r = errno;''                          `thenPrimIO` \ errno ->    
275     returnPrimIO (unpackCErrorCode errno)
276
277
278 setCErrorCode :: CErrorCode -> PrimIO ()
279 setCErrorCode ecode =
280     _casm_ ``errno = %0;'' (packCErrorCode ecode)   `thenPrimIO` \ () ->
281     returnPrimIO ()
282
283
284 \end{code}
285