Searched refs:Error (Results 176 - 200 of 226) sorted by relevance
12345678910
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | parse_term.sml | 664 NONE => Error (noloc "No terminal in stack")
668 handle Empty => Error (noloc "pop: empty stack")
770 NONE => Error (noloc "Token-lexing failed")
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | TopLevelPolyML.sml | 890 (* Send an Error packet. *)
1431 | SOME preludeError => (* Error - stop *)
1681 print("Error trying to use the file: '" ^ filenameArg ^ "'\n");
|
| H A D | Posix.sml | 551 structure Error : POSIX_ERROR structure
613 structure Error = structure
|
| /seL4-l4v-master/HOL4/examples/dev/ |
| H A D | compile.sig | 12 (* Error reporting function *)
|
| H A D | vsynth.sml | 46 (* Error reporting function *)
|
| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | ANF.sml | 59 (* Error reporting function *)
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
| H A D | ANF.sml | 59 (* Error reporting function *)
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/ |
| H A D | ANF.sml | 59 (* Error reporting function *)
|
| /seL4-l4v-master/HOL4/tools/mlyacc/mlyacclib/ |
| H A D | MLY_parser2.sml | 37 'A Practical Method for LR and LL Syntactic Error Diagnosis and
|
| /seL4-l4v-master/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
| H A D | parser2.sml | 7 'A Practical Method for LR and LL Syntactic Error Diagnosis and
|
| /seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
| H A D | parser2.sml | 7 'A Practical Method for LR and LL Syntactic Error Diagnosis and
|
| /seL4-l4v-master/HOL4/examples/ARM/v7/ |
| H A D | arm_parserLib.sml | 114 Error of { origin_function : string, message : string } | Okay of 'a;
123 of Error e => Error e
131 fn (x,y) => fn _ => Error { origin_function = x, message = y };
136 of Error e => h () s
396 of Error e => raise ERR (#origin_function e) (#message e)
|
| H A D | arm_stepLib.sml | 688 raise ERR "eval_inst" ("Error: " ^ stringSyntax.fromHOLstring e)
|
| /seL4-l4v-master/seL4/src/arch/x86/kernel/ |
| H A D | vspace.c | 570 fault = getRegister(thread, Error);
|
| /seL4-l4v-master/isabelle/src/Pure/Admin/ |
| H A D | build_log.scala | 207 error("Error in log file " + quote(name) + ": " + msg)
258 catch { case _: XML.Error => log_file.err("malformed properties") }
|
| /seL4-l4v-master/l4v/isabelle/src/Pure/Admin/ |
| H A D | build_log.scala | 207 error("Error in log file " + quote(name) + ": " + msg)
258 catch { case _: XML.Error => log_file.err("malformed properties") }
|
| /seL4-l4v-master/HOL4/examples/elliptic/ |
| H A D | groupScript.sml | 38 val Error = ERR ""; value
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Active.sml | 782 handle Error err =>
|
| H A D | Model.sml | 762 | NONE => raise Error "Model.getValuation: incomplete valuation";
|
| /seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/extract/ |
| H A D | lisp_extractScript.sml | 175 ``T ==> R_ap (Error,args,a,fns,io,ok) (Sym "NIL",fns,STRCAT
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Active.sml | 782 handle Error err =>
|
| H A D | Model.sml | 762 | NONE => raise Error "Model.getValuation: incomplete valuation";
|
| /seL4-l4v-master/HOL4/examples/HolBdd/ |
| H A D | PrimitiveBddRules.sml | 233 let val _ = print "BddEqMp Error\n"
|
| /seL4-l4v-master/HOL4/examples/temporal_deep/src/translations/ |
| H A D | translationsLib.sml | 209 val _ = print "\n\nThere has to be an Implementation Error!\n\n";
|
| /seL4-l4v-master/HOL4/src/probability/ |
| H A D | hurdUtils.sml | 40 (* Error handling *)
|
Completed in 231 milliseconds
12345678910