From 0e99fafc06d538172e5fd2e8127fa487c4cfcd32 Mon Sep 17 00:00:00 2001 From: Marc-Antoine Ouimet <ouimetmarcantoine@gmail.com> Date: Mon, 6 May 2024 22:18:06 -0400 Subject: [PATCH] Fix bug with module entries disambiguation and postponed fixities This updates the disambiguation algorithm for module entries to support postponed fixity pragmas (#270). --- src/parser/signature_disambiguation.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/parser/signature_disambiguation.ml b/src/parser/signature_disambiguation.ml index c80cf1fae..ab3a9f96f 100644 --- a/src/parser/signature_disambiguation.ml +++ b/src/parser/signature_disambiguation.ml @@ -638,7 +638,7 @@ struct | Synprs.Signature.Declaration.Raw_module { location; identifier; entries } -> add_module state ~location identifier (fun state -> - let entries' = traverse_list state disambiguate_entry entries in + let entries' = disambiguate_entries state entries in Synext.Signature.Declaration.Module { location; identifier; entries = entries' })