| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | typecheck_error.sml | 11 type error = tcheck_error * locn.locn type
|
| H A D | MLstring.sml | 10 val error = "Illegal "^Int.toString size^"-digit "^ value
|
| H A D | Preterm.sig | 8 type error = typecheck_error.error type
|
| H A D | Pretype.sig | 15 type error = typecheck_error.error type
|
| /seL4-l4v-master/l4v/tools/autocorres/tests/examples/ |
| H A D | str2long.c | 12 int error = 0; variable
|
| /seL4-l4v-master/HOL4/tools/mlyacc/src/ |
| H A D | parse.sml | 38 val error = fn (s : string,i:int,_) => value
|
| H A D | hdr.sml | 50 val error = fn {name,errStream, errorOccurred,...} : inputSource => value
|
| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | errormsg.sml | 8 val error : int -> string -> unit value
31 fun error pos (msg:string) = function
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
| H A D | errormsg.sml | 8 val error : int -> string -> unit value
31 fun error pos (msg:string) = function
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/util/ |
| H A D | errormsg.sml | 8 val error : int -> string -> unit value
31 fun error pos (msg:string) = function
|
| /seL4-l4v-master/HOL4/src/portableML/monads/ |
| H A D | errormonad.sig | 8 val error : 'c -> ('a,'b,'c) t value
|
| H A D | errormonad.sml | 7 fun error (e:'error) : ('s,'a,'error) t = fn env => Error e function
|
| /seL4-l4v-master/HOL4/examples/elliptic/ |
| H A D | Parser.sig | 22 val error : 'a -> 'b * 'a value
|
| H A D | Parser.sml | 52 val error : 'a -> 'b * 'a = fn _ => raise Noparse; value
|
| /seL4-l4v-master/HOL4/src/portableML/poly/ |
| H A D | Exn.sig | 10 val error: string -> 'a value
|
| H A D | Exn.sml | 21 fun error msg = raise ERROR msg; function
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Parse.sig | 28 val error : 'a -> 'b * 'a value
|
| H A D | Parse.sml | 26 val error : 'a -> 'b * 'a = fn _ => raise NoParse; value
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Parse.sig | 28 val error : 'a -> 'b * 'a value
|
| H A D | Parse.sml | 26 val error : 'a -> 'b * 'a = fn _ => raise NoParse; value
|
| /seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/bin/ |
| H A D | wrapper.c | 71 void report_error(long bp, long sp, long error) { argument
|
| /seL4-l4v-master/HOL4/tools/Holmake/poly/ |
| H A D | multibuild.sml | 90 fun error b = function
|
| /seL4-l4v-master/HOL4/examples/acl2/lisp/ |
| H A D | book-essence.lisp | [all...] |
| /seL4-l4v-master/seL4/tools/ |
| H A D | lex.py | 105 def error(self, msg, *args, **kwargs): member in class:PlyLogger
[all...] |
| /seL4-l4v-master/l4v/misc/autostop/ |
| H A D | stop.c | 283 int error = sysinfo(&info); local
375 int error = parse_signal(argv[1], &signal, &signame); local
403 int error = kill(d.worst_pid, signal); local
|