In the regular Silver build process, we never generate interface files for a grammar with errors. However in the LSP driver we always write out interfaces for all built grammars. This mostly works but there were some assumptions in the Copper modification that we wouldn't try building a syntax AST (which is included in the interface file) when there are name errors.
Changes
In the regular Silver build process, we never generate interface files for a grammar with errors. However in the LSP driver we always write out interfaces for all built grammars. This mostly works but there were some assumptions in the Copper modification that we wouldn't try building a syntax AST (which is included in the interface file) when there are name errors.
Documentation
Not really needed here, this is a bug fix.