diff options
| author | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2014-04-10 14:11:25 +0000 |
|---|---|---|
| committer | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2014-04-10 14:11:25 +0000 |
| commit | 2859498cad7a33700a297b505cec38199c85e699 (patch) | |
| tree | e2a52ec3b6d16908b43b68628ece285e7b2e007c /bytecomp/lambda.mli | |
| parent | fb74ef5e51a247f212208372b6ab293f71afb8b7 (diff) | |
Add %loc_* primitives and corresponding values in Pervasives
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14571 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/lambda.mli')
| -rw-r--r-- | bytecomp/lambda.mli | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/bytecomp/lambda.mli b/bytecomp/lambda.mli index fddace659..8acb4cd03 100644 --- a/bytecomp/lambda.mli +++ b/bytecomp/lambda.mli @@ -21,11 +21,19 @@ type compile_time_constant = | Ostype_win32 | Ostype_cygwin +type loc_kind = + | Loc_FILE + | Loc_LINE + | Loc_MODULE + | Loc_LOC + | Loc_POS + type primitive = Pidentity | Pignore | Prevapply of Location.t | Pdirapply of Location.t + | Ploc of loc_kind (* Globals *) | Pgetglobal of Ident.t | Psetglobal of Ident.t @@ -245,3 +253,4 @@ val is_guarded: lambda -> bool val patch_guarded : lambda -> lambda -> lambda val raise_kind: raise_kind -> string +val lam_of_loc : loc_kind -> Location.t -> lambda |