Searched refs:Error (Results 201 - 225 of 226) sorted by relevance
12345678910
| /seL4-l4v-master/seL4/manual/parts/ |
| H A D | cspace.tex | 199 Cap Type & Conditions for Derivation & Error Code on Derivation Failure \\
|
| /seL4-l4v-master/HOL4/examples/fun-op-sem/small-step/ |
| H A D | forSmallScript.sml | 148 | (Rfail, s) => (s, Error)`;
|
| H A D | for_osmallScript.sml | 209 | (Rfail, s) => (s, Error)`;
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | BasicStreamIO.sml | 346 if read = n orelse read = 0 (* Error? *)
|
| H A D | Foreign.sml | 85 structure Error: structure
491 structure Error = structure
|
| H A D | FinalPolyML.sml | 456 (* ( (if hard then ["Error-"] else ["Warning-"]) @
|
| /seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
| H A D | TYPECHECK_PARSETREE.sml | 159 (* Error message for incompatible types. Displays both expressions and their types. *)
182 (* Error message for single expressions with the wrong type. e.g. "if" not followed
|
| H A D | MATCH_COMPILER.sml | 638 | _ => 0 (* Error? *)
|
| /seL4-l4v-master/HOL4/examples/elliptic/ |
| H A D | ellipticScript.sml | 39 val Error = ERR ""; value
|
| H A D | fieldScript.sml | 39 val Error = ERR ""; value
|
| /seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
| H A D | CommonDialog.sml | 25 (* Error codes *)
|
| H A D | Base.sml | 376 open Foreign.Error
|
| /seL4-l4v-master/HOL4/src/1/ |
| H A D | selftest.sml | 1196 Error (OvlNoType(s,_), _) => if s = "<" orelse s = "+" then OK()
|
| /seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/bytecode/ |
| H A D | lisp_compilerScript.sml | 173 BC_ap ret (Error,n,a,q,bc)
2478 \\ Q.PAT_X_ASSUM `BC_ap zzz (Error,xxx) szzz` MP_TAC
2844 (func2sexp (Error) = [Sym "ERROR"]) /\
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | term_pp.sml | 1221 Error _ => false
|
| /seL4-l4v-master/HOL4/examples/dev/ |
| H A D | compile.sml | 44 (* Error reporting function *)
|
| /seL4-l4v-master/HOL4/src/quantHeuristics/ |
| H A D | quantHeuristicsLibBase.sml | 397 ("Error in guess: "^(guess_to_string true guess)) else
|
| /seL4-l4v-master/HOL4/src/quotient/examples/ |
| H A D | ind_rel.sml | 142 it makes sense. Error messages are printed out if there are
|
| /seL4-l4v-master/HOL4/examples/acl2/examples/M1/ |
| H A D | sexp.sml | 97 (* Error reporting function (uses some HOL boilerplate I don't understand) *)
|
| /seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
| H A D | sexp.sml | 97 (* Error reporting function (uses some HOL boilerplate I don't understand) *)
|
| /seL4-l4v-master/HOL4/examples/acl2/ml/ |
| H A D | sexp.sml | 97 (* Error reporting function (uses some HOL boilerplate I don't understand) *)
|
| H A D | polytypicLib.sml | 10 (* Error handling functions: *)
|
| /seL4-l4v-master/HOL4/examples/ARM_security_properties/model/ |
| H A D | arm_stepScript.sml | 327 of Error _ => NONE
|
| /seL4-l4v-master/HOL4/examples/ARM/v7/ |
| H A D | arm_stepScript.sml | 329 of Error _ => NONE
|
| /seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
| H A D | lisp_compiler_opScript.sml | 3991 \\ STRIP_TAC (* Error *) THEN1
|
Completed in 407 milliseconds
12345678910