ocaml/merlin
truncated error message with Emacs+Merlin on OCaml 5.04 and v5.7.1-504
Aberta
#2.080 aberto em 18 de jun. de 2026
good first issue
Métricas do repositório
- Stars
- (1.690 estrelas)
- Métricas de merge de PR
- (Mesclagem média 20d 1h) (7 fundiu PRs em 30d)
Description
Repro case:
module type A = sig type a end
module type B = sig type b end
module A : A = struct type a end
module B : B = struct type b end
module F (_ : A) (_ : B) = struct end
module Test = F(B)(A)
Merlin shows the following error message:
2. Modules do not match: A : sig type a = A.a end is not included in B
(The exact same thing is in the *Messages* and *merlin-errors* buffer.)
This is only the last line of the full error message shown by the compiler:
Error: This application of the functor F is ill-typed.
These arguments:
B A
do not match these parameters:
(Arg : A) (Arg : B) -> ...
1. Modules do not match:
B : sig type b = B.b end
is not included in
A
The type a is required but not provided
File "test.ml", line 1, characters 20-26: Expected declaration
2. Modules do not match: A : sig type a = A.a end is not included in B