Reported by @CyrusNajmabadi
Currently there is some perceived slowness in diagnostics because we always compute syntactic and semantic diagnostics before reporting anything to the client in document pull. It can take a bit to compute semantic diagnostics which is expected. However, we can generally compute syntax diagnostics fairly quickly and in the old system we would push those first so that they show up fast.
Document pull supports streaming, so we should compute the syntax diagnostics first, send a report, while we are still waiting for semantic diagnostics to be computed.