Searched refs:Error (Results 126 - 150 of 226) sorted by relevance

12345678910

/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DTptp.sml573 | _ => 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 DKeyMap.sml23 exception Error = Useful.Error; exception
148 handle Error err => raise Bug err;
1065 NONE => raise Error "KeyMap.get: element not found"
H A DMap.sml15 exception Error = Useful.Error; exception
140 handle Error err => raise Bug err;
1057 NONE => raise Error "Map.get: element not found"
H A DPrint.sml1087 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 DParse_support.sml80 | 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 Dlisp_semanticsScript.sml16 | 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 Dpydot.py705 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 DPRINT_PARSETREE.sml60 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 Dpresent.scala44 catch { case _: XML.Error => Nil }
/seL4-l4v-master/l4v/isabelle/src/Pure/Thy/
H A Dpresent.scala44 catch { case _: XML.Error => Nil }
/seL4-l4v-master/HOL4/examples/elliptic/
H A DUseful.sig13 exception Error of string exception
/seL4-l4v-master/HOL4/src/metis/
H A DmlibCanon.sml30 val () = assert (x <> y) (Error "sym: refl")
H A DmlibUseful.sig10 exception Error of string exception
H A DmlibModel.sml650 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 DringLib.sml140 raise RING_ERR "mk_ring_thm" "Error while importing ring definitions"
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DKeyMap.sml23 exception Error = Useful.Error; exception
148 handle Error err => raise Bug err;
1065 NONE => raise Error "KeyMap.get: element not found"
H A DMap.sml15 exception Error = Useful.Error; exception
140 handle Error err => raise Bug err;
1057 NONE => raise Error "Map.get: element not found"
H A DPrint.sml1087 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 DtttEval.sml40 | e => (print_endline "Error"; raise e)
/seL4-l4v-master/isabelle/src/Pure/Tools/
H A Dserver.scala119 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 Dprotocol.scala255 val Error = 1
482 val Error = 1
H A Dvscode_rendering.scala47 Markup.ERROR -> Protocol.DiagnosticSeverity.Error)
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/
H A Dserver.scala119 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 Dprotocol.scala255 val Error = 1
482 val Error = 1
/seL4-l4v-master/HOL4/examples/ARM/v7/eval/
H A Demit_eval.sml563 of armML.Error s => raise Fail "couldn't read Architecture"
597 of armML.Error e => (e, NONE)

Completed in 155 milliseconds

12345678910