Skip to content

dune build over RPC reports diagnostics twice #15609

Description

@Alizter

Starting an eager watch sever in the background and doing dune build reports doubled diagnostics:

$ dune build
File "/home/ali/dune5/src/memo/node.ml", line 401, characters 13-14:
401 |     | [] -> (x)
                   ^
Unbound value x
File "/home/ali/dune5/src/memo/node.ml", line 401, characters 13-14:
401 |     | [] -> (x)
                   ^
Unbound value x
Error: Build failed with 2 errors.                   

The same does not happen with passive watch mode.

Metadata

Metadata

Assignees

No one assigned

    Labels

    regressionA defect in previously working behavior, generally breaks existing user workflowsrpcDune's RPC server and client supportwatch modeDune's watch mode — file watchers, change detection, build loop, RPC

    Type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions