diff options
| author | Pierre-Marie Pédrot | 2016-08-20 21:01:34 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-08-20 21:01:34 +0200 |
| commit | 69a35378d37b8eb7e1019d24ab5e0fd27f25b6bc (patch) | |
| tree | 55a6d17a0de13244a6454263ae3de6bc5b3c2374 /library | |
| parent | 1af95525a2a791889e6d72dfc150ff8f09a21e21 (diff) | |
More standard naming for the Imparg.with_implicits function.
Diffstat (limited to 'library')
| -rw-r--r-- | library/impargs.ml | 2 | ||||
| -rw-r--r-- | library/impargs.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/library/impargs.ml b/library/impargs.ml index db98bb9fd4..bce7a15cbe 100644 --- a/library/impargs.ml +++ b/library/impargs.ml @@ -68,7 +68,7 @@ let is_reversible_pattern_implicit_args () = !implicit_args.reversible_pattern let is_contextual_implicit_args () = !implicit_args.contextual let is_maximal_implicit_args () = !implicit_args.maximal -let with_implicits f x = +let with_implicit_protection f x = let oflags = !implicit_args in try let rslt = f x in diff --git a/library/impargs.mli b/library/impargs.mli index 327f84d9fa..3919a519c9 100644 --- a/library/impargs.mli +++ b/library/impargs.mli @@ -29,7 +29,7 @@ val is_reversible_pattern_implicit_args : unit -> bool val is_contextual_implicit_args : unit -> bool val is_maximal_implicit_args : unit -> bool -val with_implicits : ('a -> 'b) -> 'a -> 'b +val with_implicit_protection : ('a -> 'b) -> 'a -> 'b (** {6 ... } *) (** An [implicits_list] is a list of positions telling which arguments |