/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Tptp.sml | 573 | _ => raise Error "Tptp.destLiteral"; 857 | _ => raise Error "destCnfFormulaBody"; 864 | _ => raise Error "destFofFormulaBody"; 1755 | _ => raise Error "Tptp.destLineComment"; 1896 raise Error "TPTP problem has both cnf and fof conjecture formulas" 2081 | _ => raise Error "EOF inside a block comment"; 2115 handle Parse.NoParse => raise Error "parse error") 2116 handle Error err => 2117 raise Error ("error in TPTP file \"" ^ filename ^ "\" " ^ 2560 handle Error er [all...] |
H A D | KeyMap.sml | 23 exception Error = Useful.Error; exception 148 handle Error err => raise Bug err; 1065 NONE => raise Error "KeyMap.get: element not found"
|
H A D | Map.sml | 15 exception Error = Useful.Error; exception 140 handle Error err => raise Bug err; 1057 NONE => raise Error "Map.get: element not found"
|
H A D | Print.sml | 1087 else raise Error "no stack" 1093 else raise Error "wrong lineSize" 1097 handle Error err => raise Bug err) 1269 [] => raise Error "Print.execute: too many end blocks"
|
/seL4-l4v-master/HOL4/src/parse/ |
H A D | Parse_support.sml | 80 | Error e => raise AQincompat{ 86 | Error e => raise AQincompat { 107 Error e => raise typecheck_error.mkExn e
|
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/spec/ |
H A D | lisp_semanticsScript.sml | 16 | Define | Print | Error | Funcall | Fun of string`; 123 App Error (MAP sexp2term (sexp2list (CDR x))) else 235 R_ap (Error,args,a,fns,io,ok) (anything,fns,
|
/seL4-l4v-master/graph-refine/graph-to-graph/ |
H A D | pydot.py | 705 class Error(Exception): class in inherits:Exception 929 raise Error, "Can't compare and edge to a non-edge object." 1079 raise Error, 'Invalid type "%s". Accepted graph types are: graph, digraph, subgraph' % graph_type
|
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
H A D | PRINT_PARSETREE.sml | 60 for error messages (Error near ...) and also for 650 (* Error message routine. Used in both pass 2 and pass 3. *)
|
/seL4-l4v-master/isabelle/src/Pure/Thy/ |
H A D | present.scala | 44 catch { case _: XML.Error => Nil }
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Thy/ |
H A D | present.scala | 44 catch { case _: XML.Error => Nil }
|
/seL4-l4v-master/HOL4/examples/elliptic/ |
H A D | Useful.sig | 13 exception Error of string exception
|
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibCanon.sml | 30 val () = assert (x <> y) (Error "sym: refl")
|
H A D | mlibUseful.sig | 10 exception Error of string exception
|
H A D | mlibModel.sml | 650 handle Toomany => raise Error "mlibModel.term_to_string: too many free vars"; 654 handle Toomany => raise Error "mlibModel.formula_to_string: too many free vars";
|
/seL4-l4v-master/HOL4/src/ring/src/ |
H A D | ringLib.sml | 140 raise RING_ERR "mk_ring_thm" "Error while importing ring definitions"
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | KeyMap.sml | 23 exception Error = Useful.Error; exception 148 handle Error err => raise Bug err; 1065 NONE => raise Error "KeyMap.get: element not found"
|
H A D | Map.sml | 15 exception Error = Useful.Error; exception 140 handle Error err => raise Bug err; 1057 NONE => raise Error "Map.get: element not found"
|
H A D | Print.sml | 1087 else raise Error "no stack" 1093 else raise Error "wrong lineSize" 1097 handle Error err => raise Bug err) 1269 [] => raise Error "Print.execute: too many end blocks"
|
/seL4-l4v-master/HOL4/src/tactictoe/src/ |
H A D | tttEval.sml | 40 | e => (print_endline "Error"; raise e)
|
/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | server.scala | 119 class Error(val message: String, val json: JSON.Object.T = JSON.Object.empty) 124 case e: Error => Reply.error_message(e.message) ++ e.json
|
/seL4-l4v-master/isabelle/src/Tools/VSCode/src/ |
H A D | protocol.scala | 255 val Error = 1 482 val Error = 1
|
H A D | vscode_rendering.scala | 47 Markup.ERROR -> Protocol.DiagnosticSeverity.Error)
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
H A D | server.scala | 119 class Error(val message: String, val json: JSON.Object.T = JSON.Object.empty) 124 case e: Error => Reply.error_message(e.message) ++ e.json
|
/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/ |
H A D | protocol.scala | 255 val Error = 1 482 val Error = 1
|
/seL4-l4v-master/HOL4/examples/ARM/v7/eval/ |
H A D | emit_eval.sml | 563 of armML.Error s => raise Fail "couldn't read Architecture" 597 of armML.Error e => (e, NONE)
|