diff options
| author | Luc Maranget <luc.maranget@inria.fr> | 2005-10-05 14:59:11 +0000 |
|---|---|---|
| committer | Luc Maranget <luc.maranget@inria.fr> | 2005-10-05 14:59:11 +0000 |
| commit | 99099438f82d5046434dd7e2f330afdcbea5fe00 (patch) | |
| tree | 81f75e818e5fb120c4f448ab8cb6680ed0b327ae /bytecomp/translcore.ml | |
| parent | 3eb5448404c62c69dd43c8ef575c9b210157b6de (diff) | |
| download | ocaml-99099438f82d5046434dd7e2f330afdcbea5fe00.tar.gz | |
flush_space
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/jocamltrunk@7103 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/translcore.ml')
| -rw-r--r-- | bytecomp/translcore.ml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/bytecomp/translcore.ml b/bytecomp/translcore.ml index 3e15c1deea..1299a289e0 100644 --- a/bytecomp/translcore.ml +++ b/bytecomp/translcore.ml @@ -510,6 +510,7 @@ let primitive_is_ccall = function (* Assertions *) + let assert_failed loc = (* [Location.get_pos_info] is too expensive *) let fname = match loc.Location.loc_start.Lexing.pos_fname with @@ -521,13 +522,13 @@ let assert_failed loc = let char = pos.Lexing.pos_cnum - pos.Lexing.pos_bol in Lprim(Praise, [Lprim(Pmakeblock(0, Immutable), [transl_path Predef.path_assert_failure; - Lconst(Const_block(0, - [Const_base(Const_string fname); - Const_base(Const_int line); - Const_base(Const_int char)]))])]) + transl_location loc])]) ;; +(* do nothing to be used in place of Transljoin.reply_handler, + when translation actual expressions (I mean non-processes) *) let id_lam lam = lam +;; (* Translation of expressions *) |