diff options
Diffstat (limited to 'stdlib/stdlib.mli')
| -rw-r--r-- | stdlib/stdlib.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/stdlib/stdlib.mli b/stdlib/stdlib.mli index 94d2b4ca3c..3330a5b24b 100644 --- a/stdlib/stdlib.mli +++ b/stdlib/stdlib.mli @@ -273,6 +273,12 @@ external __POS__ : string * int * int * int = "%loc_POS" @since 4.02.0 *) +external __FUNCTION__ : string = "%loc_FUNCTION" +(** [__FUNCTION__] returns the name of the current function or method, including + any enclosing modules or classes. + + @since 4.12.0 *) + external __LOC_OF__ : 'a -> string * 'a = "%loc_LOC" (** [__LOC_OF__ expr] returns a pair [(loc, expr)] where [loc] is the location of [expr] in the file currently being parsed by the |