diff options
author | 2015-10-26 14:35:02 +0100 | |
---|---|---|
committer | 2015-10-27 00:07:14 +0100 | |
commit | 9b2bb33662a4a1e39202cb81f894b739782c3434 (patch) | |
tree | a639a0ac146e81ceeb0b075b3551a3f2c3913b9d /grammar/argextend.ml4 | |
parent | fb50a8aaf8826349ac8c3a90a6d9b354b9cf34ca (diff) |
Indexing existentially quantified entries returned by interp_entry_name.
Diffstat (limited to 'grammar/argextend.ml4')
-rw-r--r-- | grammar/argextend.ml4 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/grammar/argextend.ml4 b/grammar/argextend.ml4 index 7c20ff18e..51949e8aa 100644 --- a/grammar/argextend.ml4 +++ b/grammar/argextend.ml4 @@ -51,8 +51,8 @@ let make_rawwit loc arg = <:expr< Genarg.rawwit $make_wit loc arg$ >> let make_globwit loc arg = <:expr< Genarg.glbwit $make_wit loc arg$ >> let make_topwit loc arg = <:expr< Genarg.topwit $make_wit loc arg$ >> -let has_extraarg = - List.exists (function GramNonTerminal(_,ExtraArgType _,_,_) -> true | _ -> false) +let has_extraarg l = + List.exists (function GramNonTerminal(_,ExtraArgType _,_,_) -> true | _ -> false) l let rec is_possibly_empty : type s a. (s, a) entry_key -> bool = function | Aopt _ -> true |