diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/Makefile | 7 | ||||
| -rw-r--r-- | stdlib/format.ml | 6 |
2 files changed, 10 insertions, 3 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index ef7a8d4ff7..4b044914da 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -87,6 +87,13 @@ allopt-prof: stdlib.p.cmxa std_exit.p.cmx .PHONY: install install:: +# Transitional: when upgrading from 4.06 -> 4.07, module M is in stdlib__m.cm*, +# while previously it was in m.cm*, which confuses the compiler. + rm -f $(patsubst stdlib__%,"$(INSTALL_LIBDIR)/%", $(filter stdlib__%,$(OBJS))) +# Remove "old" pervasives.* and bigarray.* to avoid getting confused with the +# Stdlib versions. + rm -f "$(INSTALL_LIBDIR)/pervasives.*" "$(INSTALL_LIBDIR)/bigarray.*" +# End transitional $(INSTALL_DATA) \ stdlib.cma std_exit.cmo *.cmi *.cmt *.cmti *.mli *.ml camlheader_ur \ "$(INSTALL_LIBDIR)" diff --git a/stdlib/format.ml b/stdlib/format.ml index e02ffae1f2..2769313333 100644 --- a/stdlib/format.ml +++ b/stdlib/format.ml @@ -239,7 +239,7 @@ exception Empty_queue let peek_queue = function | { body = Cons { head = x; tail = _; }; _ } -> x - | { body = Nil; insert = _; } -> raise Empty_queue + | { body = Nil; insert = _; } -> raise_notrace Empty_queue let take_queue = function @@ -247,7 +247,7 @@ let take_queue = function q.body <- tl; if tl = Nil then q.insert <- Nil; (* Maintain the invariant. *) x - | { body = Nil; insert = _; } -> raise Empty_queue + | { body = Nil; insert = _; } -> raise_notrace Empty_queue (* Enter a token in the pretty-printer queue. *) @@ -393,7 +393,7 @@ let format_pp_token state size = function | Pp_tbox tabs :: _ -> let rec find n = function | x :: l -> if x >= n then x else find n l - | [] -> raise Not_found in + | [] -> raise_notrace Not_found in let tab = match !tabs with | x :: _ -> |