Eliminar parámetro innecesario

[PalumboN]

La función validateTextDocument‎ del linter:

wollok-lsp-ide/server/src/linter.ts

Lines 57 to 75 in dfec6ed

	export const validateTextDocument =
	(connection: Connection, allDocuments: TextDocument[]) =>
	(textDocument: TextDocument) =>
	async (environment: Environment): Promise<void> => {
	await updateDocumentSettings(connection)
	const timeMeasurer = new TimeMeasurer()
	try {
	const problems = validate(environment)
	sendDiagnostics(connection, problems, allDocuments)
	} catch (error) {
	logger.error(`✘ Validate text document error: ${error}`, error)
	generateErrorForFile(connection, textDocument)
	} finally {
	const documentUri = relativeFilePath(textDocument.uri)
	timeMeasurer.addTime(`Validating ${documentUri}`)
	timeMeasurer.finalReport()
	}
	}

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ó).