Logiweb(TM)

14 Error messages and other messages

Prev Up Next Page 471 of 800 Search internet


14.1 The origins of error messages
14.2 The landing-places of error messages
14.3 The location of errors
14.4 Test cases
14.5 Internal errors
14.6 Progress messages
14.7 Progress messages during proof checking
14.8 Test failed
14.9 lgwam: Stack overflow
14.10 lgwam: Store overflow
14.11 unexpected tag
14.12 lgwam: Internal error: pnt buffer overflow
14.13 Warning. Stack residue
14.14 setTimer()/gettimeofday()
14.15 Panic: error occurred during generation of death report
14.16 Segmentation fault
14.17 lgwam: Segmentation fault
14.18 lgwam: Dynamic memory allocation (malloc) failed
14.19 sysinfo()
14.20 Unknown tag found during GC
14.21 Heap too small, goodbye
14.22 Internal error in GC, goodbye
14.23 lgwam: vec2int applied to non-int
14.24 This takes forever
14.25 logcount overflow
14.26 logbitp internal error
14.27 logbitp overflow
14.28 ash overflow
14.29 vectorSuffix overflow
14.30 vectorPrefix overflow
14.31 vectorSubseq overflow
14.32 lgwam: untag1: Attempt to reduce garbage
14.33 Internal error in eval: stack corrupted
14.34 trying to mmap
14.35 munmap
14.36 lgwam: Line too long
14.37 lgwam: Unexpected end of file
14.38 lgwam: Pnt overflow
14.39 lgwam: Malformed rack (Pointer too large)
14.40 lgwam: Malformed rack (Invalid tail)
14.41 lgwam: Missing colon in LGW_PATH element
14.42 lgwam: Path too long
14.43 lgwam: Neither LGW_PATH nor HOME set
14.44 LGW_PATH not set
14.45 Malformed rack (ENDFILE expected)
14.46 lgwam: readrack: open()
14.47 not found...LGW_PATH=...
14.48 sl2rack: Pnt overflow
14.49 sl2rack: Malformed rack (Pointer too large)
14.50 sl2rack: Malformed rack (Invalid tail)
14.51 rack2sl: Internal error n, cannot find cardinal
14.52 lgwam: rack2sl conversion of non-vector bigints not implemented
14.53 lgwam: stack overflow in rack2sl
14.54 lgwam: Unexpected character in hex constant
14.55 ref2string called with non-integer
14.56 ref2string overflow
14.57 lgwam: string2ref: uneven string
14.58 lgwam: init_name: Tag out of range
14.59 lgwam: No code found
14.60 lgwam: Unexpected type in codex
14.61 lgwam: Unknown value proclamations
14.62 Multiple definitions
14.63 lgwam: Unexpected type in code
14.64 lgwam: Probably mistakenly unfit due to problem elsewhere
14.65 lgwam: Probably mistakenly unfit due to header
14.66 lgwam: Probably mistakenly unfit...caused by call to...
14.67 lgwam: compile_other: parameter mismatch n
14.68 lgwam: compile_eager_intro1: unexpected arity
14.69 lgwam: remove_lambdas: too few arguments of function
14.70 compile_eterm: constant applied to arguments
14.71 lgwam: loadcache1: empty bibliography
14.72 lgwam: loadcache1: unexpected type of bibliography
14.73 lgwam: loadcache1: cache corrupted
14.74 lgwam: preload: empty bibliography
14.75 lgwam: preload: unexpected type of bibliography
14.76 lgwam: preloaded pages can only reference previously preloaded pages
14.77 machine_write: unknown tag
14.78 lgwam: exec_exec_request: malformed exec_request
14.79 write()
14.80 mkdir -p
14.81 open()
14.82 fork()
14.83 wait()
14.84 Abnormal termination of gcc()
14.85 gcc() exited due to error
14.86 dlopen()
14.87 dlsym()
14.88 Unknown event
14.89 lgwam: runmachine: no handler found
14.90 lgwam: runmachine: output events do not form a list
14.91 runmachine: output events must be pairs
14.92 runmachine: event roots must be pairs
14.93 runmachine: event references must be integers
14.94 runmachine: event root tails must be pairs
14.95 runmachine: event indexes must be integers
14.96 Usage: lgwam script <filename>
14.97 lgwam: runscript: cannot open script file
14.98 lgwam: runscript: Unknown method
14.99 The number of bits is required to be a multiple of 8
14.100 Cannot store function pointers in pointers
14.101 ttst X end test
14.102 ftst X end test
14.103 etst X ; Y end test
14.104 Opened fd=X, should have opened fd=Y
14.105 Unix call: gethostbyname
14.106 fileWrite()/write()
14.107 fileWrite(): invalid path name
14.108 fileWrite()/open()
14.109 fileWrite()/close()
14.110 fileRead()/open()
14.111 fileRead()/read()
14.112 fileRead()/close()
14.113 fileRm()/unlink()
14.114 fileSymlink()/symlink()
14.115 fileReadLink(): invalid path
14.116 fileReadLink()/readlink()
14.117 fileReadLink(): link too long
14.118 fileMkdir(): invalid path name
14.119 fileMkdir()/mkdir()
14.120 fileRmdir(): invalid path name
14.121 fileRmdir()/rmdir()
14.122 fileDir()/opendir()
14.123 fileDir()/readdir()
14.124 fileDir()/closedir()
14.125 fileDir(): invalid directory entry
14.126 fileDir(): invalid path name
14.127 fileType()/lstat()
14.128 fileType(): invalid path name
14.129 fileTypeRead()/read()
14.130 fileTypeRead()/close()
14.131 fileTypeRead(): invalid path name
14.132 textWrite()/open()
14.133 textWrite()/close()
14.134 textWrite(): invalid path name
14.135 textWrite(): invalid newline sequence
14.136 fileGetCwd
14.137 putInt(): Negative integer
14.138 Buffer overflow
14.139 time()/gettimeofday()
14.140 demonize()/close()
14.141 demonize()/open()
14.142 demonize()/first fork()
14.143 demonize()/setsid()
14.144 demonize()/second fork()
14.145 demonize()/open(pid_file)
14.146 demonize()/fdopen()
14.147 demonize()/fprintf(pid_stream)
14.148 demonize()/fclose(pid_stream)
14.149 demonize()/getpwnam()
14.150 demonize()/setgid()
14.151 demonize()/setuid()
14.152 demonize()/chdir()
14.153 demonize()/close(0)
14.154 demonize()/open(0)
14.155 demonize(): invalid arguments
14.156 fork()
14.157 execlp1()/chdir()
14.158 execlp1()/open(): Cannot open /dev/null
14.159 execlp1()/close() failed for X
14.160 execlp1()/dup2() failed for X
14.161 execlp1()/wait()
14.162 execlp1()/dup(): Cannot duplicate X
14.163 execlp1(): invalid argument N
14.164 tcpQuery()/gettimeofday()
14.165 tcpQuery()/socket()
14.166 tcpQuery()/select()
14.167 tcpQuery(): invalid argument N
14.168 Unpack
14.169 Initialize
14.170 1st reading
14.171 Compile
14.172 Expand
14.173 Harvest
14.174 Compare
14.175 Internal error: Wrong version
14.176 Internal error: Error position is no int
14.177 Internal error in lgc-load-receive
14.178 Internal error in lgc-load-codify1
14.179 Internal error 1 in lgc-splice
14.180 Internal error 2 in lgc-splice
14.181 Internal error in lgc-charge2
14.182 Invalid verbosity
14.183 No source file specified
14.184 Source file not found
14.185 Invalid proclamation
14.186 Invalid leap
14.187 Leap seconds must be stated in descending order
14.188 Unhandled exception, goodbye.
14.189 GRD-...UTC:...
14.190 Reading file
14.191 Fetching
14.192 Illegal suffix in path or namepath element
14.193 Illegal suffix in lgu link
14.194 Malformed lgu link
14.195 Reading http
14.196 Codifying
14.197 Probing
14.198 Rendering <file>
14.199 Parsing
14.200 Writing header back to source
14.201 Verifying
14.202 The page is correct
14.203 Claim failed
14.204 Dumping to cache
14.205 Dumping to <file>
14.206 User rendering
14.207 Unknown rendering event
14.208 Error running <program>
14.209 Goodbye
14.210 Improper filename
14.211 Writing file
14.212 Invoking <program>
14.213 Could not load reference
14.214 Missing colon in path or namepath element
14.215 Malformed url
14.216 Malformed page found at <url>
14.217 Wrong page found at <url>
14.218 Could not trisect generated page
14.219 Missing colon in rendering option
14.220 Exception raised during user rendering, goodbye.
14.221 No page name found
14.222 Malformed charge
14.223 Charge refers to ambiguous construct
14.224 Cannot generate name and charge definitions
14.225 Use of ambiguous construct
14.226 Could not find include file
14.227 Cannot parse beyond this point
14.228 Ambiguous source text
14.229 Illegal character
14.230 End of file in long comment
14.231 End of file in escape sequence
14.232 Unknown escape in body
14.233 More than one page name found
14.234 Unknown escape in page
14.235 Empty page name
14.236 Unknown escape in reference
14.237 Empty reference
14.238 Unknown escape in definition
14.239 Construct must contain at least one proper character
14.240 End of file in string
14.241 Unknown escape in string
14.242 End of string in hex code
14.243 Invalid character in hex constant
14.244 Odd number of digits in hex code
14.245 The location of errors in proofs
14.246 Well- and illformed metaterms
14.247 Substitution produces non-meta-term
14.248 At-seqop used for non-free substitution
14.249 Unknown seqop in root
14.250 In seqcnt: Unknown seqop in root
14.251 Init-seqop used on non-meta term
14.252 Ponens-seqop used on non-inference
14.253 Probans-seqop used on non-endorsement
14.254 Verify-seqop used on non-endorsement
14.255 Verify-seqop used on false condition
14.256 Curry-seqop used on unfit argument
14.257 Uncurry-seqop used on unfit argument
14.258 Deref-seqop used on undefined statement
14.259 Deref-seqop produced non-meta term
14.260 At-seqop used on non-meta-term
14.261 At-seqop used on non-quantifier
14.262 Infer-seqop used on non-meta term
14.263 Endorse-seqop used on non-meta term
14.264 IdEst-seqop used on non-matching result
14.265 All-seqop catches variable which is free in premise
14.266 All-seqop catches variable which is free in condition
14.267 In proof checker: unprocessed exception
14.268 Malformed proof
14.269 Malformed sequent proof
14.270 Unchecked side condition
14.271 Proof of non-existent lemma
14.272 The proof does not prove what the lemma says
14.273 Lemma P occurs on a page with a non-empty diagnose
14.274 Lemma P occurs on a page which has not been checked
14.275 Lemma L has no proof
14.276 Circular proof
14.277 Unification
14.278 Incomplete unification
14.279 Unable to unify t with u
14.280 Unknown tactic operator
14.281 Ponens tactic used on non-inference
14.282 Probans tactic used on non-endorsement
14.283 Verify tactic used on non-endorsement
14.284 Curry tactic used on unfit argument
14.285 Uncurry tactic used on unfit argument
14.286 Deref tactic used on undefined statement
14.287 At tactic used on non-quantifier
14.288 During unification: Uncaught exception
14.289 Post unification tactic evaluation: Uncaught exception
14.290 Cannot convert r to type t
14.291 Unknown unitac operator
14.292 Exception raised by unitac aspect
14.293 Unsuited for currying
14.294 Unsuited for uncurrying
14.295 No locally assumed theory includes the rule
14.296 In definition soundness checker: unprocessed exception
14.297 Definition soundness check of v failed
14.298 Malformed result of hypothetical reasoning

Prev Up Next Page 471 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05