feat: codemirror linting system

This commit is contained in:
Andrew Bastin
2021-09-01 16:41:14 +05:30
committed by liyasthomas
parent 10a11d6725
commit 071761a61e
4 changed files with 64 additions and 9 deletions

View File

@@ -0,0 +1,7 @@
export type LinterResult = {
message: string
severity: "warning" | "error"
from: { line: number; ch: number }
to: { line: number; ch: number }
}
export type LinterDefinition = (text: string) => Promise<LinterResult[]>