Repository metrics
- Stars
- (6 stars)
- PR merge metrics
- (Avg merge 3h 2m) (1 merged PR in 30d)
Description
La función validateTextDocument del linter:
https://github.com/uqbar-project/wollok-lsp-ide/blob/dfec6ed514756fc4899c7858eb3f71b1fb105c7e/server/src/linter.ts#L57-L75
Espera un textDocument: TextDocument (currificado al final) pero en realidad se revalida todo el environment (siempre hay que revalidar todo, porque cambios en un archivo pueden afectar los errores en otros, y no tenemos un sistema para trackear eso).
Yo lo sacaría, ya que ahora solo se usa para loggear (se podría usar la cantidad de archivos que tiene el Environment en ese momento... 🤔) y queda confusa la firma. Y como está currificada a veces el IDE no se da cuenta que la manqueamos (como ya pasó).