The current Diagnostic module bundles diagnostics and text operations together. The planned lower-level debugging interface #138 could reuse text operations but not (high-level) diagnostics. This PR factors out text operations as new modules Text and Loctext so that the debugging interface does not have to depend on the Diagnostic module.
The current
Diagnosticmodule bundles diagnostics and text operations together. The planned lower-level debugging interface #138 could reuse text operations but not (high-level) diagnostics. This PR factors out text operations as new modulesTextandLoctextso that the debugging interface does not have to depend on theDiagnosticmodule.Here are all the bindings being moved:
Diagnostic.text(type)Text.tDiagnostic.text(function)Text.makeDiagnostic.textfText.makefDiagnostic.ktextfText.kmakefDiagnostic.loctext(type)Loctext.tDiagnostic.loctext(function)Loctext.makeDiagnostic.loctextfLoctext.makefDiagnostic.kloctextfLoctext.kmakefDiagnostic.string_of_textText.to_string