Skip to content

Commit 1d24805

Browse files
authored
Merge pull request #5 from savi-lang/update
Update enum declarations for latest Savi version.
2 parents bfba590 + b93503f commit 1d24805

File tree

2 files changed

+139
-130
lines changed

2 files changed

+139
-130
lines changed

manifest.savi

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,15 @@
88
:dependency Spec v0
99
:from "github:savi-lang/Spec"
1010
:depends on Map
11+
:depends on Time
12+
:depends on Timer
1113

1214
:transitive dependency Map v0
1315
:from "github:savi-lang/Map"
16+
17+
:transitive dependency Time v0
18+
:from "github:savi-lang/Time"
19+
20+
:transitive dependency Timer v0
21+
:from "github:savi-lang/Timer"
22+
:depends on Time

src/OSError.savi

Lines changed: 130 additions & 130 deletions
Original file line numberDiff line numberDiff line change
@@ -5,136 +5,136 @@
55

66
// TODO: cross-platform; see http://www.ioplex.com/~miallen/errcmp.html
77

8-
:member OSError.None: 0 :: Success
8+
:member None 0 :: Success
99

10-
:member OSError.EPERM: 1 :: Operation not permitted
11-
:member OSError.ENOENT: 2 :: No such file or directory
12-
:member OSError.ESRCH: 3 :: No such process
13-
:member OSError.EINTR: 4 :: Interrupted system call
14-
:member OSError.EIO: 5 :: I/O error
15-
:member OSError.ENXIO: 6 :: No such device or address
16-
:member OSError.E2BIG: 7 :: Argument list too long
17-
:member OSError.ENOEXEC: 8 :: Exec format error
18-
:member OSError.EBADF: 9 :: Bad file descriptor
19-
:member OSError.ECHILD: 10 :: No child processes
20-
:member OSError.EAGAIN: 11 :: Resource temporarily unavailable
21-
:member OSError.ENOMEM: 12 :: Out of memory
22-
:member OSError.EACCES: 13 :: Permission denied
23-
:member OSError.EFAULT: 14 :: Bad address
24-
:member OSError.ENOTBLK: 15 :: Block device required
25-
:member OSError.EBUSY: 16 :: Device or resource busy
26-
:member OSError.EEXIST: 17 :: File exists
27-
:member OSError.EXDEV: 18 :: Cross-device link
28-
:member OSError.ENODEV: 19 :: No such device
29-
:member OSError.ENOTDIR: 20 :: Not a directory
30-
:member OSError.EISDIR: 21 :: Is a directory
31-
:member OSError.EINVAL: 22 :: Invalid argument
32-
:member OSError.ENFILE: 23 :: File table overflow
33-
:member OSError.EMFILE: 24 :: Too many open files
34-
:member OSError.ENOTTY: 25 :: Inappropriate I/O control operation
35-
:member OSError.ETXTBSY: 26 :: Text file busy
36-
:member OSError.EFBIG: 27 :: File too large
37-
:member OSError.ENOSPC: 28 :: No space left on device
38-
:member OSError.ESPIPE: 29 :: Illegal seek
39-
:member OSError.EROFS: 30 :: Read-only file system
40-
:member OSError.EMLINK: 31 :: Too many links
41-
:member OSError.EPIPE: 32 :: Broken pipe
42-
:member OSError.EDOM: 33 :: Math argument out of domain of func
43-
:member OSError.ERANGE: 34 :: Math result not representable
44-
:member OSError.EDEADLK: 35 :: Resource deadlock would occur
45-
:member OSError.ENAMETOOLONG: 36 :: File name too long
46-
:member OSError.ENOLCK: 37 :: No record locks available
47-
:member OSError.ENOSYS: 38 :: Invalid system call number
48-
:member OSError.ENOTEMPTY: 39 :: Directory not empty
49-
:member OSError.ELOOP: 40 :: Too many symbolic links encountered
10+
:member EPERM 1 :: Operation not permitted
11+
:member ENOENT 2 :: No such file or directory
12+
:member ESRCH 3 :: No such process
13+
:member EINTR 4 :: Interrupted system call
14+
:member EIO 5 :: I/O error
15+
:member ENXIO 6 :: No such device or address
16+
:member E2BIG 7 :: Argument list too long
17+
:member ENOEXEC 8 :: Exec format error
18+
:member EBADF 9 :: Bad file descriptor
19+
:member ECHILD 10 :: No child processes
20+
:member EAGAIN 11 :: Resource temporarily unavailable
21+
:member ENOMEM 12 :: Out of memory
22+
:member EACCES 13 :: Permission denied
23+
:member EFAULT 14 :: Bad address
24+
:member ENOTBLK 15 :: Block device required
25+
:member EBUSY 16 :: Device or resource busy
26+
:member EEXIST 17 :: File exists
27+
:member EXDEV 18 :: Cross-device link
28+
:member ENODEV 19 :: No such device
29+
:member ENOTDIR 20 :: Not a directory
30+
:member EISDIR 21 :: Is a directory
31+
:member EINVAL 22 :: Invalid argument
32+
:member ENFILE 23 :: File table overflow
33+
:member EMFILE 24 :: Too many open files
34+
:member ENOTTY 25 :: Inappropriate I/O control operation
35+
:member ETXTBSY 26 :: Text file busy
36+
:member EFBIG 27 :: File too large
37+
:member ENOSPC 28 :: No space left on device
38+
:member ESPIPE 29 :: Illegal seek
39+
:member EROFS 30 :: Read-only file system
40+
:member EMLINK 31 :: Too many links
41+
:member EPIPE 32 :: Broken pipe
42+
:member EDOM 33 :: Math argument out of domain of func
43+
:member ERANGE 34 :: Math result not representable
44+
:member EDEADLK 35 :: Resource deadlock would occur
45+
:member ENAMETOOLONG 36 :: File name too long
46+
:member ENOLCK 37 :: No record locks available
47+
:member ENOSYS 38 :: Invalid system call number
48+
:member ENOTEMPTY 39 :: Directory not empty
49+
:member ELOOP 40 :: Too many symbolic links encountered
5050

51-
:member OSError.ENOMSG: 42 :: No message of desired type
52-
:member OSError.EIDRM: 43 :: Identifier removed
53-
:member OSError.ECHRNG: 44 :: Channel number out of range
54-
:member OSError.EL2NSYNC: 45 :: Level 2 not synchronized
55-
:member OSError.EL3HLT: 46 :: Level 3 halted
56-
:member OSError.EL3RST: 47 :: Level 3 reset
57-
:member OSError.ELNRNG: 48 :: Link number out of range
58-
:member OSError.EUNATCH: 49 :: Protocol driver not attached
59-
:member OSError.ENOCSI: 50 :: No CSI structure available
60-
:member OSError.EL2HLT: 51 :: Level 2 halted
61-
:member OSError.EBADE: 52 :: Invalid exchange
62-
:member OSError.EBADR: 53 :: Invalid request descriptor
63-
:member OSError.EXFULL: 54 :: Exchange full
64-
:member OSError.ENOANO: 55 :: No anode
65-
:member OSError.EBADRQC: 56 :: Invalid request code
66-
:member OSError.EBADSLT: 57 :: Invalid slot
51+
:member ENOMSG 42 :: No message of desired type
52+
:member EIDRM 43 :: Identifier removed
53+
:member ECHRNG 44 :: Channel number out of range
54+
:member EL2NSYNC 45 :: Level 2 not synchronized
55+
:member EL3HLT 46 :: Level 3 halted
56+
:member EL3RST 47 :: Level 3 reset
57+
:member ELNRNG 48 :: Link number out of range
58+
:member EUNATCH 49 :: Protocol driver not attached
59+
:member ENOCSI 50 :: No CSI structure available
60+
:member EL2HLT 51 :: Level 2 halted
61+
:member EBADE 52 :: Invalid exchange
62+
:member EBADR 53 :: Invalid request descriptor
63+
:member EXFULL 54 :: Exchange full
64+
:member ENOANO 55 :: No anode
65+
:member EBADRQC 56 :: Invalid request code
66+
:member EBADSLT 57 :: Invalid slot
6767

68-
:member OSError.EBFONT: 59 :: Bad font file format
69-
:member OSError.ENOSTR: 60 :: Device not a stream
70-
:member OSError.ENODATA: 61 :: No data available
71-
:member OSError.ETIME: 62 :: Timer expired
72-
:member OSError.ENOSR: 63 :: Out of streams resources
73-
:member OSError.ENONET: 64 :: Machine is not on the network
74-
:member OSError.ENOPKG: 65 :: Package not installed
75-
:member OSError.EREMOTE: 66 :: Object is remote
76-
:member OSError.ENOLINK: 67 :: Link has been severed
77-
:member OSError.EADV: 68 :: Advertise error
78-
:member OSError.ESRMNT: 69 :: Srmount error
79-
:member OSError.ECOMM: 70 :: Communication error on send
80-
:member OSError.EPROTO: 71 :: Protocol error
81-
:member OSError.EMULTIHOP: 72 :: Multihop attempted
82-
:member OSError.EDOTDOT: 73 :: RFS specific error
83-
:member OSError.EBADMSG: 74 :: Not a data message
84-
:member OSError.EOVERFLOW: 75 :: Value too large for defined data type
85-
:member OSError.ENOTUNIQ: 76 :: Name not unique on network
86-
:member OSError.EBADFD: 77 :: File descriptor in bad state
87-
:member OSError.EREMCHG: 78 :: Remote address changed
88-
:member OSError.ELIBACC: 79 :: Can not access a needed shared library
89-
:member OSError.ELIBBAD: 80 :: Accessing a corrupted shared library
90-
:member OSError.ELIBSCN: 81 :: .lib section in a.out corrupted
91-
:member OSError.ELIBMAX: 82 :: Attempting to link in too many shared libraries
92-
:member OSError.ELIBEXEC: 83 :: Cannot exec a shared library directly
93-
:member OSError.EILSEQ: 84 :: Illegal byte sequence
94-
:member OSError.ERESTART: 85 :: Interrupted system call should be restarted
95-
:member OSError.ESTRPIPE: 86 :: Streams pipe error
96-
:member OSError.EUSERS: 87 :: Too many users
97-
:member OSError.ENOTSOCK: 88 :: Socket operation on non-socket
98-
:member OSError.EDESTADDRREQ: 89 :: Destination address required
99-
:member OSError.EMSGSIZE: 90 :: Message too long
100-
:member OSError.EPROTOTYPE: 91 :: Protocol wrong type for socket
101-
:member OSError.ENOPROTOOPT: 92 :: Protocol not available
102-
:member OSError.EPROTONOSUPPORT: 93 :: Protocol not supported
103-
:member OSError.ESOCKTNOSUPPORT: 94 :: Socket type not supported
104-
:member OSError.EOPNOTSUPP: 95 :: Operation not supported on transport endpoint
105-
:member OSError.EPFNOSUPPORT: 96 :: Protocol family not supported
106-
:member OSError.EAFNOSUPPORT: 97 :: Address family not supported by protocol
107-
:member OSError.EADDRINUSE: 98 :: Address already in use
108-
:member OSError.EADDRNOTAVAIL: 99 :: Cannot assign requested address
109-
:member OSError.ENETDOWN: 100 :: Network is down
110-
:member OSError.ENETUNREACH: 101 :: Network is unreachable
111-
:member OSError.ENETRESET: 102 :: Network dropped connection because of reset
112-
:member OSError.ECONNABORTED: 103 :: Software caused connection abort
113-
:member OSError.ECONNRESET: 104 :: Connection reset by peer
114-
:member OSError.ENOBUFS: 105 :: No buffer space available
115-
:member OSError.EISCONN: 106 :: Transport endpoint is already connected
116-
:member OSError.ENOTCONN: 107 :: Transport endpoint is not connected
117-
:member OSError.ESHUTDOWN: 108 :: Cannot send after transport endpoint shutdown
118-
:member OSError.ETOOMANYREFS: 109 :: Too many references: cannot splice
119-
:member OSError.ETIMEDOUT: 110 :: Connection timed out
120-
:member OSError.ECONNREFUSED: 111 :: Connection refused
121-
:member OSError.EHOSTDOWN: 112 :: Host is down
122-
:member OSError.EHOSTUNREACH: 113 :: No route to host
123-
:member OSError.EALREADY: 114 :: Operation already in progress
124-
:member OSError.EINPROGRESS: 115 :: Operation now in progress
125-
:member OSError.ESTALE: 116 :: Stale file handle
126-
:member OSError.EUCLEAN: 117 :: Structure needs cleaning
127-
:member OSError.ENOTNAM: 118 :: Not a XENIX named type file
128-
:member OSError.ENAVAIL: 119 :: No XENIX semaphores available
129-
:member OSError.EISNAM: 120 :: Is a named type file
130-
:member OSError.EREMOTEIO: 121 :: Remote I/O error
131-
:member OSError.EDQUOT: 122 :: Quota exceeded
132-
:member OSError.ENOMEDIUM: 123 :: No medium found
133-
:member OSError.EMEDIUMTYPE: 124 :: Wrong medium type
134-
:member OSError.ECANCELED: 125 :: Operation Canceled
135-
:member OSError.ENOKEY: 126 :: Required key not available
136-
:member OSError.EKEYEXPIRED: 127 :: Key has expired
137-
:member OSError.EKEYREVOKED: 128 :: Key has been revoked
138-
:member OSError.EKEYREJECTED: 129 :: Key was rejected by service
139-
:member OSError.EOWNERDEAD: 130 :: Owner died
140-
:member OSError.ENOTRECOVERABLE: 131 :: State not recoverable
68+
:member EBFONT 59 :: Bad font file format
69+
:member ENOSTR 60 :: Device not a stream
70+
:member ENODATA 61 :: No data available
71+
:member ETIME 62 :: Timer expired
72+
:member ENOSR 63 :: Out of streams resources
73+
:member ENONET 64 :: Machine is not on the network
74+
:member ENOPKG 65 :: Package not installed
75+
:member EREMOTE 66 :: Object is remote
76+
:member ENOLINK 67 :: Link has been severed
77+
:member EADV 68 :: Advertise error
78+
:member ESRMNT 69 :: Srmount error
79+
:member ECOMM 70 :: Communication error on send
80+
:member EPROTO 71 :: Protocol error
81+
:member EMULTIHOP 72 :: Multihop attempted
82+
:member EDOTDOT 73 :: RFS specific error
83+
:member EBADMSG 74 :: Not a data message
84+
:member EOVERFLOW 75 :: Value too large for defined data type
85+
:member ENOTUNIQ 76 :: Name not unique on network
86+
:member EBADFD 77 :: File descriptor in bad state
87+
:member EREMCHG 78 :: Remote address changed
88+
:member ELIBACC 79 :: Can not access a needed shared library
89+
:member ELIBBAD 80 :: Accessing a corrupted shared library
90+
:member ELIBSCN 81 :: .lib section in a.out corrupted
91+
:member ELIBMAX 82 :: Attempting to link in too many shared libraries
92+
:member ELIBEXEC 83 :: Cannot exec a shared library directly
93+
:member EILSEQ 84 :: Illegal byte sequence
94+
:member ERESTART 85 :: Interrupted system call should be restarted
95+
:member ESTRPIPE 86 :: Streams pipe error
96+
:member EUSERS 87 :: Too many users
97+
:member ENOTSOCK 88 :: Socket operation on non-socket
98+
:member EDESTADDRREQ 89 :: Destination address required
99+
:member EMSGSIZE 90 :: Message too long
100+
:member EPROTOTYPE 91 :: Protocol wrong type for socket
101+
:member ENOPROTOOPT 92 :: Protocol not available
102+
:member EPROTONOSUPPORT 93 :: Protocol not supported
103+
:member ESOCKTNOSUPPORT 94 :: Socket type not supported
104+
:member EOPNOTSUPP 95 :: Operation not supported on transport endpoint
105+
:member EPFNOSUPPORT 96 :: Protocol family not supported
106+
:member EAFNOSUPPORT 97 :: Address family not supported by protocol
107+
:member EADDRINUSE 98 :: Address already in use
108+
:member EADDRNOTAVAIL 99 :: Cannot assign requested address
109+
:member ENETDOWN 100 :: Network is down
110+
:member ENETUNREACH 101 :: Network is unreachable
111+
:member ENETRESET 102 :: Network dropped connection because of reset
112+
:member ECONNABORTED 103 :: Software caused connection abort
113+
:member ECONNRESET 104 :: Connection reset by peer
114+
:member ENOBUFS 105 :: No buffer space available
115+
:member EISCONN 106 :: Transport endpoint is already connected
116+
:member ENOTCONN 107 :: Transport endpoint is not connected
117+
:member ESHUTDOWN 108 :: Cannot send after transport endpoint shutdown
118+
:member ETOOMANYREFS 109 :: Too many references: cannot splice
119+
:member ETIMEDOUT 110 :: Connection timed out
120+
:member ECONNREFUSED 111 :: Connection refused
121+
:member EHOSTDOWN 112 :: Host is down
122+
:member EHOSTUNREACH 113 :: No route to host
123+
:member EALREADY 114 :: Operation already in progress
124+
:member EINPROGRESS 115 :: Operation now in progress
125+
:member ESTALE 116 :: Stale file handle
126+
:member EUCLEAN 117 :: Structure needs cleaning
127+
:member ENOTNAM 118 :: Not a XENIX named type file
128+
:member ENAVAIL 119 :: No XENIX semaphores available
129+
:member EISNAM 120 :: Is a named type file
130+
:member EREMOTEIO 121 :: Remote I/O error
131+
:member EDQUOT 122 :: Quota exceeded
132+
:member ENOMEDIUM 123 :: No medium found
133+
:member EMEDIUMTYPE 124 :: Wrong medium type
134+
:member ECANCELED 125 :: Operation Canceled
135+
:member ENOKEY 126 :: Required key not available
136+
:member EKEYEXPIRED 127 :: Key has expired
137+
:member EKEYREVOKED 128 :: Key has been revoked
138+
:member EKEYREJECTED 129 :: Key was rejected by service
139+
:member EOWNERDEAD 130 :: Owner died
140+
:member ENOTRECOVERABLE 131 :: State not recoverable

0 commit comments

Comments
 (0)