@@ -180,7 +180,7 @@ fun identifier_prefixes(unit,
180180 |" Exc_2 : exception; -- FLAG
181181 |" end Foo;
182182 {
183- fun check_exclusive(str, exclusive,
183+ fun check_exclusive(str,
184184 type_exclusive=true, concurrent_exclusive=true,
185185 access_exclusive=true, class_access_exclusive=true,
186186 subprogram_access_exclusive=true,
@@ -198,7 +198,7 @@ fun identifier_prefixes(unit,
198198
199199 fun check_enum(str) =
200200 (enum != "-" and not str.starts_with(enum)) or
201- check_exclusive(str, exclusive=exclusive, enum_exclusive=false);
201+ check_exclusive(str, enum_exclusive=false);
202202
203203 val str_prefix = " does not start with ";
204204
@@ -251,7 +251,6 @@ fun identifier_prefixes(unit,
251251 p.p_previous_part() is (null | IncompleteTypeDecl) and
252252 (if node.f_name.text.starts_with(concurrent)
253253 then check_exclusive(node.f_name.text,
254- exclusive=exclusive,
255254 concurrent_exclusive=false))
256255
257256 # 'Class access
@@ -265,7 +264,6 @@ fun identifier_prefixes(unit,
265264 p?.p_previous_part() is (null | IncompleteTypeDecl) and
266265 (if node.f_name.text.starts_with(class_access)
267266 then check_exclusive(node.f_name.text,
268- exclusive=exclusive,
269267 class_access_exclusive=false))
270268
271269 # Subprogram access
@@ -277,7 +275,6 @@ fun identifier_prefixes(unit,
277275 p?.p_previous_part() is (null | IncompleteTypeDecl) and
278276 (if node.f_name.text.starts_with(subprogram_access)
279277 then check_exclusive(node.f_name.text,
280- exclusive=exclusive,
281278 subprogram_access_exclusive=false))
282279
283280 # Other access types
@@ -288,7 +285,6 @@ fun identifier_prefixes(unit,
288285 p?.p_previous_part() is (null | IncompleteTypeDecl) and
289286 (if node.f_name.text.starts_with(access)
290287 then check_exclusive(node.f_name.text,
291- exclusive=exclusive,
292288 access_exclusive=false,
293289 # If both an Access prefix and a Type prefix are
294290 # set and the type prefix is a prefix of the access
@@ -316,7 +312,6 @@ fun identifier_prefixes(unit,
316312 p.p_previous_part() is (null | IncompleteTypeDecl) and
317313 ((type != "-" and not node.f_name.text.starts_with(type)) or
318314 check_exclusive(node.f_name.text,
319- exclusive=exclusive,
320315 type_exclusive=false))
321316
322317 # Enums
@@ -330,7 +325,6 @@ fun identifier_prefixes(unit,
330325 =>
331326 (constant != "-" and not node.f_name.text.starts_with(constant)) or
332327 check_exclusive(node.f_name.text,
333- exclusive=exclusive,
334328 constant_exclusive=false)
335329
336330
@@ -343,13 +337,12 @@ fun identifier_prefixes(unit,
343337 | ExceptionDecl =>
344338 (exception != "-" and not node.f_name.text.starts_with(exception)) or
345339 check_exclusive(node.f_name.text,
346- exclusive=exclusive,
347340 exception_exclusive=false)
348341
349342 # Check all other defining names for exclusion except for completions
350343 # and renaming-as-body
351344 | p2 =>
352345 (if p2 is (BodyNode | SubpRenamingDecl) then not p2.p_previous_part()) and
353346 (if p2 is ObjectDecl then not node.p_previous_part()) and
354- check_exclusive(node.f_name.text, exclusive=exclusive )]
347+ check_exclusive(node.f_name.text)]
355348 }
0 commit comments