diff options
author | Stephane Glondu <steph@glondu.net> | 2012-03-27 07:41:19 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2012-03-27 07:41:19 +0200 |
commit | 2bdcd093b357adb2185518dabbafd1a0b9279044 (patch) | |
tree | bb98a3f549ff7fb9721a94972f0baba47290fedb /lib/compat.ml4 | |
parent | 300293c119981054c95182a90c829058530a6b6f (diff) |
Imported Upstream version 8.3.pl4upstream/8.3.pl4
Diffstat (limited to 'lib/compat.ml4')
-rw-r--r-- | lib/compat.ml4 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/compat.ml4 b/lib/compat.ml4 index 096320ed..a0264dc7 100644 --- a/lib/compat.ml4 +++ b/lib/compat.ml4 @@ -15,6 +15,7 @@ IFDEF OCAML309 THEN DEFINE OCAML308 END IFDEF CAMLP5 THEN module M = struct type loc = Stdpp.location +exception Exc_located = Ploc.Exc let dummy_loc = Stdpp.dummy_loc let make_loc = Stdpp.make_loc let unloc loc = Stdpp.first_pos loc, Stdpp.last_pos loc @@ -26,6 +27,7 @@ type lexer = token Token.glexer end ELSE IFDEF OCAML308 THEN module M = struct +exception Exc_located = Stdpp.Exc_located type loc = Token.flocation let dummy_loc = Token.dummy_loc let make_loc loc = Token.make_loc loc @@ -45,6 +47,7 @@ type lexer = Token.lexer end ELSE module M = struct +exception Exc_located = Stdpp.Exc_located type loc = int * int let dummy_loc = (0,0) let make_loc x = x @@ -59,6 +62,7 @@ END END type loc = M.loc +exception Exc_located = M.Exc_located let dummy_loc = M.dummy_loc let make_loc = M.make_loc let unloc = M.unloc |