From 40c2801b99391e0c2b15e8c9169bec96c726a920 Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jeremie@dimino.org>
Date: Mon, 20 Feb 2012 11:01:12 +0100
Subject: [PATCH] execute delayed actions before parsing with camlp4

Ignore-this: 162f06f1949d9af97793705ffd762a7

darcs-hash:20120220100112-c41ad-251c93cbec866030e3d736083db3a974e0bf59bf
---
 src/camlp4/uTop_camlp4.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/camlp4/uTop_camlp4.ml b/src/camlp4/uTop_camlp4.ml
index 6147507..9348084 100644
--- a/src/camlp4/uTop_camlp4.ml
+++ b/src/camlp4/uTop_camlp4.ml
@@ -20,6 +20,8 @@ let print_camlp4_error pp exn =
   Format.pp_print_flush pp ()
 
 let parse_toplevel_phrase_camlp4 str eos_is_error =
+  (* Execute delayed actions now. *)
+  Register.iter_and_take_callbacks (fun (_, f) -> f ());
   let eof = ref false in
   try
     let token_stream = Gram.filter (Gram.lex_string (Loc.mk UTop.input_name) str) in