diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/.depend | 8 | ||||
| -rw-r--r-- | stdlib/pervasives.ml | 1 | ||||
| -rw-r--r-- | stdlib/pervasives.mli | 2 |
3 files changed, 5 insertions, 6 deletions
diff --git a/stdlib/.depend b/stdlib/.depend index 6fbea6ba9..6c18ecadb 100644 --- a/stdlib/.depend +++ b/stdlib/.depend @@ -4,8 +4,8 @@ parsing.cmi: lexing.cmi obj.cmi printf.cmi: buffer.cmi arg.cmo: array.cmi list.cmi printf.cmi string.cmi sys.cmi arg.cmi arg.cmx: array.cmx list.cmx printf.cmx string.cmx sys.cmx arg.cmi -array.cmo: pervasives.cmi array.cmi -array.cmx: pervasives.cmx array.cmi +array.cmo: array.cmi +array.cmx: array.cmi buffer.cmo: string.cmi sys.cmi buffer.cmi buffer.cmx: string.cmx sys.cmx buffer.cmi callback.cmo: obj.cmi callback.cmi @@ -14,8 +14,8 @@ char.cmo: char.cmi char.cmx: char.cmi digest.cmo: string.cmi digest.cmi digest.cmx: string.cmx digest.cmi -filename.cmo: buffer.cmi pervasives.cmi string.cmi sys.cmi filename.cmi -filename.cmx: buffer.cmx pervasives.cmx string.cmx sys.cmx filename.cmi +filename.cmo: buffer.cmi string.cmi sys.cmi filename.cmi +filename.cmx: buffer.cmx string.cmx sys.cmx filename.cmi format.cmo: buffer.cmi obj.cmi string.cmi format.cmi format.cmx: buffer.cmx obj.cmx string.cmx format.cmi gc.cmo: printf.cmi sys.cmi gc.cmi diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index 6e5cab16c..20412d421 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -22,7 +22,6 @@ let failwith s = raise(Failure s) let invalid_arg s = raise(Invalid_argument s) exception Exit -exception Assert_failure of (string * int * int) (* Comparisons *) diff --git a/stdlib/pervasives.mli b/stdlib/pervasives.mli index 1411c7dcc..89c188600 100644 --- a/stdlib/pervasives.mli +++ b/stdlib/pervasives.mli @@ -59,7 +59,7 @@ external raise : exn -> 'a = "%raise" apply. The arguments are the location of the pattern-matching in the source code (file name, position of first character, position of last character). *) -exception Assert_failure of (string * int * int) +(*- exception Assert_failure of (string * int * int) *) (* Exception raised when an assertion fails. The arguments are the location of the pattern-matching in the source code (file name, position of first character, position of last |