Skip to content

Commit 4316723

Browse files
committed
Fix uppercase exotic idents
1 parent 6e9a5c4 commit 4316723

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

tools/src/tools.ml

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -385,6 +385,12 @@ let extractDocs ~entryPointFile ~debug =
385385
items =
386386
structure.items
387387
|> List.filter_map (fun (item : Module.item) ->
388+
let item =
389+
{
390+
item with
391+
name = Ext_ident.unwrap_uppercase_exotic item.name;
392+
}
393+
in
388394
let source = getSource ~rootPath item.loc in
389395
match item.kind with
390396
| Value typ ->

0 commit comments

Comments
 (0)