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 /otherlibs | |
parent | fb74ef5e51a247f212208372b6ab293f71afb8b7 (diff) | |
download | ocaml-2859498cad7a33700a297b505cec38199c85e699.tar.gz |
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 'otherlibs')
-rw-r--r-- | otherlibs/threads/pervasives.ml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/otherlibs/threads/pervasives.ml b/otherlibs/threads/pervasives.ml index 402e01b87c..7992c68d2d 100644 --- a/otherlibs/threads/pervasives.ml +++ b/otherlibs/threads/pervasives.ml @@ -40,6 +40,20 @@ exception Exit external (|>) : 'a -> ('a -> 'b) -> 'b = "%revapply" external ( @@ ) : ('a -> 'b) -> 'a -> 'b = "%apply" +(* Debugging *) + +external __LOC__ : string = "%loc_LOC" +external __FILE__ : string = "%loc_FILE" +external __LINE__ : int = "%loc_LINE" +external __MODULE__ : string = "%loc_MODULE" +external __POS__ : string * int * int * int = "%loc_POS" + +external __LOC_OF__ : 'a -> string * 'a = "%loc_LOC" +external __FILE_OF__ : 'a -> string * 'a = "%loc_FILE" +external __LINE_OF__ : 'a -> int * 'a = "%loc_LINE" +external __MODULE_OF__ : 'a -> string * 'a = "%loc_MODULE" +external __POS_OF__ : 'a -> (string * int * int * int) * 'a = "%loc_POS" + (* Comparisons *) external (=) : 'a -> 'a -> bool = "%equal" |